Abstract
We present ModHel’X, an approach to multi-formalism modeling which addresses two important issues in this field: (a) providing support for the specification of the semantics of a modeling formalism, and (b) allowing the specification of the interactions between parts of a model described using different modeling formalisms. ModHel’X is based on the concept of Model of Computation and focuses on the execution of models, considered as the computation of one possible behavior of the model. The structural elements of a modeling language are described by specializing the meta-model of ModHel’X whereas its semantics, i.e. the corresponding model of computation, is described by specializing the predefined stages of a generic execution model. Using the same mechanisms, designers can specify the semantic adaptation that is suitable at each interface between heterogeneous parts of their model. Finally, ModHel’X comes with an execution engine which is able to interpret heterogeneous models for simulation.
This work has been performed in the context of the Usine Logicielle project of the System@tic Paris Région Cluster (www.usine-logicielle.org)
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Eker, J., Janneck, J.W., Lee, E.A., Liu, J., Liu, X., Ludvig, J., Neuendorffer, S., Sachs, S., Xiong, Y.: Taming heterogeneity – the Ptolemy approach. Proceedings of the IEEE, Special Issue on Modeling and Design of Embedded Software 91(1), 127–144 (2003)
Mosterman, P.J., Vangheluwe, H.: Computer automated multi-paradigm modeling: An introduction. Simulation: Transactions of the Society for Modeling and Simulation International 80(9), 433–450 (2004), Special Issue: Grand Challenges for Modeling and Simulation
Lee, E.A., Sangiovanni-Vincentelli, A.L.: A framework for comparing models of computation. IEEE Trans. on CAD of Integrated Circuits and Systems 17(12), 1217–1229 (1998)
Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time systems in BIP. In: 4th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), pp. 3–12 (2006)
Fritzson, P., Engelson, V.: Modelica — A unified object-oriented language for system modeling and simulation. In: Jul, E. (ed.) ECOOP 1998. LNCS, vol. 1445, pp. 67–90. Springer, Heidelberg (1998)
Henzinger, T.A., Sifakis, J.: The embedded systems design challenge. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol. 4085, pp. 1–15. Springer, Heidelberg (2006)
Bruneton, E., Coupaye, T., Stefani, J.: The fractal component model specification (2004)
Muller, P.A., Fleurey, F., Jézéquel, J.M.: Weaving executability into object-oriented meta-languages. In: Proceedings of the 8th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS/UML 2005), pp. 264–278 (2005)
de Lara, J., Vangheluwe, H.: ATOM 3: A tool for multi-formalism modelling and meta-modelling. In: Kutsche, R.-D., Weber, H. (eds.) ETAPS 2002 and FASE 2002. LNCS, vol. 2306, pp. 595–603. Springer, Heidelberg (2002)
Levendovszky, T., Lengyel, L., Charaf, H.: Software Composition with a Multipurpose Modeling and Model Transformation Framework. In: IASTED on SE, Innsbruck, Austria, pp. 590–594 (2004)
Karsai, G., Agrawal, A., Shi, F., Sprinkle, J.: On the use of graph transformations for the formal specification of model interpreters. Journal of Universal Computer Science, Special issue on Formal Specification of CBS 9(11), 1296–1321 (2003)
Maraninchi, F., Bouhadiba, T.: 42: Programmable models of computation for a component-based approach to heterogeneous embedded systems. In: 6th ACM International Conference on Generative Programming and Component Engineering (GPCE 2007), pp. 53–62 (2007)
Balarin, F., Lavagno, L., Passerone, C., Vincentelli, A.L.S., Sgroi, M., Watanabe, Y.: Modeling and designing heterogeneous systems. Advances in Concurrency and System Design (2002)
Burch, J.R., Passerone, R., Sangiovanni-Vincentelli, A.L.: Overcoming heterophobia: Modeling concurrency in heterogeneous systems. In: Proceedings of the second International Conference on Application of Concurrency to System Design, p. 13 (2001)
Benveniste, A., Caillaud, B., Carloni, L.P., Sangiovanni-Vincentelli, A.L.: Tag machines. In: Proceedings of the 5th ACM International Conference On Embedded Software (EMSOFT 2005), pp. 255–263. ACM, New York (2005)
Chandy, K.M., Lamport, L.: Distributed snapshots: Determining global states of distributed systems. ACM Transactions on Computer Systems 3(1), 63–75 (1985)
Meyer, B.: Introduction to the Theory of Programming Languages. Prentice Hall, Hemel Hempstead (U.K.) (1990)
Eclipse Foundation: (Eclipse Modeling Framework (EMF))
OMG: Meta Object Facility (MOF) 2.0 Query/View/ Transformation specification (2005)
Hardebolle, C., Boulanger, F., Marcadet, D., Vidal-Naquet, G.: A generic execution framework for models of computation. In: Proceedings of the 4th International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2007), at the European Joint Conferences on Theory and Practice of Software (ETAPS 2007), pp. 45–54. IEEE Computer Society, Los Alamitos (2007)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hardebolle, C., Boulanger, F. (2008). ModHel’X: A Component-Oriented Approach to Multi-Formalism Modeling. In: Giese, H. (eds) Models in Software Engineering. MODELS 2007. Lecture Notes in Computer Science, vol 5002. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69073-3_26
Download citation
DOI: https://doi.org/10.1007/978-3-540-69073-3_26
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69069-6
Online ISBN: 978-3-540-69073-3
eBook Packages: Computer ScienceComputer Science (R0)