{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,25]],"date-time":"2025-06-25T16:40:02Z","timestamp":1750869602052,"version":"3.41.0"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319672281"},{"type":"electronic","value":"9783319672298"}],"license":[{"start":{"date-parts":[[2017,9,7]],"date-time":"2017-09-07T00:00:00Z","timestamp":1504742400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-67229-8_23","type":"book-chapter","created":{"date-parts":[[2017,9,6]],"date-time":"2017-09-06T01:53:54Z","timestamp":1504662834000},"page":"252-262","source":"Crossref","is-referenced-by-count":0,"title":["An Approach to Semantics for UML Activities"],"prefix":"10.1007","author":[{"given":"Dariusz","family":"Gall","sequence":"first","affiliation":[]},{"given":"Anita","family":"Walkowiak","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,9,7]]},"reference":[{"issue":"1","key":"23_CR1","doi-asserted-by":"crossref","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":"23_CR2","doi-asserted-by":"crossref","unstructured":"Daw, Z., Cleaveland, R.: An extensible operational semantics for UML activity diagrams. In: Calinescu, R., Rumpe, B. (eds.) SEFM 2015. LNCS, vol. 9276, pp. 360\u2013380. Springer, Cham (2015)","DOI":"10.1007\/978-3-319-22969-0_25"},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"Daw, Z., Cleaveland, R.: Comparing model checkers for timed UML activity diagrams. In: Science of Computer Programming, pp. 277\u2013299 (2015)","DOI":"10.1016\/j.scico.2015.05.008"},{"key":"23_CR4","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1109\/TSE.2004.33","volume":"30","author":"R Eshuis","year":"2004","unstructured":"Eshuis, R., Wieringa, R.: Tool support for verifying UML activity diagrams. IEEE Trans. Softw. Eng. 30, 437\u2013447 (2004)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"23_CR5","doi-asserted-by":"crossref","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)","DOI":"10.1007\/978-3-642-16145-2_23"},{"issue":"7","key":"23_CR6","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1145\/360248.360251","volume":"19","author":"RM Keller","year":"1976","unstructured":"Keller, R.M.: Formal verification of parallel programs. Commun. ACM 19(7), 371\u2013384 (1976)","journal-title":"Commun. ACM"},{"key":"23_CR7","unstructured":"OMG Object Constraint Language 2.4. http:\/\/www.omg.org\/spec\/OCL\/2.4\/ . Accessed 03 Feb 2014"},{"key":"23_CR8","unstructured":"OMG Unified Modeling Language 2.5. http:\/\/www.omg.org\/spec\/UML\/2.5\/ . Accessed 1 Mar 2015"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"Reggio, G., Leotta, M., Ricca, F.: Who knows\/uses what of the UML: a personal opinion survey, model-driven engineering languages and systems. In: 17th International Conference, MODELS 2014, Valencia, Spain, pp. 149\u2013165. Springer (2014)","DOI":"10.1007\/978-3-319-11653-2_10"},{"key":"23_CR10","unstructured":"Reggio, G., Leotta, M., Ricca, F., Clerissi D.: What are the used activity diagram constructs? \u2013 A survey. In: 2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD), IEEE (2014)"},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"Roubtsova, E.: Advances in behavior modeling. In: Advances in Computers, pp. 49\u2013109. Academic Press, Orlando (2015)","DOI":"10.1016\/bs.adcom.2014.10.003"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"St\u00f6rrle, H.: Semantics of control-flow in UML 2.0 activities. In: Bottoni, P., Hundhausen, C., Levialdi, S., Tortora, G. (eds.) Proceedings of the IEEE Symposium on Visual Languages and Human- Centric Computing (VL\/HCC), pp. 235\u2013242 (2004)","DOI":"10.1109\/VLHCC.2004.46"},{"key":"23_CR13","unstructured":"St\u00f6rrle, H.: Semantics of UML 2.0 acitivities. In: International Symposium on Visual Languages\/Human Computer Centered Systems, pp. 235\u2013242 (2004)"},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"St\u00f6rrle, H.: Towards a petri-net semantics of data flow in UML 2.0 activities. Technical report TR 0504, University of Munich (2004)","DOI":"10.1016\/j.entcs.2004.08.046"},{"key":"23_CR15","doi-asserted-by":"crossref","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 Theor. Comput. Sci. 127, 35\u201352 (2005)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"23_CR16","unstructured":"St\u00f6rrle, H., Hausmann, J.H.: Towards a formal semantics of UML 2.0 activities. In: Liggesmeyer, P., Pohl, K., Goedicke, M. (eds.) Software Engineering, Fachtagungdes GI-Fachbereichs Softwaretechnik. LNI, vol. 64, pp. 117\u2013128. GI (2005)"},{"key":"23_CR17","unstructured":"Walkowiak, A., Gall, D.: An approach to semantics for UML activities \u2013 appendix. https:\/\/www.dropbox.com\/s\/11jrz5zo6lk5vxr\/OCL_Appendix.pdf?dl=0 . Accessed 31 May 2017"}],"container-title":["Advances in Intelligent Systems and Computing","Information Systems Architecture and Technology: Proceedings of 38th International Conference on Information Systems Architecture and Technology \u2013 ISAT 2017"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-67229-8_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,25]],"date-time":"2025-06-25T15:59:15Z","timestamp":1750867155000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-67229-8_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9,7]]},"ISBN":["9783319672281","9783319672298"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-67229-8_23","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2017,9,7]]}}}