{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:00:24Z","timestamp":1725559224070},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540261896"},{"type":"electronic","value":"9783540320326"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11495628_1","type":"book-chapter","created":{"date-parts":[[2010,7,13]],"date-time":"2010-07-13T12:03:05Z","timestamp":1279022585000},"page":"1-25","source":"Crossref","is-referenced-by-count":21,"title":["Why Timed Sequence Diagrams Require Three-Event Semantics"],"prefix":"10.1007","author":[{"given":"\u00d8ystein","family":"Haugen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Knut Eilif","family":"Husa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ragnhild Kobro","family":"Runde","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ketil","family":"St\u00f8len","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-0091-5","volume-title":"Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement","author":"M. Broy","year":"2001","unstructured":"Broy, M., St\u00f8len, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer, Heidelberg (2001)"},{"key":"1_CR2","first-page":"243","volume-title":"7th SDL Forum (SDL1995)","author":"P. Combes","year":"1995","unstructured":"Combes, P., Pickin, S., Renard, B., Olsen, F.: MSCs to express service requirements as properties on an SDL model: Application to service interaction detection. In: 7th SDL Forum (SDL1995), pp. 243\u2013256. North-Holland, Amsterdam (1995)"},{"key":"1_CR3","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-0-387-35562-7_23","volume-title":"Formal Methods for Open Object-Based Distributed Systems (FMOODS 1999)","author":"W. Damm","year":"1999","unstructured":"Damm, W., Harel, D.: LSCs: Breathing life into message sequence charts. In: Formal Methods for Open Object-Based Distributed Systems (FMOODS 1999), pp. 293\u2013311. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"1_CR4","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/978-0-387-35271-8_5","volume-title":"Formal Description Tecniques and Protocol Specification, Testing and Verification","author":"A. Engels","year":"1997","unstructured":"Engels, A., Mauw, S., Reniers, M.A.: A hierarchy of communication models for message sequence charts. In: Formal Description Tecniques and Protocol Specification, Testing and Verification, pp. 75\u201390. Chapman and Hall, Boca Raton (1997)"},{"key":"1_CR5","first-page":"37","volume-title":"7th SDL Forum (SDL 1995)","author":"\u00d8. Haugen","year":"1995","unstructured":"Haugen, \u00d8.: Using MSC-92 effectively. In: 7th SDL Forum (SDL 1995), pp. 37\u201349. North-Holland, Amsterdam (1995)"},{"key":"1_CR6","doi-asserted-by":"publisher","first-page":"721","DOI":"10.1016\/S1389-1286(00)00201-2","volume":"35","author":"\u00d8. Haugen","year":"2001","unstructured":"Haugen, \u00d8.: MSC-2000 interaction diagrams for the new millennium. Computer Networks\u00a035, 721\u2013732 (2001)","journal-title":"Computer Networks"},{"key":"1_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. Technical Report 309, Department of Informatics, University of Oslo (2004)","DOI":"10.1007\/11495628_1"},{"key":"1_CR8","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/s10270-002-0015-5","volume":"2","author":"D. Harel","year":"2003","unstructured":"Harel, D., Marelly, R.: Specifying and executing behavioral requirements: The play-in\/play-out approach. Software and System Modeling\u00a02, 82\u2013107 (2003)","journal-title":"Software and System Modeling"},{"key":"1_CR9","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":"1_CR10","unstructured":"International Telecommunication Union. Recommendation Z.120 \u2014 Message Sequence Chart, MSC (1993)"},{"key":"1_CR11","unstructured":"International Telecommunication Union. Recommendation Z.120 Annex B: Algebraic Semantics of Message Sequence Charts (1994)"},{"key":"1_CR12","unstructured":"International Telecommunication Union. Recommendation Z.120 Annex B: Formal Semantics of Message Sequence Charts (1998)"},{"key":"1_CR13","unstructured":"International Telecommunication Union. Recommendation Z.120 \u2014 Message Sequence Chart, MSC (1999)"},{"key":"1_CR14","volume-title":"The Unified Software Development Process","author":"I. Jacobson","year":"1999","unstructured":"Jacobson, I., Booch, G., Rumbaugh, J.: The Unified Software Development Process. Addison-Wesley, Reading (1999)"},{"key":"1_CR15","unstructured":"Kr\u00fcger, I.: Distributed System Design with Message Sequence Charts. PhD thesis, Technische Universit\u00e4t M\u00fcnchen (2000)"},{"key":"1_CR16","unstructured":"Object Management Group. Unified Modeling Language, Version 1.4 (2000)"},{"key":"1_CR17","unstructured":"Object Management Group: UML 2.0 Superstructure Specification, document: ptc\/04-10-02 edition (2004)"},{"key":"1_CR18","unstructured":"Reniers, M.A.: Message Sequence Chart: Syntax and Semantics. PhD thesis, Eindhoven University of Technology (1998)"}],"container-title":["Lecture Notes in Computer Science","Scenarios: Models, Transformations and Tools"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11495628_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:59:52Z","timestamp":1605643192000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11495628_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540261896","9783540320326"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/11495628_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}