Abstract
In the context of embedded systems design, the growing heterogeneity of systems leads to increasingly complex and unreliable tool chains. The Model-Driven Engineering (MDE) community has been making considerable efforts to abstract tool languages in meta-models, and to offer model transformation mechanisms for model exchanges. However, the interoperability problems are recurring and still not consistently addressed. For instance, when it comes to executable model exchanges, it is very difficult to ensure the preservation of the models behavior from one tool to another. This is mainly due to a lack of understanding of the Models of Computation (MoC) and execution semantics behind the models within different environments. In this paper, we introduce a methodology and a framework to: make explicit the execution semantics of models (based on the theory of MoC); provide semantics enrichment mechanisms to ensure the preservation of the execution semantics of models between tools. Our case study is an integration between a UML specification tool and an industrial Intensive Data Flow processing tool. This contribution helps to highlight execution semantics concerns within the tool integration context.
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
Wasserman, A.I.: Tool integration in software engineering environments. In: Long, F. (ed.) Software Engineering Environments. LNCS, vol. 467, pp. 137–149. Springer, Heidelberg (1990)
Thomas, I., Nejmeh, B.A.: Definitions of tool integration for environments. IEEE Softw. 9(2), 29–35 (1992)
Brunelière, H., Cabot, J., Clasen, C., Jouault, F., Bézivin, J.: Towards model driven tool interoperability: Bridging eclipse and microsoft modeling tools. In: Kühne, T., Selic, B., Gervais, M.-P., Terrier, F. (eds.) ECMFA 2010. LNCS, vol. 6138, pp. 32–47. Springer, Heidelberg (2010)
Blanc, X., Gervais, M.-P., Sriplakich, P.: Model bus: Towards the interoperability of modelling tools. In: Aßmann, U., Akşit, M., Rensink, A. (eds.) MDAFA 2003. LNCS, vol. 3599, pp. 17–32. Springer, Heidelberg (2005)
Object Management Group: Meta object facility (MOF) 2.0 core specification. Technical Report formal/06-01-01, Object Management Group, OMG Available Specification (2001)
Object Management Group: Meta Object Facility (MOF) 2.0 Query/View/ Transformation Specification, QVT (2008)
The ModelCVS Project, http://www.modelcvs.org/publications/conference.html
IBM Telelogic: Rational Rhapsody UML modeler., http://www.telelogic.com/products/rhapsody/index.cfm
Muliadi, L.: Discrete event modeling in Ptolemy II. Master’s report, Dept. of EECS, University of California, Berkeley, CA (1999)
Labbani, O., Dekeyser, J.-L., Boulet, P., Rutten, É.: Introducing Control in the Gaspard2 Data-Parallel Metamodel: Synchronous Approach. In: International Workshop MARTES: Modeling and Analysis of Real-Time and Embedded Systems, Montego Bay, Jamaica (October 2005)
Boulet, P.: Array-OL Revisited, Multidimensional Intensive Signal Processing Specification. Rapport de recherche RR-6113, INRIA (2007)
Hoare, C.A.R.: Communicating sequential processes. Prentice Hall International (1985)
Lee, E.A., Messerschmitt, D.G.: Synchronous data flow. In: Proceedings of the IEEE, vol. 75(9), pp. 1235–1245. IEEE Computer Society (1987)
Jézéquel, J.-M., Barais, O., Fleurey, F.: Model driven language engineering with kermeta. In: Fernandes, J.M., Lämmel, R., Visser, J., Saraiva, J. (eds.) GTTSE 2009. LNCS, vol. 6491, pp. 201–221. Springer, Heidelberg (2011)
Di Ruscio, D., Jouault, F., Kurtev, I., Bézivin, J., Pierantonio, A.: Extending AMMA for Supporting Dynamic Semantics Specifications of DSLs. RR 06.02 RR 06.02
Harel, D., Rumpe, B.: Meaningful modeling: What’s the semantics of “semantics”? Computer 37(10), 64–72 (2004)
Sangiovanni-Vincentelli, A.L., Shukla, S.K., Sztipanovits, J., Yang, G., Mathaikutty, D.: Metamodeling: An emerging representation paradigm for system-level design. IEEE Design & Test of Computers 26(3), 54–69 (2009)
Lenormand, E., Edelin, G.: An Industrial Perspective: A pragmatic High end Signal processing Design Environment at Thales (2003)
Pimentel, A.D., Stefanov, T., Nikolov, H., Thompson, M., Polstra, S., Deprettere, E.F.: Tool integration and interoperability challenges of a system-level design flow: A case study. In: Bereković, M., Dimopoulos, N., Wong, S. (eds.) SAMOS 2008. LNCS, vol. 5114, pp. 167–176. Springer, Heidelberg (2008)
Tolk, D. A., Muguira, J.A.: The levels of conceptual interoperability model. In: 2003 Fall Simulation Interoperability Workshop (2003)
Wang, W., Tolk, A., Wang, W.: The levels of conceptual interoperability model: applying systems engineering principles to M&S. In: Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, pp. 168:1–168:9. Society for Computer Simulation International, San Diego (2009)
Crane, M.L., Dingel, J.: UML vs. classical vs. rhapsody statecharts: not all models are created equal. Software and Systems Modeling 6(4), 415–435 (2007)
Combemale, B., Hardebolle, C., Jacquet, C., Boulanger, F., Baudry, B.: Bridging the Chasm between Executable Metamodeling and Models of Computation. In: Czarnecki, K., Hedin, G. (eds.) SLE 2012. LNCS, vol. 7745, pp. 184–203. Springer, Heidelberg (2013)
Liu, J.: Continuous time and mixed-signal simulation in Ptolemy II. Technical Report UCB/ERL M98/74, Dept. of EECS, University of California, Berkeley, CA (1998)
Lee, E.A., Sangiovanni-Vincentelli, A.: A framework for comparing models of computation. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 17, 1217–1229 (1998)
Diallo, P.I., Champeau, J., Leilde, V.: An approach for describing concurrency and communication of heterogeneous systems. In: Proceedings of the Third Workshop on Behavioural Modelling, BM-FA 2011, pp. 56–63. ACM, New York (2011)
Jantsch, A.: Modeling Embedded Systems and SoCs - Concurrency and Time in Models of Computation. Systems on Silicon. Morgan Kaufmann Publishers (June 2003)
Object Management Group: UML profile for MARTE, beta 1. Technical Report ptc/07-08-04, Object Management Group (2007)
Liu, J., Liu, X., Lee, E.A.: Modeling distributed hybrid systems in Ptolemy ii. In: Proceedings of the American Control Conference, pp. 4984–4985 (2001)
Lee, E.A., Messerschmitt, D.G.: Synchronous data flow. Proceedings of the IEEE 75, 1235–1245 (1987)
Clausen, M., Fortenbacher, A.: Efficient solution of linear diophantine equations. J. Symb. Comput. 8(1-2), 201–216 (1989)
Buck, J., Ha, S., Lee, E.A., Messerschmitt, D.G.: Ptolemy: a framework for simulating and prototyping heterogeneous systems. IEEE 10, 527–543 (2002)
Boulanger, F., Hardebolle, C.: Simulation of Multi-Formalism Models with Modhel’X. In: ICST 2008: Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation, pp. 318–327. IEEE Computer Society, Washington, DC (2008)
Kappel, G., Wimmer, M., Retschitzegger, W., Schwinger, W.: Leveraging model-based tool integration by conceptual modeling techniques. In: Kaschek, R., Delcambre, L. (eds.) The Evolution of Conceptual Modeling. LNCS, vol. 6520, pp. 254–284. Springer, Heidelberg (2011)
Karsai, G., Lang, A., Neema, S.: Design patterns for open tool integration. Software and Systems Modeling 4(2), 157–170 (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer International Publishing Switzerland
About this paper
Cite this paper
Diallo, P.I., Champeau, J., Lagadec, L. (2013). A Model-Driven Approach to Enhance Tool Interoperability Using the Theory of Models of Computation. In: Erwig, M., Paige, R.F., Van Wyk, E. (eds) Software Language Engineering. SLE 2013. Lecture Notes in Computer Science, vol 8225. Springer, Cham. https://doi.org/10.1007/978-3-319-02654-1_12
Download citation
DOI: https://doi.org/10.1007/978-3-319-02654-1_12
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-02653-4
Online ISBN: 978-3-319-02654-1
eBook Packages: Computer ScienceComputer Science (R0)