{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T13:59:46Z","timestamp":1742392786172},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2005,10,28]],"date-time":"2005-10-28T00:00:00Z","timestamp":1130457600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2005,11]]},"DOI":"10.1007\/s10270-005-0087-0","type":"journal-article","created":{"date-parts":[[2005,8,9]],"date-time":"2005-08-09T15:27:17Z","timestamp":1123601237000},"page":"355-357","source":"Crossref","is-referenced-by-count":74,"title":["STAIRS towards formal design with sequence diagrams"],"prefix":"10.1007","volume":"4","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","published-online":{"date-parts":[[2005,10,28]]},"reference":[{"key":"87_CR1","doi-asserted-by":"crossref","unstructured":"Haugen, \u00d8. and St\u00f8len, K.: STAIRS\u2014Steps to analyze interactions with refinement semantics. In: Sixth International Conference on UML (UML'2003), no. 2863 in Lecture Notes in Computer Science, pp. 388\u2013402. Springer (2003)","DOI":"10.1007\/978-3-540-45221-8_33"},{"key":"87_CR2","doi-asserted-by":"crossref","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 1, 271\u2013282 (1972)","journal-title":"Acta Informatica"},{"key":"87_CR3","doi-asserted-by":"crossref","unstructured":"Jones, C.B.: Formal development of correct algorithms: An example based on Earley's recogniser. In: ACM Conference on Proving Assertions about Programs, no. 7 in SIGPLAN Notices, pp. 150\u2013169 (1972)","DOI":"10.1145\/942578.807083"},{"key":"87_CR4","unstructured":"Milner, R.: An algebraic definition of simulation between programs. In: International Joint Conference on Artificial Intelligence, pp. 481\u2013489. Kaufmann (1971)"},{"key":"87_CR5","unstructured":"de Roever, W.-P.: The quest for compositionality: A survey of assertion-based proof systems for concurrent programs: Part 1. In Formal Models in Programming, pp. 181\u2013205. North-Holland (1985)"},{"key":"87_CR6","unstructured":"Jones, C.B.: Development Methods for Computer Programs Including a Notion of Interference. PhD thesis, Oxford University (1981)"},{"key":"87_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":"87_CR8","unstructured":"Object Management Group.: UML 2.0 Superstructure Specification, document: ptc\/04-10-02 edition (2004)"},{"key":"87_CR9","doi-asserted-by":"crossref","unstructured":"Haugen, \u00d8., M\u00f8ller-Pedersen, B., Weigert, T.: Structural modeling with UML 2.0. In: UML for Real, pp. 53\u201376. Kluwer (2003)","DOI":"10.1007\/0-306-48738-1_3"},{"key":"87_CR10","unstructured":"Jones, C.B.: Systematic Software Development Using VDM. Prentice-Hall (1986)"},{"key":"87_CR11","doi-asserted-by":"crossref","first-page":"507","DOI":"10.1145\/203095.201069","volume":"17","author":"M. Abadi","year":"1995","unstructured":"Abadi, M., Lamport, L.: Conjoining specifications. ACM Trans. Prog. Lang. Sys. 17, 507\u2013533 (1995)","journal-title":"ACM Trans. Prog. Lang. Sys."},{"key":"87_CR12","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, Berlin Heidelberg New York (2001)"},{"key":"87_CR13","doi-asserted-by":"crossref","unstructured":"Haugen, \u00d8.: Using MSC-92 effectively. In: 7th SDL Forum (SDL'95), pp. 37\u201349. North-Holland (1995)","DOI":"10.1016\/B978-0-444-82269-7.50008-3"},{"key":"87_CR14","unstructured":"International Telecommunication Union.: Recommendation Z.120\u2014Message Sequence Chart (MSC) (1993)"},{"key":"87_CR15","first-page":"Algebraic","volume":"B","author":"International","year":"1994","unstructured":"International Telecommunication Union.: Recommendation Z.120 Annex B: Algebraic Semantics of Message Sequence Charts (1994)","journal-title":"120 Annex"},{"key":"87_CR16","first-page":"Formal","volume":"B","author":"International","year":"1998","unstructured":"International Telecommunication Union.: Recommendation Z.120 Annex B: Formal Semantics of Message Sequence Charts (1998)","journal-title":"120 Annex"},{"key":"87_CR17","unstructured":"Reniers, M.A.: Message Sequence Chart: Syntax and Semantics. PhD thesis, Eindhoven University of Technology (1998)"},{"key":"87_CR18","doi-asserted-by":"crossref","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 (SDL'95), pp. 243\u2013256. North-Holland (1995)","DOI":"10.1016\/B978-0-444-82269-7.50025-3"},{"key":"87_CR19","doi-asserted-by":"crossref","unstructured":"Damm, W., Harel, D.: LSCs: Breathing life into message sequence charts. In: Formal Methods for Open Object-Based Distributed Systems (FMOODS'99), pp. 293\u2013311. Kluwer (1999)","DOI":"10.1007\/978-0-387-35562-7_23"},{"key":"87_CR20","doi-asserted-by":"crossref","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 35, 721\u2013732 (2001)","journal-title":"Computer Networks"},{"key":"87_CR21","doi-asserted-by":"crossref","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. Soft. Sys. Model. 2, 82\u2013107 (2003)","journal-title":"Soft. Sys. Model."},{"key":"87_CR22","unstructured":"Kr\u00fcuger, I.: Distributed System Design with Message Sequence Charts. PhD thesis, Technische Universit\u00e4t M\u00fcnchen (2000)"},{"key":"87_CR23","unstructured":"Jacobson, I., Booch, G., Rumbaugh, J.: The Unified Software Development Process. Addison-Wesley (1999)"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-005-0087-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-005-0087-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-005-0087-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,8]],"date-time":"2020-04-08T20:02:46Z","timestamp":1586376166000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-005-0087-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,10,28]]},"references-count":23,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2005,11]]}},"alternative-id":["87"],"URL":"https:\/\/doi.org\/10.1007\/s10270-005-0087-0","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,10,28]]}}}