Abstract
Semantic equations are important pieces of the denotational semantics approach that enable the translation of syntactic constructs of models to semantic domains. In a previous work, we have extended the Model-Driven Architecture (MDA) four-layer proposal of architecture in order to incorporate formal semantics to its artifacts. Thus, semantic equations are key elements in this extended architecture. In this paper, we propose an approach to incorporate semantic equations described by model transformations in the MDA infrastructure. As a result, we automatically generate semantic models from the syntactic models involved in the MDA transformations. Therefore, the semantic equations play an important role in the MDA architecture since they allow the construction of tools for automated reasoning for several purposes, such as: (i) verification of semantics preservation in model transformations; (ii) choice of the best format to represent meaning and behavior of models and (iii) automatic generation and production of quality compilers. For instance, we claim that in the scenario of model transformations involving concurrent models described using Petri nets, semantic concepts can be more easily and appropriately handled in the MDA architecture. We have evaluated our approach by applying semantic equations to Petri nets models in a project for embedded systems codesign.
Chapter PDF
References
Miller, J., Mukerji, J.: MDA Guide Version 1.0.1. Object Management Group, OMG (2003)
OMG: Object Management Group (2008), http://www.omg.org
Barbosa, P., Ramalho, F., Figueiredo, J., Junior, A.: An Extended MDA Architecture for Ensuring Semantics-Preserving Transformations. In: Proceedings of 32nd Annual IEEE Software Engineering Workshop (2008)
Girault, C.V.R.: Petri Nets for Systems Engineering. In: XV, 607 p., Hardcover (2003)
Gomes, L., Barros, J.P., Costa, A., Pais, R., Moutinho, F.: Formal Methods for Embedded Systems Co-design: the FORDESIGN Project. In: ReCoSoC 2005- Reconfigurable Communication-centric Systems-on-Chip - Workshop Proceedings (2005)
Scott, D., Strachey, C.: Towards a Mathematical Semantics for Computer Languages. In: Proceedings of the Symposium on Computers and Automata. Microwave Research Institute Symposia Series, vol. 21 (1971)
Hausmann, J.: Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Techniques. PhD thesis, University of Paderborn (2005)
Schmidt, D.A.: Denotational Semantics: a Methodology for Language Development. William C. Brown Publishers, Dubuque (1986)
Hillah, L., Kordon, F., Petrucci, L., Tréves, N.: Model Engineering on Petri nets for ISO/IEC 15909-2: API Framework for Petri Net types metamodels. Petri Net Newsletter, 22–40 (2005)
Barbosa, P., Costa, A., Ramalho, F., Figueiredo, J., Gomes, L., Junior, A.: Checking Semantics Equivalence of MDA Transformations in Concurrent Systems. Journal of Universal Computer Science, J.UCS (to appear, 2009), http://www.jucs.org/jucs
Meseguer, J., Montanari, U.: Petri nets are Monoids: a new Algebraic Foundation for Net Theory. In: Proceedings of the Third Annual IEEE Symposium on Logic in Computer Science (LICS 1988), pp. 155–164. IEEE Computer Society Press, Los Alamitos (1988)
Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Quesada, J.F.: Maude: Specification and programming in rewriting logic. Theoretical Computer Science (2001)
Bezivin, J., Breton, E., Valduriez, P., Dupr, G.: The ATL Transformation-Based Model Management Framework. Technical report, produced from IRIN (2003)
Hu, Z., Shatz, S.M.: Mapping UML Diagrams to a Petri Net Notation for System Simulation. In: SEKE, pp. 213–219 (2004)
Weisemöller, I., Schürr, A.: Formal Definition of MOF 2.0 Metamodel Components and Composition. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 386–400. Springer, Heidelberg (2008)
Kelsen, P., Ma, Q.: A lightweight approach for defining the formal semantics of a modeling language. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 690–704. Springer, Heidelberg (2008)
Arévalo, G., Falleri, J.R., Huchard, M., Nebut, C.: Building abstractions in class models: Formal concept analysis in a model-driven approach. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 513–527. Springer, Heidelberg (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 IFIP International Federation for Information Processing
About this paper
Cite this paper
Barbosa, P., Ramalho, F., Figueiredo, J., Costa, A., Gomes, L., Junior, A. (2010). Semantic Equations for Formal Models in the Model-Driven Architecture. In: Camarinha-Matos, L.M., Pereira, P., Ribeiro, L. (eds) Emerging Trends in Technological Innovation. DoCEIS 2010. IFIP Advances in Information and Communication Technology, vol 314. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-11628-5_27
Download citation
DOI: https://doi.org/10.1007/978-3-642-11628-5_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-11627-8
Online ISBN: 978-3-642-11628-5
eBook Packages: Computer ScienceComputer Science (R0)