{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:06:13Z","timestamp":1725516373530},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540690696"},{"type":"electronic","value":"9783540690733"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-69073-3_26","type":"book-chapter","created":{"date-parts":[[2008,8,12]],"date-time":"2008-08-12T16:07:43Z","timestamp":1218557263000},"page":"247-258","source":"Crossref","is-referenced-by-count":12,"title":["ModHel\u2019X: A Component-Oriented Approach to Multi-Formalism Modeling"],"prefix":"10.1007","author":[{"given":"C\u00e9cile","family":"Hardebolle","sequence":"first","affiliation":[]},{"given":"Fr\u00e9d\u00e9ric","family":"Boulanger","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"26_CR1","first-page":"127","volume":"91","author":"J. Eker","year":"2003","unstructured":"Eker, J., Janneck, J.W., Lee, E.A., Liu, J., Liu, X., Ludvig, J., Neuendorffer, S., Sachs, S., Xiong, Y.: Taming heterogeneity \u2013 the Ptolemy approach. Proceedings of the IEEE, Special Issue on Modeling and Design of Embedded Software\u00a091(1), 127\u2013144 (2003)","journal-title":"Proceedings of the IEEE, Special Issue on Modeling and Design of Embedded Software"},{"issue":"9","key":"26_CR2","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1177\/0037549704050532","volume":"80","author":"P.J. Mosterman","year":"2004","unstructured":"Mosterman, P.J., Vangheluwe, H.: Computer automated multi-paradigm modeling: An introduction. Simulation: Transactions of the Society for Modeling and Simulation International\u00a080(9), 433\u2013450 (2004), Special Issue: Grand Challenges for Modeling and Simulation","journal-title":"Simulation: Transactions of the Society for Modeling and Simulation International"},{"issue":"12","key":"26_CR3","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.L.: A framework for comparing models of computation. IEEE Trans. on CAD of Integrated Circuits and Systems\u00a017(12), 1217\u20131229 (1998)","journal-title":"IEEE Trans. on CAD of Integrated Circuits and Systems"},{"key":"26_CR4","doi-asserted-by":"crossref","unstructured":"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\u201312 (2006)","DOI":"10.1109\/SEFM.2006.27"},{"key":"26_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BFb0054087","volume-title":"ECOOP \u201998 - Object-Oriented Programming","author":"P. Fritzson","year":"1998","unstructured":"Fritzson, P., Engelson, V.: Modelica \u2014 A unified object-oriented language for system modeling and simulation. In: Jul, E. (ed.) ECOOP 1998. LNCS, vol.\u00a01445, pp. 67\u201390. Springer, Heidelberg (1998)"},{"key":"26_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11813040_1","volume-title":"FM 2006: Formal Methods","author":"T.A. Henzinger","year":"2006","unstructured":"Henzinger, T.A., Sifakis, J.: The embedded systems design challenge. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol.\u00a04085, pp. 1\u201315. Springer, Heidelberg (2006)"},{"key":"26_CR7","unstructured":"Bruneton, E., Coupaye, T., Stefani, J.: The fractal component model specification (2004)"},{"key":"26_CR8","doi-asserted-by":"crossref","unstructured":"Muller, P.A., Fleurey, F., J\u00e9z\u00e9quel, 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\u2013278 (2005)","DOI":"10.1007\/11557432_19"},{"key":"26_CR9","series-title":"Lecture Notes in Computer Science","first-page":"595","volume-title":"Fundamental Approaches to Software Engineering","author":"J. Lara de","year":"2002","unstructured":"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.\u00a02306, pp. 595\u2013603. Springer, Heidelberg (2002)"},{"key":"26_CR10","unstructured":"Levendovszky, T., Lengyel, L., Charaf, H.: Software Composition with a Multipurpose Modeling and Model Transformation Framework. In: IASTED on SE, Innsbruck, Austria, pp. 590\u2013594 (2004)"},{"issue":"11","key":"26_CR11","first-page":"1296","volume":"9","author":"G. Karsai","year":"2003","unstructured":"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\u00a09(11), 1296\u20131321 (2003)","journal-title":"Journal of Universal Computer Science, Special issue on Formal Specification of CBS"},{"key":"26_CR12","doi-asserted-by":"crossref","unstructured":"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\u201362 (2007)","DOI":"10.1145\/1289971.1289981"},{"key":"26_CR13","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1007\/3-540-36190-1_7"},{"key":"26_CR14","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1109\/CSD.2001.981761"},{"key":"26_CR15","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1145\/1086228.1086276","volume-title":"Proceedings of the 5th ACM International Conference On Embedded Software (EMSOFT 2005)","author":"A. Benveniste","year":"2005","unstructured":"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\u2013263. ACM, New York (2005)"},{"issue":"1","key":"26_CR16","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/214451.214456","volume":"3","author":"K.M. Chandy","year":"1985","unstructured":"Chandy, K.M., Lamport, L.: Distributed snapshots: Determining global states of distributed systems. ACM Transactions on Computer Systems\u00a03(1), 63\u201375 (1985)","journal-title":"ACM Transactions on Computer Systems"},{"key":"26_CR17","volume-title":"Introduction to the Theory of Programming Languages","author":"B. Meyer","year":"1990","unstructured":"Meyer, B.: Introduction to the Theory of Programming Languages. Prentice Hall, Hemel Hempstead (U.K.) (1990)"},{"key":"26_CR18","unstructured":"Eclipse Foundation: (Eclipse Modeling Framework (EMF))"},{"key":"26_CR19","unstructured":"OMG: Meta Object Facility (MOF) 2.0 Query\/View\/ Transformation specification (2005)"},{"key":"26_CR20","first-page":"45","volume-title":"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)","author":"C. Hardebolle","year":"2007","unstructured":"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\u201354. IEEE Computer Society, Los Alamitos (2007)"}],"container-title":["Lecture Notes in Computer Science","Models in Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69073-3_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:31:14Z","timestamp":1605763874000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69073-3_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540690696","9783540690733"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69073-3_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}