{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:54:57Z","timestamp":1725558897758},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540202431"},{"type":"electronic","value":"9783540452218"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45221-8_33","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T17:11:39Z","timestamp":1277831499000},"page":"388-402","source":"Crossref","is-referenced-by-count":22,"title":["STAIRS \u2013 Steps To Analyze Interactions with Refinement Semantics"],"prefix":"10.1007","author":[{"given":"\u00d8ystein","family":"Haugen","sequence":"first","affiliation":[]},{"given":"Ketil","family":"St\u00f8len","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"33_CR1","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1145\/203095.201069","volume":"17","author":"M. Abadi","year":"1995","unstructured":"Abadi, M., Lamport, L.: Conjoining specifications. ACM Transactions on Programming Languages and Systems\u00a017, 507\u2013533 (1995)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"33_CR2","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":"33_CR3","first-page":"243","volume-title":"Proc. 7th SDL Forum (SDL 1995)","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: Proc. 7th SDL Forum (SDL 1995), pp. 243\u2013256. North-Holland, Amsterdam (1995)"},{"key":"33_CR4","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-0-387-35562-7_23","volume-title":"Proc. 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: Proc. Formal Methods for Open Object-Based Distributed Systems (FMOODS 1999), pp. 293\u2013311. Kluwer, Dordrecht (1999)"},{"key":"33_CR5","doi-asserted-by":"crossref","unstructured":"Harel, D., Marelly, R.: Specifying and executing behavioral requirements: the play in\/playout approach. To appear in Software and System Modeling (2003)","DOI":"10.1145\/985072.985115"},{"key":"33_CR6","first-page":"37","volume-title":"Proc. 7th SDL Forum (SDL 1995)","author":"\u00d8. Haugen","year":"1995","unstructured":"Haugen, \u00d8.: Using MSC-92 effectively. In: Proc. 7th SDL Forum (SDL 1995), pp. 37\u201349. North-Holland, Amsterdam (1995)"},{"key":"33_CR7","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":"33_CR8","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, Dordrecht (2003)"},{"key":"33_CR9","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/BF00289507","volume":"1","author":"C.A.R. Hoare","year":"1972","unstructured":"Hoare, C.A.R.: Proof of correctness of data representations. Acta Informatica\u00a01, 271\u2013282 (1972)","journal-title":"Acta Informatica"},{"key":"33_CR10","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":"33_CR11","volume-title":"Systematic software development using VDM","author":"C.B. Jones","year":"1986","unstructured":"Jones, C.B.: Systematic software development using VDM. Prentice-Hall, Englewood Cliffs (1986)"},{"key":"33_CR12","first-page":"481","volume-title":"Proc. International Joint Conference on Artificial Intelligence","author":"R. Milner","year":"1971","unstructured":"Milner, R.: An algebraic definition of simulation between programs. In: Proc. International Joint Conference on Artificial Intelligence, pp. 481\u2013489. Kaufmann, San Francisco (1971)"},{"key":"33_CR13","unstructured":"OMG, Unified Modeling Language: Superstructure. OMG ad\/03-04-01 (2003)"},{"key":"33_CR14","unstructured":"Reniers, M.A.: Message Sequence Chart: Syntax and Semantics. PhD thesis, Departement of Computer Science, Eindhoven University of Technology (1998)"},{"key":"33_CR15","unstructured":"Z.120, Message Sequence Charts (MSC). Rudolph, E. (ed.) ITU (1993)"},{"key":"33_CR16","unstructured":"Z. 120 Annex B, Algebraic Semantics of Message Sequence Charts. Mauw, S. (ed.) ITU (1994)"},{"key":"33_CR17","unstructured":"Z. 120 Annex B, Formal Semantics of Message Sequence Charts. Mauw, S. et al. (eds.) ITU (1998)"}],"container-title":["Lecture Notes in Computer Science","\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45221-8_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T11:06:54Z","timestamp":1559214414000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45221-8_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540202431","9783540452218"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45221-8_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}