A framework for model transformation verification

DOI10.1007/S00165-014-0313-ZzbMath1328.68128OpenAlexW2069633766MaRDI QIDQ903517

N. E. Zubov

Publication date: 6 January 2016

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: http://shura.shu.ac.uk/12046/1/mtsem.pdf

zbMATH Keywords

model transformation verificationmodel transformation engineeringmodel transformation specification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

A framework for model transformation verification

Uses Software

• z3
• HOL-OCL
• UML2Alloy
• UMLtoCSP

Cites Work

• Unnamed Item
• A framework for model transformation verification
• A Model-Based Development Approach for Model Transformations
• A Type-Theoretic Framework for Certified Model Transformations
• Encoding OCL Data Types for SAT-Based Verification of UML/OCL Models
• Termination Analysis of Model Transformations by Petri Nets
• Institutions: abstract model theory for specification and programming
• Graph Transformations
• Towards Verifying Model Transformations

This page was built for publication: A framework for model transformation verification