Jump to : Abstract | Contact | BibTex reference | EndNote reference |


Vlad Rusu. Formal Executable Semantics for Conformance in the MDE Framework. In UML and FM workshop, Rio de Janeiro, Brazil, December 2009.


In the MDE framework, a metamodel is a language referring to some kind of metadata whose elements formalize concepts and relations providing a modeling language. An instance of this modeling language which adheres to its concepts and relations is called a valid model, i.e., a model satisfying structural conformance to its metamodel. However, a metamodel frequently imposes additional constraints to its valid instances. These conditions are usually written in OCL and are called well-formedness rules. In presence of these constraints, a valid model must adhere to the concepts and relations of its metamodel and fullfill its constraints, i.e., a valid model is a model satisfying semantical conformance to its metamodel. In this work, we provide a formal semantics to the notions of structural and semantical conformance between models and metamodels building on our previous work. Our definitions can be automatically checked using the ITP/OCL tool


Vlad Rusu http://www.irisa.fr/vertecs/Equipe/Rusu/vlad-rusu.html

BibTex Reference

   Author = {Rusu, Vlad},
   Title = {Formal Executable Semantics for Conformance in the MDE Framework},
   BookTitle = {UML and FM workshop},
   Address = {Rio de Janeiro, Brazil},
   Month = {December},
   Year = {2009}

EndNote Reference [help]

Get EndNote Reference (.ref)

| VerTeCs | Team | Publications | New Results | Softwares |
Irisa - Inria - Copyright 2005 © Projet VerTeCs