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.
Chapter PDF
Similar content being viewed by others
References
Object Management Group: Meta Object Facility (MOF) 2.0 Core Specification (ptc/06-01-01) (2006), http://www.omg.org/cgi-bin/doc?formal/2006-01-01
Eclipse Organization: The Eclipse Modeling Framework (2007), http://www.eclipse.org/emf/
Meseguer, J.: Membership algebra as a logical framework for equational specification. In: Parisi-Presicce, F. (ed.) WADT 1997. LNCS, vol. 1376, pp. 18–61. Springer, Heidelberg (1998)
Clavel, M., Durán, F., Eker, S., Meseguer, J., Lincoln, P., Martí-Oliet, N., Talcott, C.: All About Maude. In: Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C. (eds.) All About Maude - A High-Performance Logical Framework. LNCS, vol. 4350, Springer, Heidelberg (2007)
Boronat, A., Meseguer, J.: Algebraic semantics of EMOF/OCL metamodels. Technical Report UIUCDCS-R-2007-2904, CS Dept., University of Illinois at Urbana-Champaign (2007), http://www.cs.le.ac.uk/people/ab373/papers/UIUC-TR-MOF-OCL-Boronat-Meseguer.pdf
The ISSI Research Group (The MOMENT Project), http://moment.dsic.upv.es
Ludewig, J.: Models in software engineering - an introduction. Inform., Forsch. Entwickl. 18(3-4), 105–112 (2004)
Seidewitz, E.: What models mean. Software, IEEE 20(5), 26–32 (2003)
Kuhne, T.: Matters of (meta-) modeling. Software and Systems Modeling (SoSyM) 5(17), 369–385 (2006)
Rensink, A.: Subjects, models, languages, transformations. In: Bézivin, J., Heckel, R. (eds.) Language Engineering for Model-Driven Software Development. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI). Dagstuhl Seminar Proceedings, vol. 04101, Schloss Dagstuhl, Germany (2004)
Java Community Process: The Java Metadata Interface (JMI) Specification (JSR 40) (2002), http://www.jcp.org/en/jsr/detail?id=40
Poernomo, I.: The meta-object facility typed. In: Haddad, H. (ed.) SAC, pp. 1845–1849. ACM, New York (2006)
Romero, J.R., Rivera, J.E., Durán, F., Vallecillo, A.: Formal and Tool Support for Model Driven Engineering with Maude. Journal of Object Technology 6(9), 187–207 (2007), http://www.jot.fm/issues/issue_2007_10/paper10/
Boronat, A., Oriente, J., Gómez, A., Ramos, I., Carsí, J.A.: An Algebraic Specification of Generic OCL Queries Within the Eclipse Modeling Framework. In: Rensink, A., Warmer, J. (eds.) ECMDA-FA 2006. LNCS, vol. 4066, pp. 316–330. Springer, Heidelberg (2006)
Boronat, A., Carsí, J.A., Ramos, I.: Algebraic specification of a model transformation engine. In: Baresi, L., Heckel, R. (eds.) FASE 2006 and ETAPS 2006. LNCS, vol. 3922, pp. 262–277. Springer, Heidelberg (2006)
Boronat, A., Carsí, J.A., Ramos, I.: Automatic Support for Traceability in a Generic Model Management Framework. In: Hartman, A., Kreische, D. (eds.) ECMDA-FA 2005. LNCS, vol. 3748, pp. 316–330. Springer, Heidelberg (2005)
SAE: AADL (2007) http://www.aadl.info/
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Boronat, A., Meseguer, J. (2008). An Algebraic Semantics for MOF. In: Fiadeiro, J.L., Inverardi, P. (eds) Fundamental Approaches to Software Engineering. FASE 2008. Lecture Notes in Computer Science, vol 4961. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-78743-3_28
Download citation
DOI: https://doi.org/10.1007/978-3-540-78743-3_28
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-78742-6
Online ISBN: 978-3-540-78743-3
eBook Packages: Computer ScienceComputer Science (R0)