{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:18:36Z","timestamp":1725549516719},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540253044"},{"type":"electronic","value":"9783540318620"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31862-0_10","type":"book-chapter","created":{"date-parts":[[2010,3,12]],"date-time":"2010-03-12T13:28:55Z","timestamp":1268400535000},"page":"113-127","source":"Crossref","is-referenced-by-count":7,"title":["Inherent Causal Orderings of Partial Order Scenarios"],"prefix":"10.1007","author":[{"given":"Bill","family":"Mitchell","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","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. 304\u2013313 (2000)","DOI":"10.1145\/337180.337215"},{"key":"10_CR2","volume-title":"Proceedings of 12th Asian Test Symposium (ATS 2003)","author":"M. Beyer","year":"2003","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 2003). IEEE, Los Alamitos (2003)"},{"key":"10_CR3","unstructured":"Bontemps, Y., Schobbens, P.-Y.: Synthesis of Open Reactive Systems from Scenario-Based Specifications (ACSD 2003)"},{"key":"10_CR4","volume-title":"Proc. of Scenarios and State Machines: Models Algorithms and tools, 24th International Conf. on Software Engineering","author":"Y. Bontemps","year":"2002","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, New York (2002)"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"496","DOI":"10.1007\/3-540-45319-9_34","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"E. Gunter","year":"2001","unstructured":"Gunter, E., Muscholl, A., Peled, D.: Compositional message sequence charts. In: Margaria, T., Yi, W. (eds.) TACAS 2001. LNCS, vol.\u00a02031, p. 496. Springer, Heidelberg (2001)"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/3-540-36573-7_12","volume-title":"Telecommunications and beyond: The Broader Applicability of SDL and MSC","author":"P. Baker","year":"2003","unstructured":"Baker, P., Bristow, P., Jervis, C., King, D., Mitchell, B.: Automatic generation of conformance tests from message sequence charts. In: Sherratt, E. (ed.) SAM 2002. LNCS, vol.\u00a02599, pp. 170\u2013198. Springer, Heidelberg (2003)"},{"key":"10_CR7","doi-asserted-by":"publisher","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. Formal Methods in System Design\u00a019, 45\u201380 (2001)","journal-title":"Formal Methods in System Design"},{"key":"10_CR8","first-page":"3","volume-title":"FORTE\/PSTV 1998","author":"T. Gehrke","year":"1998","unstructured":"Gehrke, T., Hilhn, M., Wehrkeim, H.: An algebraic semantics for message sequence chart documents. In: FORTE\/PSTV 1998, pp. 3\u201318. Kluwer Academic Publishers, Dordrecht (1998)"},{"key":"10_CR9","unstructured":"Holzmann, G.J., Peled, D.A.: Message Sequence Chart Analyzer. United States Patent\u00a05,812,145"},{"key":"10_CR10","unstructured":"Holzmann, G.J., Peled, D.A., Redberg, M.H.: An analyzer for message sequence charts. Software Concepts and Tools\u00a017(2) (1996)"},{"key":"10_CR11","first-page":"77","volume-title":"Feature Interactions in Telecommunications and Software Systems VII","author":"B. Mitchell","year":"2003","unstructured":"Mitchell, B., Thomson, R., Jervis, C.: Phase Automaton for Requirements Scenarios. In: Feature Interactions in Telecommunications and Software Systems VII, pp. 77\u201384. IOS Press, Amsterdam (2003)"},{"key":"10_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"720","DOI":"10.1007\/3-540-48224-5_59","volume-title":"Automata, Languages and Programming","author":"A. Muscholl","year":"2001","unstructured":"Muscholl, A., Peled, D.: From finite state communication protocols to high-level message sequence charts. In: Orejas, F., Spirakis, P.G., van Leeuwen, J. (eds.) ICALP 2001. LNCS, vol.\u00a02076, pp. 720\u2013731. Springer, Heidelberg (2001)"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Peled, D.: Specification and Verification using Message Sequence Charts. Electronic Notes in Theoretical Computer Science, vol.\u00a065(7) (2002)","DOI":"10.1016\/S1571-0661(04)80484-5"},{"key":"10_CR14","first-page":"153","volume-title":"Formale Beschreibungstechniken fur verteilte Systeme","author":"E. Rudolph","year":"2000","unstructured":"Rudolph, E., Schieferdecker, I., Grabowski, J.: Development of a MSC\/UML Test Format. In: Formale Beschreibungstechniken fur verteilte Systeme, pp. 153\u2013164. Verlag Shaker, Aachen (2000) ISBN 3-8265-7491-5"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Schumann, J., Whittle, J.: Generating Statechart Designs From Scenarios. In: Proceedings 22nd international conference on Software engineering (2000)","DOI":"10.1145\/337180.337217"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Tsiolakis, A.: Integrating Model Information in UML Sequence Diagrams. Electronic Notes in Theoretical Computer Science (June 2001)","DOI":"10.1016\/S1571-0661(04)00178-1"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Uchitel, S., Kramer, J., Magee, J.: Synthesis of Behavioral Models from Scenarios. IEEE Transactions on Software Engineering\u00a029(2) (February 2003)","DOI":"10.1109\/TSE.2003.1178048"},{"key":"10_CR18","unstructured":"Z.120 (11\/99)ITU-T Recommendation - Message Sequence Chart (MSC)"},{"key":"10_CR19","unstructured":"Object Management Group (OMG), Unified Modeling Language (UML): Superstructure, Version 2.0 (2003), Available from: http:\/\/www.omg.org"},{"key":"10_CR20","unstructured":"Wong, E., Horgan, J.R., Zage, W., Zage, D., Syring, M.: Applying Design Metrics to a Large-Scale Software System (Motorola). In: Proceedings of the 9th International Symposium on Software Engineering Reliability (ISSRE 1998), Paderborn, Germany, November 4-7 (1998)"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing - ICTAC 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31862-0_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:29:57Z","timestamp":1605760197000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31862-0_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540253044","9783540318620"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31862-0_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}