{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:58:31Z","timestamp":1725487111290},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540731955"},{"type":"electronic","value":"9783540731962"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"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":[[2007]]},"DOI":"10.1007\/978-3-540-73196-2_2","type":"book-chapter","created":{"date-parts":[[2007,7,6]],"date-time":"2007-07-06T04:50:02Z","timestamp":1183697402000},"page":"19-34","source":"Crossref","is-referenced-by-count":1,"title":["Thread\u2013Based Analysis of Sequence Diagrams"],"prefix":"10.1007","author":[{"given":"Haitao","family":"Dan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert M.","family":"Hierons","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steve","family":"Counsell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"2_CR1","first-page":"70","volume":"17","author":"R. Alur","year":"1996","unstructured":"Alur, R., Holzmann, G., Peled, D.: An analyzer for message sequence charts. Software Concepts and Tools\u00a017(2), 70\u201377 (1996)","journal-title":"Software Concepts and Tools"},{"key":"2_CR2","unstructured":"Cengarle, M.V., Knapp, A.: UML 2.0 interactions: Semantics and refinement. In: Proceedings of the 3rd Intl. Workshop on Critical Systems Development with UML, pp. 85\u201399, Lisbon, Portugal, Technische Universit\u00e4t M\u00fcnchen (2004)"},{"issue":"11-13","key":"2_CR3","doi-asserted-by":"publisher","first-page":"1043","DOI":"10.1002\/(SICI)1096-9128(199809\/11)10:11\/13<1043::AID-CPE413>3.0.CO;2-6","volume":"10","author":"D. Caromel","year":"1998","unstructured":"Caromel, D., Klauser, W., Vayssiere, J.: Towards seamless computing and metacomputing in Java. Concurrency Practice and Experience\u00a010(11-13), 1043\u20131061 (1998)","journal-title":"Concurrency Practice and Experience"},{"issue":"1","key":"2_CR4","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 (7, 2001)","journal-title":"Formal Methods in System Design"},{"key":"2_CR5","unstructured":"Grabowski, J., Graubmann, P., Rudolph, E.: Towards a petri net based semantics definition for message sequence charts. In: Proceedings of SDL\u201993 - Using Objects, pp. 179\u2013190, Darmstadt, Germany, North-Holland (1993)"},{"key":"2_CR6","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1109\/ACSD.2005.31","volume-title":"Proceedings of the Fifth International Conference on Application of Concurrency to System Design","author":"R. Grosu","year":"2005","unstructured":"Grosu, R., Smolka, S.A.: Safety-liveness semantics for UML 2.0 sequence diagrams. In: Proceedings of the Fifth International Conference on Application of Concurrency to System Design, pp. 6\u201314. IEEE Computer Society Press, Los Alamitos, CA, USA (2005)"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Haugen, \u00d8., Husa, K.E., Runde, R.K., St\u00f8len, K.: STAIRS towards formal design with sequence diagrams. Software and Systems Modeling\u00a04(4), 355\u2013357 (2005)","DOI":"10.1007\/s10270-005-0087-0"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Harel, D., Maoz, S.: Assert and negate revisited: modal semantics for UML sequence diagrams. In: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools, Shanghai, China, pp. 13\u201320 (2006)","DOI":"10.1145\/1138953.1138958"},{"key":"2_CR9","unstructured":"ITU-T. ITU-T Recommendation Z.120 Annex B: Formal semantics of message sequence charts (4, 1998)"},{"key":"2_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/3-540-48213-X_23","volume-title":"SDL 2001: Meeting UML","author":"B. Jonsson","year":"2001","unstructured":"Jonsson, B., Padilla, G.: An execution semantics for MSC-2000. In: Reed, R., Reed, J. (eds.) SDL 2001. LNCS, vol.\u00a02078, pp. 365\u2013378. Springer, Heidelberg (2001)"},{"issue":"4","key":"2_CR11","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1093\/comjnl\/32.4.297","volume":"32","author":"D.G. Kafura","year":"1989","unstructured":"Kafura, D.G., Lee, K.H.: Inheritance in actor based concurrent object-oriented languages. The Computer Journal\u00a032(4), 297\u2013304 (1989)","journal-title":"The Computer Journal"},{"key":"2_CR12","unstructured":"Ladkin, P.B., Leue, S.: What do message sequence charts mean. In: Proceedings of the IFIP TC6\/WG6.1 Sixth International Conference on Formal Description Techniques, pp. 301\u2013316, Boston, MA, USA, North-Holland (1993)"},{"key":"2_CR13","unstructured":"Lavender, R.G., Schmidt, D.C.: Active object: an object behavioral pattern for concurrent programming. Pattern Languages of Program Design, pp. 483\u2013499 (1996)"},{"key":"2_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"380","DOI":"10.1007\/11813040_26","volume-title":"FM 2006: Formal Methods","author":"M.S. Lund","year":"2006","unstructured":"Lund, M.S., St\u00f8len, K.: A fully general operational semantics for UML 2.0 sequence diagrams with potential and mandatory choice. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol.\u00a04085, pp. 380\u2013395. Springer, Heidelberg (2006)"},{"issue":"9","key":"2_CR15","doi-asserted-by":"publisher","first-page":"767","DOI":"10.1109\/TSE.2005.104","volume":"31","author":"B. Mitchell","year":"2005","unstructured":"Mitchell, B.: Resolving race conditions in asynchronous partial order scenarios. IEEE Transactions on Software Engineering\u00a031(9), 767\u2013784 (2005)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"4","key":"2_CR16","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1093\/comjnl\/37.4.269","volume":"37","author":"S. Mauw","year":"1994","unstructured":"Mauw, S., Reniers, M.A.: An algebraic semantics of basic message sequence charts. The Computer Journal\u00a037(4), 269\u2013277 (1994)","journal-title":"The Computer Journal"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Nierstrasz, O.: Regular types for active objects. In: Proceedings of the Eighth Annual Conference on Object-oriented Programming Systems, Languages, and Applications, pp. 1\u201315, Washington, DC, USA (1993)","DOI":"10.1145\/165854.167976"},{"key":"2_CR18","unstructured":"OMG. Unified Modeling Language: Superstructure (8, 2005)"},{"key":"2_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/978-3-540-30080-9_6","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"B.V. Selic","year":"2004","unstructured":"Selic, B.V.: On the semantic foundations of standard UML 2.0. In: Bernardo, M., Corradini, F. (eds.) Formal Methods for the Design of Real-Time Systems. LNCS, vol.\u00a03185, pp. 181\u2013199. Springer, Heidelberg (2004)"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Storrle, H.: Semantics of interactions in UML 2.0. In: Proceedings of the 2003 IEEE Symposium on Human Centric Computing Languages and Environments, pp. 129\u2013136, Los Alamitos, CA, USA (2003)","DOI":"10.1109\/HCC.2003.1260216"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2007"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73196-2_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T18:46:00Z","timestamp":1550429160000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73196-2_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540731955","9783540731962"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73196-2_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}