Specification and verification of graph-based model transformation properties

DOI10.1007/978-3-319-09108-2_8MaRDI QIDQ3192231zbMATH OpenOpenAlexFDO

Authors Gehan Mustafa Kamel Selim, Levi Lúcio, James R. Cordy, Juergen Dingel, Bentley J. Oakes

Publication date 26 September 2014

Published in Graph Transformation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-09108-2_8

zbMATH Keywords

MDDmodel transformationproperty proververification

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A framework for model transformation verification
• On the Specification and Verification of Model Transformations
• Modeling and verifying graph transformations in proof assistants
• Correct transformation: from object-based graph grammars to PROMELA
• Towards automated software model checking using graph transformation systems and bogor

Cited in

(6)

• Formal software specification with refinements and modules of typed graph transformation systems
• Modeling and verifying graph transformations in proof assistants
• On the Specification and Verification of Model Transformations
• GRACE as a unifying approach to graph-transformation-based specification1 1This work was partially supported by the ESPRIT Working Group Applications of Graph Transformation (APPLIGRAPH) and the EC TMR Network GETGRATS (General Theory of Graph Transformation Systems).
• A formal verification technique for behavioural model-to-model transformations
• A framework for model transformation verification

This page was built for publication: Specification and verification of graph-based model transformation properties

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