On the Specification and Verification of Model Transformations
From MaRDI portal
Recommendations
Cites work
- A Logic of Graph Constraints
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- Attributed Graph Constraints
- Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts
- Correctness of high-level transformation systems relative to nested conditions
- Correctness, completeness and termination of pattern-based model-to-model transformation
- Fundamentals of algebraic graph transformation
- Graph-based specification of access control policies
- scientific article; zbMATH DE number 4180819 (Why is no real title available?)
- scientific article; zbMATH DE number 3949706 (Why is no real title available?)
- scientific article; zbMATH DE number 3988733 (Why is no real title available?)
- scientific article; zbMATH DE number 1231489 (Why is no real title available?)
- scientific article; zbMATH DE number 10083 (Why is no real title available?)
- scientific article; zbMATH DE number 919847 (Why is no real title available?)
- Institutions: abstract model theory for specification and programming
- Pattern-Based Model-to-Model Transformation
- Resolution-Like Theorem Proving for High-Level Conditions
- Specification and proof in membership equational logic
- Stabilization, safety, and security of distributed systems. 11th international symposium, SSS 2009, Lyon, France, November 3--6, 2009. Proceedings
- What Is a Multi-modeling Language?
Cited in
(28)- Grammar-based model transformations: definition, execution, and quality properties
- Model transformations across views
- Towards lightweight checks for mass maintenance transformations
- Verification of system level model transformations
- scientific article; zbMATH DE number 1693441 (Why is no real title available?)
- \textit{RuleMerger}: automatic construction of variability-based model transformation rules
- An algebraic semantics for QVT-relations check-only transformations
- A model-based development approach for model transformations
- Towards automatic verification of behavior preservation for model transformation via invariant checking
- A type-theoretic framework for certified model transformations
- Controlling reuse in pattern-based model-to-model transformations
- Ensuring correctness of model transformations while remaining decidable
- Specification and verification of graph-based model transformation properties
- scientific article; zbMATH DE number 5719280 (Why is no real title available?)
- Correct transformation: from object-based graph grammars to PROMELA
- A formal approach to the specification and transformation of constraints in MDE
- scientific article; zbMATH DE number 1902048 (Why is no real title available?)
- Meaningful models. A research agenda on model-driven engineering
- Composition of Model Transformations: A Categorical Framework
- Traceability mappings as a fundamental instrument in model transformations
- Fundamental Approaches to Software Engineering
- Towards verifying model transformations
- Combining termination proofs in model transformation systems
- A formal verification technique for behavioural model-to-model transformations
- Variability-based model transformation: formal foundation and application
- A new model transformation method and its application to extending a class of stability criteria of neutral type systems
- A framework for model transformation verification
- A reification calculus for model-oriented software specification
This page was built for publication: On the Specification and Verification of Model Transformations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3184747)
