{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:50:39Z","timestamp":1725749439494},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642415326"},{"type":"electronic","value":"9783642415333"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41533-3_25","type":"book-chapter","created":{"date-parts":[[2013,9,19]],"date-time":"2013-09-19T11:40:59Z","timestamp":1379590859000},"page":"405-421","source":"Crossref","is-referenced-by-count":5,"title":["Evolution of the UML Interactions Metamodel"],"prefix":"10.1007","author":[{"given":"Marc-Florian","family":"Wendland","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Schneider","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u00d8ystein","family":"Haugen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","unstructured":"OMG UML: OMGT Unified Modeling Language (OMG UML), Superstructure, Version 2.4.1, #formal\/2011-08-06 (2011), \n                    \n                      http:\/\/www.omg.org\/spec\/UML\/2.4.1\/"},{"key":"25_CR2","unstructured":"Grabowski, J., Rudolph, E.: Message Sequence Chart (MSC) - A Survey of the new CCITT Language for the Description of Traces within Communication Systems. CCITT SDL Newsletter\u00a0(16), 30\u201348 (1993)"},{"key":"25_CR3","unstructured":"OMG UTP: OMG UML Testing Profile (UTP), Version 1.2, #ptc\/2012-09-13 (2012), \n                    \n                      http:\/\/www.omg.org\/spec\/UTP"},{"key":"25_CR4","unstructured":"Baker, P., Dai, Z.R., Grabowski, J., Haugen, \u00d8., Schieferdecker, I., Williams, C.: Model-driven testing \u2013 using the UML testing profile. Springer (2007)"},{"key":"25_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/978-3-540-31810-1_5","volume-title":"System Analysis and Modeling","author":"\u00d8. Haugen","year":"2005","unstructured":"Haugen, \u00d8.: Comparing UML 2.0 interactions and MSC-2000. In: Amyot, D., Williams, A.W. (eds.) SAM 2004. LNCS, vol.\u00a03319, pp. 65\u201379. Springer, Heidelberg (2005)"},{"key":"25_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"388","DOI":"10.1007\/978-3-540-45221-8_33","volume-title":"\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications","author":"\u00d8. Haugen","year":"2003","unstructured":"Haugen, \u00d8., St\u00f8len, K.: STAIRS \u2013 steps to analyze interactions with refinement semantics. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol.\u00a02863, pp. 388\u2013402. Springer, Heidelberg (2003)"},{"key":"25_CR7","doi-asserted-by":"crossref","unstructured":"Haugen, \u00d8., Husa, K.E., Runde, R.K., St\u00f8len, K.: Why timed sequence diagrams require three-event semantics. In: Leue, S., Syst\u00e4, T.J. (eds.) Scenarios. LNCS, vol.\u00a03466, pp. 1\u201325. Springer, Heidelberg (2005)","DOI":"10.1007\/11495628_1"},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"Haugen, \u00d8., Husa, K.E., Runde, R.K., St\u00f8len, K.: STAIRS towards formal design with sequence diagrams. Journal of Software and Systems Modeling, 349\u2013458 (2005)","DOI":"10.1007\/s10270-005-0087-0"},{"issue":"2","key":"25_CR9","first-page":"157","volume":"12","author":"R.K. Runde","year":"2005","unstructured":"Runde, R.K., Haugen, \u00d8., St\u00f8len, K.: Refining UML interactions with underspecification and nondeterminism. Nordic Journal of Computing\u00a012(2), 157\u2013188 (2005)","journal-title":"Nordic Journal of Computing"},{"key":"25_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"380","DOI":"10.1007\/11813040_26","volume-title":"FM 2006: Formal Methods","author":"M.S. Lund","year":"2006","unstructured":"Lund, M.S., St\u00f8len, K.: A fully general operational semantics for UML\u00a02.0 sequence diagrams with potential and mandatory choice. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol.\u00a04085, pp. 380\u2013395. Springer, Heidelberg (2006)"},{"key":"25_CR11","unstructured":"St\u00f6rrle, H.: Semantics of interactions in UML 2.0. In: Proceedings of IEEE Symposium on Human Centric Computing Languages and Environments (2003)"},{"key":"25_CR12","unstructured":"St\u00f6rrle, H.: Trace Semantics of UML 2.0 Interactions. Technical report, University of Munich (2004)"},{"key":"25_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1007\/3-540-46852-8_9","volume-title":"\u00abUML\u00bb \u201999 - The Unified Modeling Language. Beyond the Standard","author":"A. Knapp","year":"1999","unstructured":"Knapp, A.: A Formal Semantics for UML Interactions. In: France, R.B. (ed.) UML 1999. LNCS, vol.\u00a01723, pp. 116\u2013130. Springer, Heidelberg (1999)"},{"key":"25_CR14","unstructured":"Cengarle, M., Knapp, A.: UML 2.0 Interactions: Semantics and Refinement. In: J\u00fcrjens, J., Fern\u00e0ndez, E.B., France, R., Rumpe, B. (eds.) 3rd Int. Workshop on Critical Systems Development with UML (CSDUML 2004), pp. 85\u201399 (2004)"},{"key":"25_CR15","doi-asserted-by":"crossref","unstructured":"Li, M., Ruan, Y.: Approach to Formalizing UML Sequence Diagrams. In: Proc. 3rd International Workshop on Intelligent Systems and Applications (ISA), pp. 28\u201329 (2011)","DOI":"10.1109\/ISA.2011.5873348"},{"key":"25_CR16","doi-asserted-by":"crossref","unstructured":"Shen, H., Virani, A., Niu, J.: Formalize UML 2 Sequence Diagrams. In: Proc. 11th IEEE High Assurance Systems Engineering Symposium (HASE), pp. 437\u2013440 (2008)","DOI":"10.1109\/HASE.2008.51"},{"key":"25_CR17","unstructured":"St\u00f6rrle, H.: Assert, Negate and Refinement in UML-22 Interactions. In: J\u00fcrjens, J., Rumpe, B., France, R., Fernandez, E.B. (eds.) Proc. Wsh. Critical Systems Development with UML (CSDUML 2003), San Francisco (2003)"},{"key":"25_CR18","doi-asserted-by":"crossref","unstructured":"Harel, D., Maoz, S.: Assert and negate revisited: modal semantics for UML sequence diagrams. In: Proc. International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM 2006) (2006)","DOI":"10.1145\/1138953.1138958"},{"key":"25_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/978-3-540-69489-2_6","volume-title":"Models in Software Engineering","author":"A. Knapp","year":"2007","unstructured":"Knapp, A., Wuttke, J.: Model Checking of UML 2.0 Interactions. In: K\u00fchne, T. (ed.) MoDELS 2006. LNCS, vol.\u00a04364, pp. 42\u201351. Springer, Heidelberg (2007)"},{"key":"25_CR20","doi-asserted-by":"crossref","unstructured":"Wendland, M.-F., Hoffmann, A., Schieferdecker, I.: Fokus!MBT \u2013 A Multi-Paradigmatic Test Modeling Environment. To appear in Proceedings of: Academics Tooling with Eclipse Workshop (ACME), In Conjunction with the Joint Conferences ECMFA\/ECSA\/ECOOP, Montpellier, France (2013) ISBN 978-1-4503-2036-8","DOI":"10.1145\/2491279.2491282"}],"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-41533-3_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T08:01:23Z","timestamp":1558080083000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41533-3_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642415326","9783642415333"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41533-3_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}