Software Abstractions: Logic, Language, and Analysis
Software Abstractions: Logic, Language, and Analysis
Design by Contract to Improve Software Vigilance
IEEE Transactions on Software Engineering
On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing
ICST '08 Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation
Proofs-as-Model-Transformations
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Snapshot Generation in a Constructive Object-Oriented Modeling Language
Logic-Based Program Synthesis and Transformation
Automatic Model Generation Strategies for Model Transformation Testing
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
A Constructive Object Oriented Modeling Language for Information Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Model transformations in practice workshop
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Embedding domain-specific modelling languages in maude specifications
ACM SIGSOFT Software Engineering Notes
On validation of ATL transformation rules by transformation models
Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
Deriving detailed design models from an aspect-oriented ADL using MDD
Journal of Systems and Software
Automatic conformance testing of optimized triple graph grammar implementations
AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
ATLTest: a white-box test generation approach for ATL transformations
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Embedding domain-specific modelling languages in Maude specifications
Software and Systems Modeling (SoSyM)
| Hi-index | 0.00 |
This paper concerns a formal encoding of the Object Management Group's Complete Meta-Object Facility (CMOF) in order to provide a more trustworthy software development lifecycle for Model Driven Architecture (MDA). We show how a form of constructive logic can be used to provide a uniform semantics of metamodels, model transformation specifications, model transformations and black-box transformation tests. A model's instantiation of a metamodel within the MOF is treated using the logic's realizability relationship, a kind of type inhabitation relationship that is expressive enough to characterize constraint conformance between terms and types. These notions enable us to formalize the notion of a correct model instantiation of a metamodel with constraints. We then adapt previous work on snapshot generation to generate input models from source metamodel specification with the purpose of testing model transformations.