{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,3]],"date-time":"2026-10-03T18:40:38Z","timestamp":1791052838047,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540752080","type":"print"},{"value":"9783540752097","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75209-7_19","type":"book-chapter","created":{"date-parts":[[2007,9,11]],"date-time":"2007-09-11T03:42:37Z","timestamp":1189482157000},"page":"271-285","source":"Crossref","is-referenced-by-count":11,"title":["Enhancing UML Extensions with Operational Semantics."],"prefix":"10.1007","author":[{"given":"Arnaud","family":"Cuccuru","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Chokri","family":"Mraidha","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fran\u00e7ois","family":"Terrier","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"S\u00e9bastien","family":"G\u00e9rard","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"19_CR1","unstructured":"Cuccuru, A., Mraidha, C., Terrier, F., G\u00e9rard, S.: Templateable Metomodels for Semantic Variation Points. In: ECMDA-FA. European Conference on Model Driven Architecture - Foundations and Applications, Haifa, Israel (2007)"},{"key":"19_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"Model Driven Engineering Languages and Systems","author":"G. O\u2019Keefe","year":"2006","unstructured":"O\u2019Keefe, G.: Improving the Definition of UML. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, Springer, Heidelberg (2006)"},{"key":"19_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"406","DOI":"10.1007\/3-540-47910-4_21","volume-title":"ECOOP \u201993 - Object-Oriented Programming","author":"E. Gamma","year":"1993","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design patterns: Abstraction and reuse of object-oriented design. In: Nierstrasz, O. (ed.) ECOOP 1993. LNCS, vol.\u00a0707, pp. 406\u2013431. Springer, Heidelberg (1993)"},{"key":"19_CR4","volume-title":"Semantics of Programming Languages: Structures and Techniques (Foundations of Computing)","author":"C. Gunter","year":"1992","unstructured":"Gunter, C.: Semantics of Programming Languages: Structures and Techniques (Foundations of Computing). MIT Press, Cambridge (1992)"},{"issue":"10","key":"19_CR5","doi-asserted-by":"publisher","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 \u201dSemantics\u201d? Computer\u00a037(10), 64\u201372 (2004)","journal-title":"Computer"},{"issue":"1","key":"19_CR6","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1007\/s10270-004-0076-8","volume":"4","author":"B. Henderson-Sellers","year":"2005","unstructured":"Henderson-Sellers, B.: UML - the Good, the Bad or the Ugly? Perspectives from a panel of experts. Software and System Modeling\u00a04(1), 4\u201313 (2005)","journal-title":"Software and System Modeling"},{"key":"19_CR7","unstructured":"Hussey, K.: What do YOU want UML to be? (Slides). In: EclipseCON, Santa Clara, CA, USA (2007)"},{"key":"19_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"FM 2005: Formal Methods","author":"S.-K. Kim","year":"2005","unstructured":"Kim, S.-K., Burger, D., Carrington, D.A.: An MDA Approach towards Integrating Formal and Informal Modeling Languages. In: Fitzgerald, J.A., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol.\u00a03582, Springer, Heidelberg (2005)"},{"key":"19_CR9","unstructured":"OMG. Semantics of a Foundational Subset for Executable UML Models RFP (2005)"},{"key":"19_CR10","unstructured":"OMG. Unified Modeling Language: Infrastructure (2005)"},{"key":"19_CR11","unstructured":"OMG. Unified Modeling Language: Superstructure version 2.1.1 (2007)"},{"key":"19_CR12","series-title":"Lecture Notes in Computer Science","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"H. Rasch","year":"2003","unstructured":"Rasch, H., Wehrheim, H.: Checking Consistency in UML Diagrams: Classes and State Machines. In: Najm, E., Nestmann, U., Stevens, P. (eds.) FMOODS 2003. LNCS, vol.\u00a02884, Springer, Heidelberg (2003)"},{"key":"19_CR13","unstructured":"Tanguy, Y., G\u00e9rard, S., Radermacher, A., Terrier, F.: Model Driven Engineering for Real Time Embedded Systems. In: ERTS. 3rd European Congress Embedded Real Time Software, Toulouse (France) (January 2006)"},{"key":"19_CR14","volume-title":"14th IEEE International Workshop on Rapid Systems Prototyping","author":"P. Tessier","year":"2003","unstructured":"Tessier, P., G\u00e9rard, S., Mraidha, C., Terrier, F., Geib, J.-M.: A Component-Based Methodology for Embedded System Prototyping. In: 14th IEEE International Workshop on Rapid Systems Prototyping, San Diego, CA, USA, IEEE Computer Society Press, Los Alamitos (2003)"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75209-7_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:55:56Z","timestamp":1619506556000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75209-7_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540752080","9783540752097"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75209-7_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[]}}