{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T13:27:56Z","timestamp":1726406876900},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540367499"},{"type":"electronic","value":"9783540367505"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11804192_5","type":"book-chapter","created":{"date-parts":[[2006,9,29]],"date-time":"2006-09-29T04:20:46Z","timestamp":1159503646000},"page":"88-114","source":"Crossref","is-referenced-by-count":8,"title":["The Pragmatics of STAIRS"],"prefix":"10.1007","author":[{"given":"Ragnhild Kobro","family":"Runde","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u00d8ystein","family":"Haugen","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":"5_CR1","unstructured":"Cengarle, M.V., Knapp, A.: UML 2.0 interactions: Semantics and refinement. In: Proc.\u00a03rd Int.\u00a0Wsh.\u00a0Critical Systems Development with UML (CSDUML 2004), Technical report TUM-I0415, pp. 85\u201399. Institut f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen (2004)"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Damm, W., Harel, D.: LSC\u2019s: Breathing life into message sequence charts. In: Proc.\u00a03rd IFIP Int.\u00a0Conf.\u00a0on Formal Methods for Open Object-Based Distributed Systems (FMOODS 1999) (1999)","DOI":"10.1007\/978-0-387-35562-7_23"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Grosu, R., Smolka, S.A.: Safety-liveness semantics for UML sequence diagrams. In: Proc.\u00a05th Int.\u00a0Conf.\u00a0on Applications of Concurrency to System Design (ACSD 2005), pp. 6\u201314 (2005)","DOI":"10.1109\/ACSD.2005.31"},{"issue":"4","key":"5_CR4","first-page":"349","volume":"22","author":"\u00d8.. Haugen","year":"2005","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\u00a022(4), 349\u2013458 (2005)","journal-title":"Journal of Software and Systems Modeling"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11495628_1","volume-title":"Scenarios: Models, Transformations and Tools","author":"\u00d8. Haugen","year":"2005","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: Models, Transformations and Tools. LNCS, vol.\u00a03466, pp. 1\u201325. Springer, Heidelberg (2005)"},{"key":"5_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-19029-2","volume-title":"Come, Let\u2019s Play.: Scenario-Based Programming Using LSC\u2019s and the Play-Engine","author":"D. Harel","year":"2003","unstructured":"Harel, D., Marelly, R.: Come, Let\u2019s Play.: Scenario-Based Programming Using LSC\u2019s and the Play-Engine. Springer, Heidelberg (2003)"},{"key":"5_CR7","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":"UML 2003 - The Unified Modeling Language. Modeling Languages and Applications","author":"\u00d8. Haugen","year":"2003","unstructured":"Haugen, \u00d8., St\u00f8len, K.: STAIRS \u2014 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_CR8","unstructured":"International Telecommunication Union. Recommendation Z.120 \u2014 Message Sequence Chart (MSC) (1999)"},{"key":"5_CR9","unstructured":"Kr\u00fcger, I.H.: Distributed System Design with Message Sequence Charts. PhD thesis, Technische Universit\u00e4t M\u00fcnchen (2000)"},{"key":"5_CR10","volume-title":"The Rational Unified Process","author":"P. Kruchten","year":"2004","unstructured":"Kruchten, P.: The Rational Unified Process, 3rd edn. Addison-Wesley, Reading (2004)","edition":"3"},{"key":"5_CR11","unstructured":"Object Management Group. UML Superstructure Specification, v.\u00a02.0, document: formal\/05-07-04 edition (2005)"},{"key":"5_CR12","unstructured":"Runde, R.K., Haugen, \u00d8., St\u00f8len, K.: How to transform UML neg into a useful construct. In: Norsk Informatikkonferanse NIK 2005, pp. 55\u201366, Tapir (2005)"},{"issue":"2","key":"5_CR13","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":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/11768869_12","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"A. Refsdal","year":"2006","unstructured":"Refsdal, A., Runde, R.K., St\u00f8len, K.: Underspecification, inherent nondeterminism and probability in sequence diagrams. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol.\u00a04037, pp. 138\u2013155. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Components and Objects"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11804192_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,11]],"date-time":"2019-03-11T08:52:09Z","timestamp":1552294329000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11804192_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540367499","9783540367505"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/11804192_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}