{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,11]],"date-time":"2026-11-11T05:33:46Z","timestamp":1794375226543,"version":"4.9.0"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540245612","type":"print"},{"value":"9783540318101","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31810-1_5","type":"book-chapter","created":{"date-parts":[[2010,3,1]],"date-time":"2010-03-01T10:43:49Z","timestamp":1267440229000},"page":"65-79","source":"Crossref","is-referenced-by-count":17,"title":["Comparing UML 2.0 Interactions and MSC-2000"],"prefix":"10.1007","author":[{"given":"\u00d8ystein","family":"Haugen","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Baeten, J.C.M., Mauw, S.: Delayed choice: an operator for joining Message Sequence Charts. In: FORTE 1994, Bern, Switzerland (1994)","DOI":"10.1007\/978-0-387-34878-0_27"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Damm, W., Harel, D.: LSCs: Breathing Life into Message Sequence Charts. In: Third International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS (1999)","DOI":"10.1007\/978-0-387-35562-7_23"},{"key":"5_CR3","volume-title":"Seventh SDL Forum","author":"\u00d8. Haugen","year":"1995","unstructured":"Haugen, \u00d8.: Using MSC-92 Effectively in SDL 1995 with MSC in CASE. In: Seventh SDL Forum. North-Holland\/Elsevier, Amsterdam (1995)"},{"key":"5_CR4","unstructured":"Haugen, \u00d8.: Converging MSC and UML Sequence Diagrams. Beyond the Standard UML 1999 \u2013 The Unified Modeling Language. Fort Collins, USA (1999)"},{"key":"5_CR5","volume-title":"UML for Real","author":"\u00d8. Haugen","year":"2003","unstructured":"Haugen, \u00d8., M\u00f8ller-Pedersen, B., Weigert, T.: Structural Modeling with UML 2.0. In: Lavagno, L., Martin, G., Selic, B. (eds.) UML for Real. Kluwer Academic Publishers, Dordrecht (2003)"},{"key":"5_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 - 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":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/3-540-48213-X_3","volume-title":"SDL 2001: Meeting UML","author":"\u00d8. Haugen","year":"2001","unstructured":"Haugen, \u00d8.: From MSC-2000 to UML 2.0 - The Future of Sequence Diagrams. In: Reed, R., Reed, J. (eds.) SDL 2001. LNCS, vol.\u00a02078, pp. 38\u201351. Springer, Heidelberg (2001)"},{"key":"5_CR8","unstructured":"ITU-T: Z.100 Addendum 1 (10\/96). Corrections to Recommendation Z.100, CCITT Specification and Description Language (SDL), International Telecommunication Union, Geneva (1996)"},{"key":"5_CR9","unstructured":"ITU-T: Recommendation Z.120 (03\/93), Message Sequence Charts (MSC). In: Rudolph, E. (ed.) International Telecommunication Union, Geneva, 36 pages (1993)"},{"key":"5_CR10","unstructured":"ITU-T: Recommendation Z.120 (10\/96), Message Sequence Charts (MSC). In: Rudolph, E. (ed.) International Telecommunication Union, Geneva, 78 pages (1996)"},{"key":"5_CR11","unstructured":"ITU-T: Recommendation Z.120 (11\/99), Message Sequence Charts (MSC). In: Haugen, \u00d8. (ed.) International Telecommunication Union, Geneva, 126 pages (1999)"},{"key":"5_CR12","unstructured":"ITU-T: Recommendation Z.120 (04\/04), Message Sequence Charts (MSC). In: Jervis, C. (ed.) International Telecommunication Union, Geneva (2004)"},{"key":"5_CR13","unstructured":"ITU-T: Recommendation Z.120 Annex B (04\/98), Formal semantics of message sequence charts. In: Mauw, S., et al. (eds.) International Telecommunication Union, Geneva, 76 pages (1998)"},{"key":"5_CR14","unstructured":"ITU-T: Recommendation Z.121 (02\/03), Specification and Description Language (SDL) data binding to Message Sequence Charts (MSC). International Telecommunication Union, Geneva (2003)"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Mauw, S.: The formalization of Message Sequence Charts. Computer Networks & ISDN, 1643\u20131659 (June 1996)","DOI":"10.1016\/0169-7552(95)00123-9"},{"key":"5_CR16","unstructured":"Mauw, S., van der Meulen, E.A.: Generating tools for Message Sequence Charts. In: Philips, E.U.o.T. (ed.) Technical Report TD60, ITU-TS SG10 Interims Meeting, Geneva, Switzerland (1994)"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Mauw, S., Reniers, M.A.: An algebraic semantics of Basic Message Sequence Charts. The Computer Journal\u00a037(4) (1994)","DOI":"10.1093\/comjnl\/37.4.269"},{"key":"5_CR18","unstructured":"Mauw, S., Reniers, M.A.: Operational Semantics for MSC 1996. In: Cavalli, A., Vincent, D. (eds.) Tutorials of the Eighth SDL Forum (SDL 1997), pp. 135\u2013152 (1997)"},{"key":"5_CR19","unstructured":"OMG: UML Testing Profile. Schieferdecker, I. (ed.). Object Management Group (2003)"},{"key":"5_CR20","unstructured":"OMG: Unified Modeling Language 1.4. Object Management Group (2000)"},{"key":"5_CR21","unstructured":"OMG: Unified Modeling Language: Superstructure 2.0. Object Management Group (2003)"},{"key":"5_CR22","volume-title":"Real-Time Object-Oriented Modeling","author":"B. Selic","year":"1994","unstructured":"Selic, B., Gullekson, G., Ward, P.T.: Real-Time Object-Oriented Modeling. Wiley, Chichester (1994)"}],"container-title":["Lecture Notes in Computer Science","System Analysis and Modeling"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31810-1_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T23:27:21Z","timestamp":1605742041000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31810-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540245612","9783540318101"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31810-1_5","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/b105884","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}