{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T06:28:20Z","timestamp":1757312900464,"version":"3.41.0"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319212142"},{"type":"electronic","value":"9783319212159"}],"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-21215-9_11","type":"book-chapter","created":{"date-parts":[[2015,7,16]],"date-time":"2015-07-16T13:36:34Z","timestamp":1437053794000},"page":"173-190","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Testing Functional Requirements in UML Activity Diagrams"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Mijatov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tanja","family":"Mayerhofer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philip","family":"Langer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerti","family":"Kappel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,7,17]]},"reference":[{"issue":"4","key":"11_CR1","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/s10009-012-0243-0","volume":"15","author":"I Abdelhalim","year":"2013","unstructured":"Abdelhalim, I., Schneider, S., Treharne, H.: An Integrated Framework for Checking the Behaviour of fUML Models using CSP. International Journal on Software Tools for Technology Transfer 15(4), 375\u2013396 (2013)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"issue":"2","key":"11_CR2","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/s10270-005-0079-0","volume":"4","author":"J B\u00e9zivin","year":"2005","unstructured":"B\u00e9zivin, J.: On the unification power of models. Software and Systems Modeling 4(2), 171\u2013188 (2005)","journal-title":"Software and Systems Modeling"},{"key":"11_CR3","unstructured":"Bill, R., Gabmeyer, S., Kaufmann, P., Seidl, M.: OCL meets CTL: Towards CTL-Extended OCL model checking. In: Proc. of 14th Int. Workshop on OCL, OCL 2013. CEUR WS, vol. 1092, pp. 13\u201322. CEUR-WS.org. (2013)"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Craciun, F., Motogna, S., Lazar, I.: Towards better testing of fUML models. In: Proc. of 6th Int. Conf. on Software Testing, Verification and Validation, ICST 2013, pp. 485\u2013486. IEEE Computer Society (2013)","DOI":"10.1109\/ICST.2013.67"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Crane, M.L., Dingel, J.: Towards a UML virtual machine: implementing an interpreter for UML 2 actions and activities. In: Proc. of 2008 Conf. of the Center for Advanced Studies on Collaborative Research, CASCON 2008, pp. 8:96\u20138:110. ACM (2008)","DOI":"10.1145\/1463788.1463799"},{"issue":"7","key":"11_CR6","doi-asserted-by":"publisher","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 Transactions on Software Engineering 30(7), 437\u2013447 (2004)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"11_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/978-3-642-21210-9_34","volume-title":"Models in Software Engineering","author":"F Heidenreich","year":"2011","unstructured":"Heidenreich, F., Johannes, J., Karol, S., Seifert, M., Thiele, M., Wende, C., Wilke, C.: Integrating OCL and textual modelling languages. In: Dingel, J., Solberg, A. (eds.) MODELS 2010. LNCS, vol. 6627, pp. 349\u2013363. Springer, Heidelberg (2011)"},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/978-3-319-07881-6_24","volume-title":"Advanced Information Systems Engineering","author":"Y Laurent","year":"2014","unstructured":"Laurent, Y., Bendraou, R., Baarir, S., Gervais, M.-P.: Formalization of fUML: an application to process verification. In: Jarke, M., Mylopoulos, J., Quix, C., Rolland, C., Manolopoulos, Y., Mouratidis, H., Horkoff, J. (eds.) CAiSE 2014. LNCS, vol. 8484, pp. 347\u2013363. Springer, Heidelberg (2014)"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Mayerhofer, T., Langer, P., Kappel, G.: A runtime model for fUML. In: Proc. of 7th Workshop on Models@run.time, MRT 2012, pp. 53\u201358. ACM (2012)","DOI":"10.1145\/2422518.2422527"},{"key":"11_CR10","unstructured":"Mellor, S.J., Balcer, M.: Executable UML: A Foundation for Model-Driven Architectures. Addison-Wesley Longman Publishing Co., Inc. (2002)"},{"key":"11_CR11","unstructured":"Micskei, Z., Konnerth, R., Horv\u00e1th, B., Semer\u00e1th, O., V\u00f6r\u00f6s, A., Varr\u00f3, D.: On open source tools for behavioral modeling and analysis with fUML and Alf. In: Proc. of 1st Workshop on Open Source Software for Model Driven Engineering, OSS4MDE 2014. CEUR WS, vol. 1290, pp. 31\u201341. CEUR-WS.org. (2014)"},{"key":"11_CR12","unstructured":"Mijatov, S., Langer, P., Mayerhofer, T., Kappel, G.: A framework for testing UML activities based on fUML. In: Proc. of 10th Int. Workshop on Model Driven Engineering, Verification and Validation, MoDeVVa 2013. CEUR WS, vol. 1069, pp. 1\u201310. CEUR-WS.org. (2013)"},{"key":"11_CR13","unstructured":"Moliz Project. http:\/\/www.modelexecution.org"},{"key":"11_CR14","unstructured":"OMG: OMG Unified Modeling Language (OMG UML), Superstructure, Version 2.4.1 (August 2011). http:\/\/www.omg.org\/spec\/UML\/2.4.1"},{"key":"11_CR15","unstructured":"OMG: OMG Object Constraint Language (OCL), Version 2.3.1 (January 2012). http:\/\/www.omg.org\/spec\/OCL\/2.3.1"},{"key":"11_CR16","unstructured":"OMG: Semantics of a Foundational Subset for Executable UML Models (fUML), Version 1.1 (August 2013). http:\/\/www.omg.org\/spec\/FUML\/1.1"},{"key":"11_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1007\/978-3-642-24606-7_37","volume-title":"Conceptual Modeling \u2013 ER 2011","author":"E Planas","year":"2011","unstructured":"Planas, E., Cabot, J., G\u00f3mez, C.: Lightweight verification of executable models. In: Jeusfeld, M., Delcambre, L., Ling, T.-W. (eds.) ER 2011. LNCS, vol. 6998, pp. 467\u2013475. Springer, Heidelberg (2011)"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"Romero, A., Schneider, K., Gon\u00e7alves Vieira Ferreira, M.: Using the base semantics given by fUML for verification. In: Proc. of 2nd Int. Conf. on Model-Driven Engineering and Software Development, MODELSWARD 2014, pp. 5\u201316. SCITEPRESS Digital Library (2014)","DOI":"10.5220\/0004662400050016"}],"container-title":["Lecture Notes in Computer Science","Tests and Proofs"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-21215-9_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,29]],"date-time":"2025-05-29T08:42:27Z","timestamp":1748508147000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-21215-9_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319212142","9783319212159"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-21215-9_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"17 July 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}