{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T05:27:32Z","timestamp":1740202052966,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642135941"},{"type":"electronic","value":"9783642135958"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13595-8_9","type":"book-chapter","created":{"date-parts":[[2010,5,31]],"date-time":"2010-05-31T04:15:17Z","timestamp":1275279317000},"page":"90-103","source":"Crossref","is-referenced-by-count":6,"title":["Generative Technologies for Model Animation in the TopCased Platform"],"prefix":"10.1007","author":[{"given":"Xavier","family":"Cr\u00e9gut","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benoit","family":"Combemale","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Pantel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rapha\u00ebl","family":"Faudoux","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonatas","family":"Pavei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Combemale, B., Cr\u00e9gut, X., Giacometti, J.P., Michel, P., Pantel, M.: Introducing Simulation and Model Animation in the MDE topcased Toolkit. In: ERTS (2008)"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Combemale, B., Rougemaille, S., Cr\u00e9gut, X., Migeon, F., Pantel, M., Maurel, C., Coulette, B.: Towards rigorous metamodeling. In: MDEIS, pp. 5\u201314. INSTICC Press (2006)","DOI":"10.5220\/0002501500050014"},{"key":"9_CR3","volume-title":"Enterprise Information System IX","author":"B. Combemale","year":"2008","unstructured":"Combemale, B., Cr\u00e9gut, X., Garoche, P.L., Thirioux, X., Vernadat, F.: A Property-Driven Approach to Formal Verification of Process Models. In: Enterprise Information System IX, Springer, Heidelberg (2008)"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Bendraou, R., Combemale, B., Cr\u00e9gut, X., Gervais, M.P.: Definition of an executable spem 2.0. In: APSEC, pp. 390\u2013397 (2007)","DOI":"10.1109\/APSEC.2007.38"},{"key":"9_CR5","unstructured":"Farail, P., Gaufillet, P., Canals, A., Camus, C.L., Sciamma, D., Michel, P., Cr\u00e9gut, X., Pantel, M.: The TOPCASED project: a toolkit in open source for critical aeronautic systems design. In: ERTS (2006)"},{"key":"9_CR6","unstructured":"Object Management Group, Inc.: Meta Object Facility (MOF) 2.0 Core Specification, Final Adopted Specification (January 2006)"},{"key":"9_CR7","first-page":"81","volume-title":"Formal Methods in System Design, vol. 19","author":"K. Winkelmann","year":"2001","unstructured":"Winkelmann, K.: Formal Methods in Designing Embedded Systems - The SACRES Experience. In: Formal Methods in System Design, vol. 19, pp. 81\u2013110. Springer, Heidelberg (2001)"},{"key":"9_CR8","first-page":"293","volume-title":"The STATEMATE semantics of Statecharts","author":"D. Harel","year":"1996","unstructured":"Harel, D., Naamad, A.: The STATEMATE semantics of Statecharts, vol.\u00a05(4), pp. 293\u2013333. ACM Press, New York (1996)"},{"key":"9_CR9","unstructured":"Behrmann, G., David, A., Larsen, K.G., M\u00f6ller, O., Pettersson, P., Yi, W.: Uppaal - Present and Future. In: Proceedings of the 40th IEEE Conference on Decision and Control (CDC 2001), Orlando, Florida, USA (2001)"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Colgren, R.: Basic Matlab Simulink and Stateflow. In: American Institute of Aeronautics and Astronautics. AIAA Education Series (2007)","DOI":"10.2514\/4.861628"},{"key":"9_CR11","volume-title":"Modeling and Simulation in Scilab\/Scicos","author":"S.L. Campbell","year":"2005","unstructured":"Campbell, S.L., Chancelier, J.P., Nikoukhah, R.: Modeling and Simulation in Scilab\/Scicos. Springer, Heidelberg (2005)"},{"key":"9_CR12","unstructured":"Lee, E.A.: Overview of the Ptolemy project. Technical Memorandum UCB\/ERL no M03\/25, University of California at Berkeley (2003)"},{"key":"9_CR13","first-page":"838","volume-title":"OOPSLA Companion","author":"D. Dotan","year":"2007","unstructured":"Dotan, D., Kirshin, A.: Debugging and testing behavioral uml models. In: OOPSLA Companion, pp. 838\u2013839. ACM, New York (2007)"},{"key":"9_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"506","DOI":"10.1007\/978-3-540-88643-3_16","volume-title":"Generative and Transformational Techniques in Software Engineering II","author":"G. Wachsmuth","year":"2008","unstructured":"Wachsmuth, G.: Modelling the operational semantics of domain-specific modelling languages. In: L\u00e4mmel, R., Visser, J., Saraiva, J. (eds.) Generative and Transformational Techniques in Software Engineering II. LNCS, vol.\u00a05235, pp. 506\u2013520. Springer, Heidelberg (2008)"},{"key":"9_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/978-3-540-69100-6_5","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"D.A. Sadilek","year":"2008","unstructured":"Sadilek, D.A., Wachsmuth, G.: Prototyping visual interpreters and debuggers for domain-specific modelling languages. In: Schieferdecker, I., Hartman, A. (eds.) ECMDA-FA 2008. LNCS, vol.\u00a05095, pp. 63\u201378. Springer, Heidelberg (2008)"},{"key":"9_CR16","series-title":"Lecture Notes in Computer Science","first-page":"348","volume-title":"Automata Theory and Formal Languages","author":"D.A. Sadilek","year":"1975","unstructured":"Sadilek, D.A., Wachsmuth, G.: Using grammarware languages to define operational semantics of modelled languages. In: Brakhage, H. (ed.) GI-Fachtagung 1975. LNCS, vol.\u00a033, pp. 348\u2013356. Springer, Heidelberg (1975)"},{"key":"9_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1555852.1555856","volume-title":"1st Workshop on Behaviour Modelling in Model-Driven Architecture","author":"M. Soden","year":"2009","unstructured":"Soden, M., Eichler, H.: Towards a model execution framework for eclipse. In: 1st Workshop on Behaviour Modelling in Model-Driven Architecture, pp. 1\u20137. ACM, New York (2009)"}],"container-title":["Lecture Notes in Computer Science","Modelling Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13595-8_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T11:04:51Z","timestamp":1740135891000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13595-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642135941","9783642135958"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13595-8_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}