An Algebraic Semantics for MOF Export

@incollection{citeulike:5867982, abstract = {Model-driven development is a field within software engineering in which software artifacts are represented as models in order to improve productivity, quality, and cost effectiveness. In this field, the Meta-Object Facility (MOF) standard plays a crucial role by providing a generic framework where the abstract syntax of different modeling languages can be defined. In this work, we present a formal, algebraic semantics of the MOF standard in membership equational logic (mel). By using the Maude language, which directly supports mel specifications, this formal semantics is furthermore executable, and can be used to perform useful formal analyses. The executable algebraic framework for MOF obtained this way has been integrated within the Eclipse Modeling Framework as a plugin. In this way, formal analyses, such as semantic consistency checks, become available within Eclipse to provide formal support for model-driven development processes.}, author = {Boronat, Artur and Meseguer, Jos\'{e}}, citeulike-article-id = {5867982}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/978-3-540-78743-3_28}, citeulike-linkout-1 = {http://www.springerlink.com/content/l6w040486505k206}, doi = {10.1007/978-3-540-78743-3_28}, journal = {Fundamental Approaches to Software Engineering}, keywords = {2008, mof, semantics, uml}, pages = {377--391}, posted-at = {2009-10-01 15:22:36}, priority = {5}, title = {An Algebraic Semantics for MOF}, url = {http://dx.doi.org/10.1007/978-3-540-78743-3_28}, year = {2008} }

TY - CHAP ID - citeulike:5867982 L3 - citeulike-article-id:5867982 N2 - Model-driven development is a field within software engineering in which software artifacts are represented as models in order to improve productivity, quality, and cost effectiveness. In this field, the Meta-Object Facility (MOF) standard plays a crucial role by providing a generic framework where the abstract syntax of different modeling languages can be defined. In this work, we present a formal, algebraic semantics of the MOF standard in membership equational logic (mel). By using the Maude language, which directly supports mel specifications, this formal semantics is furthermore executable, and can be used to perform useful formal analyses. The executable algebraic framework for MOF obtained this way has been integrated within the Eclipse Modeling Framework as a plugin. In this way, formal analyses, such as semantic consistency checks, become available within Eclipse to provide formal support for model-driven development processes. JF - Fundamental Approaches to Software Engineering EP - 391 TI - An Algebraic Semantics for MOF SP - 377 KW - 2008 KW - mof KW - semantics KW - uml AU - Boronat, Artur AU - Meseguer, José PY - 2008/// UR - http://dx.doi.org/10.1007/978-3-540-78743-3_28 ER -