{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T16:10:57Z","timestamp":1746115857726,"version":"3.40.4"},"publisher-location":"Cham","reference-count":35,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319026534"},{"type":"electronic","value":"9783319026541"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-319-02654-1_12","type":"book-chapter","created":{"date-parts":[[2013,10,21]],"date-time":"2013-10-21T05:25:32Z","timestamp":1382333132000},"page":"218-237","source":"Crossref","is-referenced-by-count":0,"title":["A Model-Driven Approach to Enhance Tool Interoperability Using the Theory of Models of Computation"],"prefix":"10.1007","author":[{"given":"Papa Issa","family":"Diallo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jo\u00ebl","family":"Champeau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lo\u00efc","family":"Lagadec","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/3-540-53452-0_38","volume-title":"Software Engineering Environments","author":"A.I. Wasserman","year":"1990","unstructured":"Wasserman, A.I.: Tool integration in software engineering environments. In: Long, F. (ed.) Software Engineering Environments. LNCS, vol.\u00a0467, pp. 137\u2013149. Springer, Heidelberg (1990)"},{"issue":"2","key":"12_CR2","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1109\/52.120599","volume":"9","author":"I. Thomas","year":"1992","unstructured":"Thomas, I., Nejmeh, B.A.: Definitions of tool integration for environments. IEEE Softw.\u00a09(2), 29\u201335 (1992)","journal-title":"IEEE Softw."},{"key":"12_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-642-13595-8_5","volume-title":"Modelling Foundations and Applications","author":"H. Bruneli\u00e8re","year":"2010","unstructured":"Bruneli\u00e8re, H., Cabot, J., Clasen, C., Jouault, F., B\u00e9zivin, J.: Towards model driven tool interoperability: Bridging eclipse and microsoft modeling tools. In: K\u00fchne, T., Selic, B., Gervais, M.-P., Terrier, F. (eds.) ECMFA 2010. LNCS, vol.\u00a06138, pp. 32\u201347. Springer, Heidelberg (2010)"},{"key":"12_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/11538097_2","volume-title":"Model Driven Architecture","author":"X. Blanc","year":"2005","unstructured":"Blanc, X., Gervais, M.-P., Sriplakich, P.: Model bus: Towards the interoperability of modelling tools. In: A\u00dfmann, U., Ak\u015fit, M., Rensink, A. (eds.) MDAFA 2003. LNCS, vol.\u00a03599, pp. 17\u201332. Springer, Heidelberg (2005)"},{"key":"12_CR5","unstructured":"Object Management Group: Meta object facility (MOF) 2.0 core specification. Technical Report formal\/06-01-01, Object Management Group, OMG Available Specification (2001)"},{"key":"12_CR6","unstructured":"Object Management Group: Meta Object Facility (MOF) 2.0 Query\/View\/ Transformation Specification, QVT (2008)"},{"key":"12_CR7","unstructured":"The ModelCVS Project, http:\/\/www.modelcvs.org\/publications\/conference.html"},{"key":"12_CR8","unstructured":"IBM Telelogic: Rational Rhapsody UML modeler., http:\/\/www.telelogic.com\/products\/rhapsody\/index.cfm"},{"key":"12_CR9","unstructured":"Muliadi, L.: Discrete event modeling in Ptolemy II. Master\u2019s report, Dept. of EECS, University of California, Berkeley, CA (1999)"},{"key":"12_CR10","unstructured":"Labbani, O., Dekeyser, J.-L., Boulet, P., Rutten, \u00c9.: 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)"},{"key":"12_CR11","unstructured":"Boulet, P.: Array-OL Revisited, Multidimensional Intensive Signal Processing Specification. Rapport de recherche RR-6113, INRIA (2007)"},{"key":"12_CR12","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Prentice Hall International (1985)"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Lee, E.A., Messerschmitt, D.G.: Synchronous data flow. In: Proceedings of the IEEE, vol.\u00a075(9), pp. 1235\u20131245. IEEE Computer Society (1987)","DOI":"10.1109\/PROC.1987.13876"},{"key":"12_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/978-3-642-18023-1_5","volume-title":"Generative and Transformational Techniques in Software Engineering III","author":"J.-M. J\u00e9z\u00e9quel","year":"2011","unstructured":"J\u00e9z\u00e9quel, J.-M., Barais, O., Fleurey, F.: Model driven language engineering with kermeta. In: Fernandes, J.M., L\u00e4mmel, R., Visser, J., Saraiva, J. (eds.) GTTSE 2009. LNCS, vol.\u00a06491, pp. 201\u2013221. Springer, Heidelberg (2011)"},{"key":"12_CR15","unstructured":"Di Ruscio, D., Jouault, F., Kurtev, I., B\u00e9zivin, J., Pierantonio, A.: Extending AMMA for Supporting Dynamic Semantics Specifications of DSLs. RR 06.02 RR 06.02"},{"issue":"10","key":"12_CR16","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1109\/MC.2004.172","volume":"37","author":"D. Harel","year":"2004","unstructured":"Harel, D., Rumpe, B.: Meaningful modeling: What\u2019s the semantics of \u201csemantics\u201d? Computer\u00a037(10), 64\u201372 (2004)","journal-title":"Computer"},{"issue":"3","key":"12_CR17","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1109\/MDT.2009.62","volume":"26","author":"A.L. Sangiovanni-Vincentelli","year":"2009","unstructured":"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\u00a026(3), 54\u201369 (2009)","journal-title":"IEEE Design & Test of Computers"},{"key":"12_CR18","unstructured":"Lenormand, E., Edelin, G.: An Industrial Perspective: A pragmatic High end Signal processing Design Environment at Thales (2003)"},{"key":"12_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-540-70550-5_19","volume-title":"Embedded Computer Systems: Architectures, Modeling, and Simulation","author":"A.D. Pimentel","year":"2008","unstructured":"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\u0107, M., Dimopoulos, N., Wong, S. (eds.) SAMOS 2008. LNCS, vol.\u00a05114, pp. 167\u2013176. Springer, Heidelberg (2008)"},{"key":"12_CR20","unstructured":"Tolk, D. A., Muguira, J.A.: The levels of conceptual interoperability model. In: 2003 Fall Simulation Interoperability Workshop (2003)"},{"key":"12_CR21","first-page":"1","volume-title":"Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009","author":"W. Wang","year":"2009","unstructured":"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\u2013168:9. Society for Computer Simulation International, San Diego (2009)"},{"issue":"4","key":"12_CR22","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/s10270-006-0042-8","volume":"6","author":"M.L. Crane","year":"2007","unstructured":"Crane, M.L., Dingel, J.: UML vs. classical vs. rhapsody statecharts: not all models are created equal. Software and Systems Modeling\u00a06(4), 415\u2013435 (2007)","journal-title":"Software and Systems Modeling"},{"key":"12_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/978-3-642-36089-3_11","volume-title":"Software Language Engineering","author":"B. Combemale","year":"2013","unstructured":"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.\u00a07745, pp. 184\u2013203. Springer, Heidelberg (2013)"},{"key":"12_CR24","unstructured":"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)"},{"key":"12_CR25","doi-asserted-by":"publisher","first-page":"1217","DOI":"10.1109\/43.736561","volume":"17","author":"E.A. Lee","year":"1998","unstructured":"Lee, E.A., Sangiovanni-Vincentelli, A.: A framework for comparing models of computation. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems\u00a017, 1217\u20131229 (1998)","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"12_CR26","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1145\/1993956.1993964","volume-title":"Proceedings of the Third Workshop on Behavioural Modelling, BM-FA 2011","author":"P.I. Diallo","year":"2011","unstructured":"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\u201363. ACM, New York (2011)"},{"key":"12_CR27","unstructured":"Jantsch, A.: Modeling Embedded Systems and SoCs - Concurrency and Time in Models of Computation. Systems on Silicon. Morgan Kaufmann Publishers (June 2003)"},{"key":"12_CR28","unstructured":"Object Management Group: UML profile for MARTE, beta 1. Technical Report ptc\/07-08-04, Object Management Group (2007)"},{"key":"12_CR29","doi-asserted-by":"crossref","unstructured":"Liu, J., Liu, X., Lee, E.A.: Modeling distributed hybrid systems in Ptolemy ii. In: Proceedings of the American Control Conference, pp. 4984\u20134985 (2001)","DOI":"10.1109\/ACC.2001.945773"},{"key":"12_CR30","doi-asserted-by":"publisher","first-page":"1235","DOI":"10.1109\/PROC.1987.13876","volume":"75","author":"E.A. Lee","year":"1987","unstructured":"Lee, E.A., Messerschmitt, D.G.: Synchronous data flow. Proceedings of the IEEE\u00a075, 1235\u20131245 (1987)","journal-title":"Proceedings of the IEEE"},{"issue":"1-2","key":"12_CR31","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1016\/S0747-7171(89)80025-2","volume":"8","author":"M. Clausen","year":"1989","unstructured":"Clausen, M., Fortenbacher, A.: Efficient solution of linear diophantine equations. J. Symb. Comput.\u00a08(1-2), 201\u2013216 (1989)","journal-title":"J. Symb. Comput."},{"key":"12_CR32","first-page":"527","volume":"10","author":"J. Buck","year":"2002","unstructured":"Buck, J., Ha, S., Lee, E.A., Messerschmitt, D.G.: Ptolemy: a framework for simulating and prototyping heterogeneous systems. IEEE\u00a010, 527\u2013543 (2002)","journal-title":"IEEE"},{"key":"12_CR33","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1109\/ICST.2008.15","volume-title":"ICST 2008: Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation","author":"F. Boulanger","year":"2008","unstructured":"Boulanger, F., Hardebolle, C.: Simulation of Multi-Formalism Models with Modhel\u2019X. In: ICST 2008: Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation, pp. 318\u2013327. IEEE Computer Society, Washington, DC (2008)"},{"key":"12_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1007\/978-3-642-17505-3_12","volume-title":"The Evolution of Conceptual Modeling","author":"G. Kappel","year":"2011","unstructured":"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.\u00a06520, pp. 254\u2013284. Springer, Heidelberg (2011)"},{"issue":"2","key":"12_CR35","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/s10270-004-0073-y","volume":"4","author":"G. Karsai","year":"2005","unstructured":"Karsai, G., Lang, A., Neema, S.: Design patterns for open tool integration. Software and Systems Modeling\u00a04(2), 157\u2013170 (2005)","journal-title":"Software and Systems Modeling"}],"container-title":["Lecture Notes in Computer Science","Software Language Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-02654-1_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T17:42:54Z","timestamp":1746034974000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-02654-1_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319026534","9783319026541"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-02654-1_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}