On the Specification and Verification of Model Transformations

DOI10.1007/978-3-642-04164-8_8zbMath1253.68232OpenAlexW1603406363MaRDI QIDQ3184747

Fernando Orejas, Martin Wirsing

Publication date: 22 October 2009

Published in: Semantics and Algebraic Specification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-04164-8_8

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (1)

Controlling Reuse in Pattern-Based Model-to-Model Transformations

Uses Software

• Maude

Cites Work

• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Stabilization, safety, and security of distributed systems. 11th international symposium, SSS 2009, Lyon, France, November 3--6, 2009. Proceedings
• Specification and proof in membership equational logic
• Graph-based specification of access control policies
• Fundamentals of algebraic graph transformation
• Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation
• What Is a Multi-modeling Language?
• Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts
• Attributed Graph Constraints
• Resolution-Like Theorem Proving for High-Level Conditions
• Pattern-Based Model-to-Model Transformation
• Correctness of high-level transformation systems relative to nested conditions
• Institutions: abstract model theory for specification and programming
• A Logic of Graph Constraints
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the Specification and Verification of Model Transformations