{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,25]],"date-time":"2025-11-25T06:46:43Z","timestamp":1764053203626},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540245612"},{"type":"electronic","value":"9783540318101"}],"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-01T15:43:49Z","timestamp":1267458229000},"page":"65-79","source":"Crossref","is-referenced-by-count":15,"title":["Comparing UML 2.0 Interactions and MSC-2000"],"prefix":"10.1007","author":[{"given":"\u00d8ystein","family":"Haugen","sequence":"first","affiliation":[]}],"member":"297","reference":[{"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)","key":"5_CR1","DOI":"10.1007\/978-0-387-34878-0_27"},{"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)","key":"5_CR2","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)"},{"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_CR4"},{"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)"},{"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_CR8"},{"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_CR9"},{"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_CR10"},{"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_CR11"},{"unstructured":"ITU-T: Recommendation Z.120 (04\/04), Message Sequence Charts (MSC). In: Jervis, C. (ed.) International Telecommunication Union, Geneva (2004)","key":"5_CR12"},{"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_CR13"},{"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_CR14"},{"doi-asserted-by":"crossref","unstructured":"Mauw, S.: The formalization of Message Sequence Charts. Computer Networks & ISDN, 1643\u20131659 (June 1996)","key":"5_CR15","DOI":"10.1016\/0169-7552(95)00123-9"},{"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_CR16"},{"doi-asserted-by":"crossref","unstructured":"Mauw, S., Reniers, M.A.: An algebraic semantics of Basic Message Sequence Charts. The Computer Journal\u00a037(4) (1994)","key":"5_CR17","DOI":"10.1093\/comjnl\/37.4.269"},{"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_CR18"},{"unstructured":"OMG: UML Testing Profile. Schieferdecker, I. (ed.). Object Management Group (2003)","key":"5_CR19"},{"unstructured":"OMG: Unified Modeling Language 1.4. Object Management Group (2000)","key":"5_CR20"},{"unstructured":"OMG: Unified Modeling Language: Superstructure 2.0. Object Management Group (2003)","key":"5_CR21"},{"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,19]],"date-time":"2020-11-19T04:27:21Z","timestamp":1605760041000},"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":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}