{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T15:28:08Z","timestamp":1759332488443},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540878742"},{"type":"electronic","value":"9783540878759"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87875-9_47","type":"book-chapter","created":{"date-parts":[[2008,9,22]],"date-time":"2008-09-22T01:46:10Z","timestamp":1222047970000},"page":"675-689","source":"Crossref","is-referenced-by-count":13,"title":["Towards a Formal Account of a Foundational Subset for Executable UML Models"],"prefix":"10.1007","author":[{"given":"Michelle L.","family":"Crane","sequence":"first","affiliation":[]},{"given":"Juergen","family":"Dingel","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"47_CR1","unstructured":"Object Management Group: Semantics of a foundational subset for executable UML models. Request for Proposal ad\/2005-04-02 (April 2005)"},{"key":"47_CR2","volume-title":"Modeling Reactive Systems with Statecharts: The STATEMATE Approach","author":"D. Harel","year":"1998","unstructured":"Harel, D., Politi, M.: Modeling Reactive Systems with Statecharts: The STATEMATE Approach. McGraw-Hill, New York (1998)"},{"key":"47_CR3","volume-title":"Object Lifecycles: Modeling the World in States","author":"S. Shlaer","year":"1992","unstructured":"Shlaer, S., Mellor, S.: Object Lifecycles: Modeling the World in States. Prentice-Hall, Englewood Cliffs (1992)"},{"key":"47_CR4","volume-title":"Real-Time Object-Oriented Modeling","author":"B. Selic","year":"1994","unstructured":"Selic, B., Gullekson, G., Ward, P.: Real-Time Object-Oriented Modeling. Wiley, Chichester (1994)"},{"key":"47_CR5","unstructured":"Object Management Group: Unified Modeling Language: Superstructure version 2.1. Document ptc\/06-01-02 (January 2006)"},{"key":"47_CR6","volume-title":"The Unified Modeling Language Reference Manual","author":"J. Rumbaugh","year":"2005","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual, 2nd edn. Addison-Wesley, Reading (2005)","edition":"2"},{"key":"47_CR7","unstructured":"Broy, M., Cengarle, M., Rumpe, B.: Semantics of UML \u2013 Towards a System Model for UML: The Structural Data Model. Technical Report TUM-I0612, TUM (2006)"},{"key":"47_CR8","unstructured":"Broy, M., Cengarle, M., Rumpe, B.: Semantics of UML \u2013 Towards a System Model for UML: The Control Model. Technical Report TUM-I0710, TUM (2007)"},{"key":"47_CR9","unstructured":"Broy, M., Cengarle, M., Rumpe, B.: Semantics of UML \u2013 Towards a System Model for UML: The State Machine Model. Technical Report TUM-I0711, TUM (2007)"},{"key":"47_CR10","unstructured":"Bock, C.: Re: Token\/offer semantics for activities. E-mail to J. Dingel (April 25, 2008)"},{"key":"47_CR11","unstructured":"St\u00f6rrle, H., Hausmann, J.: Towards a formal semantics of UML 2.0 activities. In: Software Engineering. LNI, vol.\u00a064, pp. 117\u2013128 (2005)"},{"key":"47_CR12","doi-asserted-by":"crossref","unstructured":"Schattkowsky, T., F\u00f6rster, A.: On the pitfalls of UML 2 activity modeling. In: Proceedings of the International Workshop on Modeling in Software Engineering (MISE), p. 8 (2007)","DOI":"10.1109\/MISE.2007.12"},{"key":"47_CR13","doi-asserted-by":"crossref","unstructured":"Jiang, K., Zhang, L., Miyake, S.: An executable UML with OCL-based action semantics language. In: Asia-Pacific Software Engineering Conference (APSEC), pp. 302\u2013309 (2007)","DOI":"10.1109\/ASPEC.2007.21"},{"key":"47_CR14","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1145\/1229375.1229380","volume-title":"10th International Workshop on Aspect-oriented Modeling (AOM)","author":"L. Fuentes","year":"2007","unstructured":"Fuentes, L., S\u00e1nchez, P.: Towards executable aspect-oriented UML models. In: 10th International Workshop on Aspect-oriented Modeling (AOM), pp. 28\u201334. ACM Press, New York (2007)"},{"key":"47_CR15","unstructured":"Sarstedt, S., Kohlmeyer, J., Raschke, A., Schneiderhan, M., Gessenharter, D.: ActiveChartsIDE. In: ECMDA 2005 (2005)"},{"key":"47_CR16","volume-title":"Model Driven Architecture with Executable UML","author":"C. Raistrick","year":"2004","unstructured":"Raistrick, C., Francis, P., Wright, J., Carter, C., Wilkie, I.: Model Driven Architecture with Executable UML. Cambridge University Press, Cambridge (2004)"},{"key":"47_CR17","volume-title":"Executable UML: A Foundation for Model Driven Architecture","author":"S. Mellor","year":"2002","unstructured":"Mellor, S., Balcer, M.: Executable UML: A Foundation for Model Driven Architecture. Addison-Wesley, Reading (2002)"},{"key":"47_CR18","doi-asserted-by":"publisher","first-page":"838","DOI":"10.1145\/1297846.1297915","volume-title":"22nd ACM SIGPLAN Conference on Object Oriented Programming Systems and Applications (OOPSLA)","author":"D. Dotan","year":"2007","unstructured":"Dotan, D., Kirshin, A.: Debugging and testing behavioral UML models. In: 22nd ACM SIGPLAN Conference on Object Oriented Programming Systems and Applications (OOPSLA), pp. 838\u2013839. ACM Press, New York (2007)"},{"key":"47_CR19","unstructured":"Ober, I., Coulette, B., Gandriau, M.: Action language for the UML. In: Langages et Mod\u00e8les \u00e0 Objets (LMO), Hermes, pp. 277\u2013291 (2000)"},{"key":"47_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-540-72952-5_5","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"G. Engels","year":"2007","unstructured":"Engels, G., Soltenborn, C., Wehrheim, H.: Analysis of UML activities using dynamic meta modeling. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007. LNCS, vol.\u00a04468, pp. 76\u201390. Springer, Heidelberg (2007)"},{"issue":"1","key":"47_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1125808.1125809","volume":"15","author":"R. Eshuis","year":"2006","unstructured":"Eshuis, R.: Symbolic model checking of UML activity diagrams. ACM Transactions on Software Engineering and Methodology (TOSEM)\u00a015(1), 1\u201338 (2006)","journal-title":"ACM Transactions on Software Engineering and Methodology (TOSEM)"},{"key":"47_CR22","unstructured":"Object Management Group: Semantics of a foundational subset for executable UML models. Initial Submission ad\/06-05-02 (May 2006)"},{"key":"47_CR23","unstructured":"Crane, M., Dingel, J.: Towards a UML virtual machine: Implementing an interpreter for UML 2 actions and activities. In: 2008 conference of the Centre for Advanced Studies on Collaborative research (CASCON) (to appear, 2008)"}],"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-87875-9_47.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:51:05Z","timestamp":1619524265000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87875-9_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540878742","9783540878759"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87875-9_47","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}