{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,13]],"date-time":"2025-02-13T05:21:18Z","timestamp":1739424078971,"version":"3.37.0"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642044243"},{"type":"electronic","value":"9783642044250"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-04425-0_43","type":"book-chapter","created":{"date-parts":[[2009,9,30]],"date-time":"2009-09-30T09:52:04Z","timestamp":1254304324000},"page":"556-570","source":"Crossref","is-referenced-by-count":4,"title":["Deterministic UML Models for Interconnected Activities and State Machines"],"prefix":"10.1007","author":[{"given":"Zamira","family":"Daw","sequence":"first","affiliation":[]},{"given":"Marcus","family":"Vetter","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"43_CR1","unstructured":"Object Management Group: UML Unified Modeling Language, Superstructure, V2.1.2"},{"key":"43_CR2","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1109\/ISORC.2006.37","volume-title":"Proceedings of the Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing","author":"A. Gherbi","year":"2006","unstructured":"Gherbi, A., Khendek, F.: From UML\/SPT models to schedulability analysis: a metamodel-based transformation. In: Proceedings of the Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, pp. 343\u2013350. IEEE Computer Society, Los Alamitos (2006)"},{"key":"43_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1007\/978-3-540-87875-9_34","volume-title":"Model Driven Engineering Languages and Systems","author":"M. Shousha","year":"2008","unstructured":"Shousha, M., Briand, L., Labiche, Y.: A UML\/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 475\u2013489. Springer, Heidelberg (2008)"},{"key":"43_CR4","doi-asserted-by":"crossref","unstructured":"Apvrille, L., Courtiat, J.-P., Lohr, C., Saqui-Sannes, P.: TURTLE: A Real-time UML Profile Supported by a Formal Validation toolkit. IEEE Transactions on Software Engineering,, 473\u2013487 (2004)","DOI":"10.1109\/TSE.2004.34"},{"key":"43_CR5","first-page":"449","volume-title":"Software and Systems Modeling (SoSyM)","author":"L. Apvrille","year":"2006","unstructured":"Apvrille, L., Saqui-Sannes, P., Khendek, F.: TURTLE-P: A UML Profile for the Formal Validation of Critical and Distributed Systems. In: Software and Systems Modeling (SoSyM), pp. 449\u2013466. Springer, Heidelberg (2006)"},{"key":"43_CR6","unstructured":"Object Management Group: UML Profile for MARTE (2007)"},{"key":"43_CR7","unstructured":"St\u00f6rrle, H., Hausmann, J.-H.: Towards a Formal Semantics of UML 2.0 Activities. In: Proceedings German Software Engineering Conference. LNI, vol.\u00a0P-64, pp. 117\u2013128 (2005)"},{"key":"43_CR8","doi-asserted-by":"crossref","unstructured":"Schattkowsky, T., Forster, A.: On the Pitfalls of UML 2 Activity Modeling. In: Proc. International Workshop on Modeling in Software Engineering MISE 2007: ICSE Workshop 2007 (2007)","DOI":"10.1109\/MISE.2007.12"},{"key":"43_CR9","unstructured":"Object Management Group: Semantics of Foundational Subset for Executable UML Models. ptc\/2008-11-03"},{"key":"43_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1007\/978-3-540-87875-9_47","volume-title":"Model Driven Engineering Languages and Systems","author":"M. Crane","year":"2008","unstructured":"Crane, M., Dingel, J.: Towards a Formal Account of a Foundational Subset for Executable UML Models. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 675\u2013689. Springer, Heidelberg (2008)"},{"key":"43_CR11","doi-asserted-by":"crossref","unstructured":"Nam, H.-L., Tai, H.-K., Sung, D.-C.: Construction of Global Finite State Machine for Testing Task Interactions written in Message Sequence Charts. In: The Fourteenth International Conference on Software Engineering and Knowledge Engineering (SEKE 2002), pp. 369\u2013376 (2002)","DOI":"10.1145\/568760.568825"},{"key":"43_CR12","series-title":"Electronic Notes in Theoretical Computer Science","first-page":"357","volume-title":"Model Checking UML State Machines and Collaborations","author":"T. Sch\u00e4fer","year":"2001","unstructured":"Sch\u00e4fer, T., Knapp, A., Merz, S.: Model Checking UML State Machines and Collaborations. Electronic Notes in Theoretical Computer Science, pp. 357\u2013369. Elsevier, Amsterdam (2001)"},{"key":"43_CR13","unstructured":"Wiktor, B.-D.: Real Time Model Checking Using Timed Concurrent State Machines. International Journal of Computer Science & Applications, 1\u201312 (2007)"},{"key":"43_CR14","doi-asserted-by":"crossref","unstructured":"Gang, L., von Bochmann, G., Petrenko, A.: Test selection based on communicating nondeterministic finite-state machines using a generalized Wp-method. IEEE Transactions on Software Engineering, 149\u2013162 (1994)","DOI":"10.1109\/32.265636"}],"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-642-04425-0_43","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,12]],"date-time":"2025-02-12T12:49:03Z","timestamp":1739364543000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04425-0_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642044243","9783642044250"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04425-0_43","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}