{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T04:20:24Z","timestamp":1743135624061,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540348931"},{"type":"electronic","value":"9783540348955"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11768869_12","type":"book-chapter","created":{"date-parts":[[2006,5,25]],"date-time":"2006-05-25T09:32:10Z","timestamp":1148549530000},"page":"138-155","source":"Crossref","is-referenced-by-count":8,"title":["Underspecification, Inherent Nondeterminism and Probability in Sequence Diagrams"],"prefix":"10.1007","author":[{"given":"Atle","family":"Refsdal","sequence":"first","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":[{"issue":"1","key":"12_CR1","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1023\/A:1011227529550","volume":"19","author":"W. Damm","year":"2001","unstructured":"Damm, W., Harel, D.: LSCs: Breathing life into message sequence charts. Formal Methods in System Design\u00a019(1), 45\u201380 (2001)","journal-title":"Formal Methods in System Design"},{"key":"12_CR2","volume-title":"A Discipline of Programming","author":"E.W. Dijkstra","year":"1976","unstructured":"Dijkstra, E.W.: A Discipline of Programming. Prentice-Hall, Englewood Cliffs (1976)"},{"key":"12_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/978-3-540-27764-4_10","volume-title":"Mathematics of Program Construction","author":"E.C.R. Hehner","year":"2004","unstructured":"Hehner, E.C.R.: Probabilistic predicative programming. In: Kozen, D., Shankland, C. (eds.) MPC 2004. LNCS, vol.\u00a03125, pp. 169\u2013185. Springer, Heidelberg (2004)"},{"key":"12_CR4","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 (2005)","DOI":"10.1007\/11495628_1"},{"issue":"4","key":"12_CR5","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/s10270-005-0087-0","volume":"4","author":"\u00d8. Haugen","year":"2005","unstructured":"Haugen, \u00d8., Husa, K.E., Runde, R.K., St\u00f8len, K.: STAIRS towards formal design with sequence diagrams. Software and System Modeling\u00a04(4), 349\u2013458 (2005)","journal-title":"Software and System Modeling"},{"key":"12_CR6","doi-asserted-by":"publisher","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":"12_CR7","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"12_CR8","unstructured":"International Standards Organization. Information Processing Systems \u2013 Open Systems Interconnection - Lotos \u2013 a Formal Description Technique Based on the Temporal Ordering of Observational Behaviour \u2013 ISO 8807 (1989)"},{"key":"12_CR9","unstructured":"International Telecommunication Union. Recommendation Z.120 \u2014 Message Sequence Chart (MSC) (1999)"},{"key":"12_CR10","first-page":"14","volume":"22","author":"C. Morgan","year":"1999","unstructured":"Morgan, C., McIver, A.: pGCL: Formal reasoning for random algorithms. South African Computer Journal\u00a022, 14\u201327 (1999)","journal-title":"South African Computer Journal"},{"key":"12_CR11","unstructured":"Object Management Group. UML 2.0 Superstructure Specification, ptc\/04-10-02 edition (2004)"},{"key":"12_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/11603009_4","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"A. Refsdal","year":"2005","unstructured":"Refsdal, A., Husa, K.E., St\u00f8len, K.: Specification and refinement of soft real-time requirements using sequence diagrams. In: Pettersson, P., Yi, W. (eds.) FORMATS 2005. LNCS, vol.\u00a03829, pp. 32\u201348. Springer, Heidelberg (2005)"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Refsdal, A., Husa, K.E., St\u00f8len, K.: Specification and refinement of soft real-time requirements using sequence diagrams. Technical Report 323, Department of Informatics, University of Oslo (2005)","DOI":"10.1007\/11603009_4"},{"issue":"2","key":"12_CR14","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":"12_CR15","first-page":"114","volume-title":"Proc.\u00a0IEEE Symposium on Security and Privacy","author":"A.W. Roscoe","year":"1995","unstructured":"Roscoe, A.W.: CSP and determinism in security modelling. In: Proc.\u00a0IEEE Symposium on Security and Privacy, pp. 114\u2013127. IEEE Press, Los Alamitos (1995)"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"Refsdal, A., Runde, R.K., St\u00f8len, K.: Underspecification, inherent nondeterminism and probability in sequence diagrams. Technical Report 335, Department of Informatics, University of Oslo (2006)","DOI":"10.1007\/11768869_12"},{"key":"12_CR17","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/978-0-387-35271-8_11","volume-title":"Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X \/ PSTV XVII 1997","author":"M.W.A. Steen","year":"1997","unstructured":"Steen, M.W.A., Bowman, H., Derrick, J., Boiten, E.A.: Disjunction of LOTOS specifications. In: Mizuno, T., Shiratori, N., Higashino, T., Togashi, A. (eds.) Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X \/ PSTV XVII 1997, pp. 177\u2013192. Chapman & Hall, Boca Raton (1997)"},{"key":"12_CR18","unstructured":"Segala, R.: Modeling and Verification of Randomized Distributed Real-Time Systems. PhD thesis, Massachusetts Institute of Technology (1995)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Open Object-Based Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11768869_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,18]],"date-time":"2019-04-18T20:39:37Z","timestamp":1555619977000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11768869_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540348931","9783540348955"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/11768869_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}