{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,22]],"date-time":"2026-09-22T11:07:45Z","timestamp":1790075265568,"version":"4.0.1"},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319229683","type":"print"},{"value":"9783319229690","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-22969-0_25","type":"book-chapter","created":{"date-parts":[[2015,8,20]],"date-time":"2015-08-20T08:51:42Z","timestamp":1440060702000},"page":"360-368","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["An Extensible Operational Semantics for UML Activity Diagrams"],"prefix":"10.1007","author":[{"given":"Zamira","family":"Daw","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rance","family":"Cleaveland","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2015,8,21]]},"reference":[{"key":"25_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/3-540-45499-3_22","volume-title":"Algebraic Methodology and Software Technology","author":"E B\u00f6rger","year":"2000","unstructured":"B\u00f6rger, E., Cavarra, A., Riccobene, E.: An ASM semantics for UML activity diagrams. In: Rus, T. (ed.) AMAST 2000. LNCS, vol. 1816, pp. 293\u2013308. Springer, Heidelberg (2000)"},{"issue":"4","key":"25_CR2","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/s10270-011-0207-y","volume":"10","author":"M Broy","year":"2011","unstructured":"Broy, M., Cengarle, M.: Uml formal semantics: lessons learned. Softw. Syst. Model. 10(4), 441\u2013446 (2011)","journal-title":"Softw. Syst. Model."},{"issue":"1","key":"25_CR3","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/s11548-013-0919-2","volume":"9","author":"Z Daw","year":"2014","unstructured":"Daw, Z., Cleaveland, R., Vetter, M.: Formal verification of software-based medical devices considering medical guidelines. Int. J. Comput. Assist. Radiol. Surg. 9(1), 145\u2013153 (2014)","journal-title":"Int. J. Comput. Assist. Radiol. Surg."},{"key":"25_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"556","DOI":"10.1007\/978-3-642-04425-0_43","volume-title":"Model Driven Engineering Languages and Systems","author":"Z Daw","year":"2009","unstructured":"Daw, Z., Vetter, M.: Deterministic UML models for interconnected activities and state machines. In: Sch\u00fcrr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol. 5795, pp. 556\u2013570. Springer, Heidelberg (2009)"},{"key":"25_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/978-3-642-16145-2_23","volume-title":"Model Driven Engineering Languages and Systems","author":"H Gr\u00f6nniger","year":"2010","unstructured":"Gr\u00f6nniger, H., Rei\u00df, D., Rumpe, B.: Towards a semantics of activity diagrams with semantic variation points. In: Petriu, D.C., Rouquette, N., Haugen, \u00d8. (eds.) MODELS 2010, Part I. LNCS, vol. 6394, pp. 331\u2013345. Springer, Heidelberg (2010)"},{"key":"25_CR6","doi-asserted-by":"crossref","unstructured":"Gulan, S., Johr, S., Kretschmer, R., Rieger, S., Ditze, M.: Graphical modelling meets formal methods. In: IEEE Conference on Industrial Informatics (2013)","DOI":"10.1109\/INDIN.2013.6622972"},{"key":"25_CR7","unstructured":"Knieke, C., Schindler, B., Goltz, U., Rausch, A.: Defining domain specific operational semantics for activity diagrams. Technical report, TU Clausthal (2012)"},{"key":"25_CR8","unstructured":"OMG: Unified Modeling Language, Superstructure, Version 2.4.1 (2011). http:\/\/www.omg.org\/spec\/UML\/2.4.1\/Superstructure\/PDF"},{"key":"25_CR9","unstructured":"Park, D.: Concurrency and automata on infinite sequences. Technical report, Coventry, UK, UK (1981)"},{"key":"25_CR10","doi-asserted-by":"crossref","unstructured":"Staines, T.: Intuitive mapping of uml 2 activity diagrams into fundamental modeling concept petri net diagrams and colored petri nets. In: IEEE Conference on Engineering of Computer Based Systems, March 2008, pp. 191\u2013200 (2008)","DOI":"10.1109\/ECBS.2008.12"},{"issue":"4","key":"25_CR11","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/j.entcs.2004.08.046","volume":"127","author":"H St\u00f6rrle","year":"2005","unstructured":"St\u00f6rrle, H.: Semantics and verification of data flow in uml 2.0 activities. Electron. Notes Theoret. Comput. Sci. 127(4), 35\u201352 (2005)","journal-title":"Electron. Notes Theoret. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-22969-0_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,21]],"date-time":"2023-02-21T07:34:44Z","timestamp":1676964884000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-22969-0_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319229683","9783319229690"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-22969-0_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"21 August 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}