TY - GEN
T1 - Algebraic semantics of ocl-constrained metamodel specifications
AU - Boronat, Artur
AU - Meseguer, José
PY - 2009
Y1 - 2009
N2 - In the definition of domain-specific modeling languages a MOF metamodel is used to define the main types of its abstract syntax, and OCL invariants are used to add static semantic constraints. The semantics of a metamodel definition can be given as a model type whose values are well-formed models. A model is said to conform to its metamodel when it is a value of the corresponding model type. However, when OCL invariants are involved, the concept of model conformance has not yet been formally defined in the MOF standard. In this work, the concept of OCL-constrained metamodel conformance is formally defined and used for defining style-preserving software architecture configurations. This concept is supported in MOMENT2, an algebraic framework for MOF metamodeling, where OCL constraints can be used for both static and dynamic analysis.
AB - In the definition of domain-specific modeling languages a MOF metamodel is used to define the main types of its abstract syntax, and OCL invariants are used to add static semantic constraints. The semantics of a metamodel definition can be given as a model type whose values are well-formed models. A model is said to conform to its metamodel when it is a value of the corresponding model type. However, when OCL invariants are involved, the concept of model conformance has not yet been formally defined in the MOF standard. In this work, the concept of OCL-constrained metamodel conformance is formally defined and used for defining style-preserving software architecture configurations. This concept is supported in MOMENT2, an algebraic framework for MOF metamodeling, where OCL constraints can be used for both static and dynamic analysis.
KW - MOF metamodel
KW - Membership equational logic
KW - OCL invariants
KW - Static and dynamic analysis of models
UR - http://www.scopus.com/inward/record.url?scp=68949103934&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=68949103934&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-02571-6_7
DO - 10.1007/978-3-642-02571-6_7
M3 - Conference contribution
AN - SCOPUS:68949103934
SN - 9783642025709
T3 - Lecture Notes in Business Information Processing
SP - 96
EP - 115
BT - Objects, Components, Models and Patterns - 47th International Conference, TOOLS EUROPE 2009, Proceedings
PB - Springer
T2 - 47th International Conference - TOOLS EUROPE 2009
Y2 - 29 June 2009 through 3 July 2009
ER -