{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:26:20Z","timestamp":1725805580201},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319116525"},{"type":"electronic","value":"9783319116532"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11653-2_9","type":"book-chapter","created":{"date-parts":[[2014,9,19]],"date-time":"2014-09-19T07:30:44Z","timestamp":1411111844000},"page":"133-148","source":"Crossref","is-referenced-by-count":17,"title":["Formalizing Execution Semantics of UML Profiles with fUML Models"],"prefix":"10.1007","author":[{"given":"J\u00e9r\u00e9mie","family":"Tatibou\u00ebt","sequence":"first","affiliation":[]},{"given":"Arnaud","family":"Cuccuru","sequence":"additional","affiliation":[]},{"given":"S\u00e9bastien","family":"G\u00e9rard","sequence":"additional","affiliation":[]},{"given":"Fran\u00e7ois","family":"Terrier","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Object Management Group. Semantics of a Foundational Subset for Executable UML Models. Technical Report (2010)"},{"key":"9_CR2","unstructured":"Object Management Group. Precise Semantics of Composite Structures. Technical Report (2010)"},{"key":"9_CR3","unstructured":"Object Management Group. Modeling And Analysis Of Real-Time Embedded Systems. Technical Report (2011)"},{"key":"9_CR4","unstructured":"Object Management Group. Systems Modeling Language. Technical Report (2012)"},{"key":"9_CR5","unstructured":"Object Management Group. Action Language for Foundational UML. Technical Report (2012)"},{"key":"9_CR6","first-page":"291","volume":"5","author":"H. Partsch","year":"2011","unstructured":"Partsch, H., Dausend, M., Gessenharter, D.: From Formal Semantics to Executable Models: A pragmatic Approach to Model-Driven Development. International Journal of Software and Informatics\u00a05, 291\u2013312 (2011)","journal-title":"International Journal of Software and Informatics"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Pardillo, J.: A Systematic Review on the definition of UML profiles. Model Driven Engineering Languages and Systems, 407\u2013422 (2010)","DOI":"10.1007\/978-3-642-16145-2_28"},{"key":"9_CR8","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 \u201cSemantics\u201d. Computer\u00a037, 64\u201372 (2004)","journal-title":"Computer"},{"key":"9_CR9","unstructured":"Graph, S., Ober, I.: How useful is the UML profile SPT without Semantics? In: International Workshop on Model, Design and Validation (2004)"},{"key":"9_CR10","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/11557432_19","volume":"8","author":"P.A. Muller","year":"2005","unstructured":"Muller, P.A., Fleurey, F., Jezequel, J.M.: Weaving Executability into Object-Oriented Meta-languages. Model Driven Engineering Languages and Systems\u00a08, 264\u2013278 (2005)","journal-title":"Model Driven Engineering Languages and Systems"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Mayerhofer, T., Langer, P., Wimmer, M.: Towards xMOF: Executable DSMLs based on fUML. In: Proceedings of the 2012 Workshop on Domain-Specific Modeling, vol.\u00a012, pp. 1\u20136 (2005)","DOI":"10.1145\/2420918.2420920"},{"key":"9_CR12","first-page":"215","volume":"15","author":"L. Wouters","year":"2011","unstructured":"Wouters, L., Gervais, M.-P.: xOWL: An Executable Modeling Language for Domain Experts. International Entreprise Distributed Object Computing\u00a015, 215\u2013222 (2011)","journal-title":"International Entreprise Distributed Object Computing"},{"key":"9_CR13","first-page":"222","volume":"13","author":"C. Mraidha","year":"2008","unstructured":"Mraidha, C., Tanguy, Y., Jouvray, C., Terrier, F., Gerard, S.: An Execution Framework for MARTE-based Models. Engineering of Complex Computer Systems\u00a013, 222\u2013227 (2008)","journal-title":"Engineering of Complex Computer Systems"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Borger, E.: The ASM Method for System Design and Analysis. A Tutorial Introduction. Frontiers of Combining Systems, 264\u2013283 (2005)","DOI":"10.1007\/11559306_15"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Riccobene, E., Scandurra, P.: An Executable Semantics of the SystemC UML profile. Abstract State Machines, Alloy, B and Z, 75\u201390 (2010)","DOI":"10.1007\/978-3-642-11811-1_7"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Selic, B.: A Systematic Approach to Domain-Specific Language Design Using UML. In: International Symposium on Object and Component-Oriented Real-Time Distributed Computing, pp. 2\u20139 (2007)","DOI":"10.1109\/ISORC.2007.10"},{"key":"9_CR17","unstructured":"Romero, A., Schneider, K., Ferreira, M.: Using the Base Semantics given by fUML for Verification. MODELSWARD (2014)"},{"key":"9_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/978-3-540-75209-7_19","volume-title":"Model Driven Engineering Languages and Systems","author":"A. Cuccuru","year":"2007","unstructured":"Cuccuru, A., Mraidha, C., Terrier, F., G\u00e9rard, S.: Enhancing UML Extensions with Operational Semantics. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol.\u00a04735, pp. 271\u2013285. Springer, Heidelberg (2007)"},{"key":"9_CR19","unstructured":"Selic, B.: Elements of Model-Based Engineering with UML2: What They Don\u2019t Teach You About UML, Technical Report (2009)"}],"container-title":["Lecture Notes in Computer Science","Model-Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11653-2_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T19:11:17Z","timestamp":1558984277000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11653-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319116525","9783319116532"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11653-2_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}