In the model-based development context, metamodel-based languages are increasingly being defined and adopted either for general purposes or for specific domains of interest. However, meta-languages such as the MOF (Meta Object Facility)—combined with the OCL (Object Constraint Language) for expressing constraints—used to specify metamodels focus on structural and static semantics but have no built-in support for specifying behavioral semantics. This paper introduces a formal semantic framework for the definition of the semantics of metamodel-based languages. Using metamodelling principles, we propose several techniques, some based on the translational approach while others based on the weaving approach, all showing how the Abstract State Machine formal method can be integrated with current metamodel engineering environments to endow language metamodels with precise and executable semantics. We exemplify the use of our semantic framework by applying the proposed techniques to the OMG metamodelling framework for the behaviour specification of the Finite State Machines provided in terms of a metamodel.
|Titolo:||A semantic framework for metamodel-based languages|
RICCOBENE, ELVINIA MARIA (Secondo)
|Parole Chiave:||Abstract state machines; Formal methods; Language semantics; Metamodelling; Model driven engineering; Model-based development; Semantic (meta-)hooking; Weaving behaviour|
|Settore Scientifico Disciplinare:||Settore INF/01 - Informatica|
|Data di pubblicazione:||2009|
|Digital Object Identifier (DOI):||10.1007/s10515-009-0053-0|
|Appare nelle tipologie:||01 - Articolo su periodico|