{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T05:25:37Z","timestamp":1737437137380,"version":"3.33.0"},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2007,9,8]],"date-time":"2007-09-08T00:00:00Z","timestamp":1189209600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Autom Softw Eng"],"published-print":{"date-parts":[[2007,10,11]]},"DOI":"10.1007\/s10515-007-0017-1","type":"journal-article","created":{"date-parts":[[2007,9,7]],"date-time":"2007-09-07T08:42:19Z","timestamp":1189154539000},"page":"419-441","source":"Crossref","is-referenced-by-count":0,"title":["Lazy buffer semantics for partial order scenarios"],"prefix":"10.1007","volume":"14","author":[{"given":"Bill","family":"Mitchell","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,9,8]]},"reference":[{"key":"17_CR1","first-page":"114","volume-title":"Proceedings of the Tenth International Conference on Concurrency Theory","author":"R. Alur","year":"1999","unstructured":"Alur, R., Yannakakis, M.: Model checking of message sequence charts. In: Proceedings of the Tenth International Conference on Concurrency Theory, pp. 114\u2013129. Springer, New York (1999)"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Alur, R., Etessami, K., Yannakakis, M.: Inference of message sequence charts. In: Proceedings 22nd International Conference on Software Engineering, pp.\u00a0304\u2013313 (2000)","DOI":"10.1145\/337180.337215"},{"key":"17_CR3","doi-asserted-by":"crossref","first-page":"797","DOI":"10.1007\/3-540-48224-5_65","volume-title":"Proceedings of the 28th International Colloquium on Automata, Languages, and Programming","author":"R. Alur","year":"2001","unstructured":"Alur, R., Etessami, K., Yannakakis, M.: Realizability and verification of MSC graphs. In: Proceedings of the 28th International Colloquium on Automata, Languages, and Programming, pp. 797\u2013808. Springer, New York (2001)"},{"key":"17_CR4","first-page":"259","volume-title":"Proceedings of the 3rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems","author":"H. Ben-Abdhallah","year":"1997","unstructured":"Ben-Abdhallah, H., Leue, S.: Syntactic detection of process divergence and non-local choice in message sequence charts. In: Proceedings of the 3rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp. 259\u2013274. Springer, New York (1997)"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Baker, P., Bristow, P., Jervis, C., King, D., Mitchell, B.: Automatic generation of conformance tests from message sequence charts. In: Proceedings of 3rd SAM Workshop 2002, Telecommunications and Beyond: The Broader Applicability of MSC and SDL, pp.\u00a0170\u2013198. LNCS 2599 (2002)","DOI":"10.1007\/3-540-36573-7_12"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"Beyer, M., Dulz, W., Zhen, F.: Automated TTCN-3 test case generation by means of UML sequence diagrams and Markov chains. In: Proceedings of 12th Asian Test Symposium (ATS\u201903), pp.\u00a0102\u2013106. IEEE (2003)","DOI":"10.1109\/ATS.2003.1250791"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"Bontemps, Y., Schobbens, P.: Synthesis of open reactive systems from scenario-based specifications. In: Third International Conference on Application of Concurrency to System Design (ACSD\u201903), pp. 41\u201350. IEEE (2003)","DOI":"10.1109\/CSD.2003.1207698"},{"key":"17_CR8","unstructured":"Bontemps, Y., Heymens, P.: Turning high-level live sequence charts into automata. In: Proc. of Scenarios and State Machines: Models Algorithms and tools, 24th International Conf. on Software Engineering, ACM, May 2002"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Chung, S., Kim, H.S., Seop Bae, H., Kwon, Y.R., Lee, B.S.: Testing of concurrent programs based on message sequence charts. In: Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems, pp.\u00a072\u201382 (1999)","DOI":"10.1109\/PDSE.1999.779740"},{"issue":"28","key":"17_CR10","doi-asserted-by":"crossref","first-page":"626","DOI":"10.1145\/242223.242257","volume":"4","author":"E. Clarke","year":"1996","unstructured":"Clarke, E., Andwing, J.: Formal methods: state of the art and future directions. ACM Comput. Surv. 4(28), 626\u2013643 (1996)","journal-title":"ACM Comput. Surv."},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"Gehrke, T., Hilhn, M., Wehrkeim, H.: An algebraic semantics for message sequence chart documents. In: Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII), pp. 3\u201318 (1998)","DOI":"10.1007\/978-0-387-35394-4_1"},{"issue":"1","key":"17_CR12","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1007\/s10009-002-0085-2","volume":"5","author":"E. Gunter","year":"2003","unstructured":"Gunter, E., Muscholl, A., Peled, D.: Compositional message sequence charts. Int. J. Soft. Tools Technol. Transf. (STTT) 5(1), 78\u201389 (2003)","journal-title":"Int. J. Soft. Tools Technol. Transf. (STTT)"},{"key":"17_CR13","unstructured":"Holzmann, G.J., Peled, D.A.: Message sequence chart analyzer, US Patent 5,812,145, 22 September 1998"},{"issue":"2","key":"17_CR14","first-page":"70","volume":"17","author":"G.J. Holzmann","year":"1996","unstructured":"Holzmann, G.J., Peled, D.A., Redberg, M.H.: An analyzer for message sequence charts. Softw. Concepts Tools 17(2), 70\u201377 (1996)","journal-title":"Softw. Concepts Tools"},{"key":"17_CR15","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1023\/A:1011227529550","volume":"19","author":"D. Harel","year":"2001","unstructured":"Harel, D., Damm, W.: LSCs breathing life into message sequence charts. Form. Method. Syst. Des. 19, 45\u201380 (2001)","journal-title":"Form. Method. Syst. Des."},{"issue":"1","key":"17_CR16","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1142\/S0129054102000935","volume":"13","author":"D. Harel","year":"2002","unstructured":"Harel, D., Kugler, H.: Synthesizing state-based object systems from LSC specifications. Int. J. Found. Comput. Sci. 13(1), 5\u201351 (2002)","journal-title":"Int. J. Found. Comput. Sci."},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"Leue, S., Mehrmann, L., Rezai, M.: Synthesizing software architecture descriptions from message sequence chart specifications. In: Proceedings 13th IEEE International Conference on Automated Software Engineering, pp.\u00a0192\u2013195 (1998)","DOI":"10.1109\/ASE.1998.732635"},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"Lohrey, M.: Safe realizability of high-level message charts. In: Proceedings of the 13th International Conference on Concurrency Theory (CONCUR) (2002)","DOI":"10.1007\/3-540-45694-5_13"},{"issue":"5","key":"17_CR19","first-page":"473","volume":"7","author":"S. Mauw","year":"1995","unstructured":"Mauw, S., Reniers, M.A.: An algebraic semantics of basic message sequence charts. Comput.\u00a0J. 7(5), 473\u2013509 (1995)","journal-title":"Comput.\u00a0J."},{"issue":"17","key":"17_CR20","doi-asserted-by":"crossref","first-page":"1785","DOI":"10.1016\/S1389-1286(99)00060-2","volume":"31","author":"S. Mauw","year":"1999","unstructured":"Mauw, S., Reniers, M.A.: Operational Semantics for MSC\u201996. Comput. Netw. 31(17), 1785\u20131799 (1999)","journal-title":"Comput. Netw."},{"issue":"9","key":"17_CR21","doi-asserted-by":"crossref","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 Trans. Softw. Eng. 31(9), 767\u2013784 (2005), preliminary version also appeared as Mitchell (2004)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"17_CR22","doi-asserted-by":"crossref","unstructured":"Mitchell, B.: Inherent causal orderings of partial order scenarios. In: International Colloquium on Theoretical Aspects of Computing, Guiyang, China, September 2004, pp. 114\u2013129. LNCS 3407 (2004)","DOI":"10.1007\/978-3-540-31862-0_10"},{"key":"17_CR23","unstructured":"Mitchell, B., Thomson, R., Jervis, C.: Phase Automation for Requirements Scenarios, Feature Interactions in Telecommunications and Software Systems VII, pp.\u00a077\u201384. IOS Press (2003)"},{"key":"17_CR24","unstructured":"Object Management Group. Unified Modelling Language Specification, Version 2.0 Specification, OMG (2004) http:\/\/cgi.omg.org\/"},{"key":"17_CR25","doi-asserted-by":"crossref","unstructured":"Peled, D.: Specification and verification using message sequence charts. Electron. Notes Theor. Comput. Sci. 65(7) (2002)","DOI":"10.1016\/S1571-0661(04)80484-5"},{"key":"17_CR26","unstructured":"Rudolph, E., Schieferdecker, I., Grabowski, J.: Development of a MSC\/UML test format. In: Formale Beschreibungstechniken fur verteilte Systeme, pp.\u00a0153\u2013164. Shaker (2000)"},{"key":"17_CR27","doi-asserted-by":"crossref","unstructured":"Sun, J., Song Dong, J.: Synthesis of distributed processes from scenario-based specifications. In: FM 2005: Formal Methods, International Symposium of Formal Methods Europe, LNCS 3582, pp. 415\u2013431 (2005)","DOI":"10.1007\/11526841_28"},{"key":"17_CR28","doi-asserted-by":"crossref","unstructured":"Schumann, J., Whittle, J.: Generating statechart designs from scenarios. In: Proceedings of the 22nd international conference on Software engineering, pp. 314\u2013323 (2000)","DOI":"10.1145\/337180.337217"},{"key":"17_CR29","doi-asserted-by":"crossref","unstructured":"Wang, H.H., Qin, S., Sun, J., Song Dong, J.: Realizing live sequence charts in SystemVerilog. In: First Joint IEEE\/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE, pp.\u00a0379\u2013388. IEEE (2007)","DOI":"10.1109\/TASE.2007.41"},{"issue":"1","key":"17_CR30","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/s10270-004-0067-9","volume":"4","author":"J. Whittle","year":"2005","unstructured":"Whittle, J., Saboo, J., Kwan, R.: From scenarios to code: an air traffic control case study. J.\u00a0Softw. Syst. Model. 4(1), 71\u201393 (2005)","journal-title":"J.\u00a0Softw. Syst. Model."},{"issue":"3","key":"17_CR31","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1016\/S1571-0661(04)00178-1","volume":"50","author":"A. Tsiolakis","year":"2001","unstructured":"Tsiolakis, A.: Integrating Model Information in UML Sequence Diagrams. Electron. Notes Theor. Comput. Sci. 50(3), 266\u2013274 (2001)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"1","key":"17_CR32","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1145\/1005561.1005563","volume":"13","author":"S. Uchitel","year":"2004","unstructured":"Uchitel, S., Kramer, J., Magee, J.: Incremental elaboration of scenario-based specifications and behaviour models using implied scenarios. ACM Trans. Softw. Eng. Method. (TOSEM) 13(1), 37\u201385 (2004)","journal-title":"ACM Trans. Softw. Eng. Method. (TOSEM)"}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-007-0017-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10515-007-0017-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-007-0017-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T21:38:30Z","timestamp":1737409110000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10515-007-0017-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9,8]]},"references-count":32,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2007,10,11]]}},"alternative-id":["17"],"URL":"https:\/\/doi.org\/10.1007\/s10515-007-0017-1","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"type":"print","value":"0928-8910"},{"type":"electronic","value":"1573-7535"}],"subject":[],"published":{"date-parts":[[2007,9,8]]}}}