Model transformations across views

DOI10.1016/J.SCICO.2009.11.004MaRDI QIDQ2266947zbMATH OpenOpenAlexFDO

Authors John Derrick, Heike Wehrheim

Publication date 26 February 2010

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.scico.2009.11.004

zbMATH Keywords

CSPrefinementZmodel-based designmodel transformationsmultiple views

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• Model Transformations Incorporating Multiple Views
• A model-based development approach for model transformations
• On the Specification and Verification of Model Transformations
• What Is a Multi-modeling Language?
• scientific article; zbMATH DE number 1949633

Cites work

• scientific article; zbMATH DE number 1615985 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 2006484 (Why is no real title available?)
• scientific article; zbMATH DE number 2079816 (Why is no real title available?)
• scientific article; zbMATH DE number 2080013 (Why is no real title available?)
• scientific article; zbMATH DE number 1487484 (Why is no real title available?)
• scientific article; zbMATH DE number 1487740 (Why is no real title available?)
• scientific article; zbMATH DE number 1519981 (Why is no real title available?)
• scientific article; zbMATH DE number 2086954 (Why is no real title available?)
• scientific article; zbMATH DE number 1409638 (Why is no real title available?)
• A UTP semantics for \textsf{Circus}
• A singleton failures semantics for communicating sequential processes
• A state-based approach to communicating processes
• Checking consistency in UML diagrams: classes and state machines.
• Data Refinement
• Integrating a formal method into a software engineering process with UML and Java
• Model Transformations Incorporating Multiple Views
• Process simulation and refinement
• Refactoring Object-Oriented Specifications with Data and Processes
• Relational concurrent refinement
• Specification styles in distributed systems design and verification
• Structural refinement of systems specified in Object-Z and CSP
• Unifying concurrent and relational refinement

Cited in

(4)

• Model View Management with Triple Graph Transformation Systems
• What Is a Multi-modeling Language?
• Model Transformations Incorporating Multiple Views
• Model transformation and induced instance migration: a universal framework

Describes a project that uses

Uses Software

• Circus
• FDR2
• ATL

This page was built for publication: Model transformations across views

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2266947)