Model transformations across views

DOI10.1016/J.SCICO.2009.11.004zbMATH Open1187.68161OpenAlexW1994851943MaRDI QIDQ2266947FDOQ2266947

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

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

zbMATH Keywords

CSPrefinementZmodel-based designmodel transformationsmultiple views

Mathematics Subject Classification ID

Theory of software (68N99)

Cites Work

• Title not available (Why is that?)
• Data Refinement
• Title not available (Why is that?)
• Title not available (Why is that?)
• A UTP semantics for \textsf{Circus}
• Refactoring Object-Oriented Specifications with Data and Processes
• Title not available (Why is that?)
• A state-based approach to communicating processes
• A singleton failures semantics for communicating sequential processes
• Integrating a formal method into a software engineering process with UML and Java
• Relational concurrent refinement
• Title not available (Why is that?)
• Title not available (Why is that?)
• Process simulation and refinement
• Title not available (Why is that?)
• Structural refinement of systems specified in Object-Z and CSP
• Unifying concurrent and relational refinement
• Title not available (Why is that?)
• Specification styles in distributed systems design and verification
• Title not available (Why is that?)
• Checking consistency in UML diagrams: classes and state machines.
• Model Transformations Incorporating Multiple Views
• Title not available (Why is that?)

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

Uses Software

• ATL
• FDR2
• Circus

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)