{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T14:53:14Z","timestamp":1742395994830,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540253884"},{"type":"electronic","value":"9783540319825"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31982-5_23","type":"book-chapter","created":{"date-parts":[[2011,1,14]],"date-time":"2011-01-14T07:29:02Z","timestamp":1294990142000},"page":"364-378","source":"Crossref","is-referenced-by-count":6,"title":["The Complexity of Live Sequence Charts"],"prefix":"10.1007","author":[{"given":"Yves","family":"Bontemps","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre-Yves","family":"Schobbens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","unstructured":"International Telecommunication Union (ITU) Geneva: MSC-2000: ITU-T Recommendation Z.120: Message Sequence Chart, MSC (2000), http:\/\/www.itu.int\/"},{"key":"23_CR2","unstructured":"Object Management Group (UML Revision Task Force): OMG UML Specification (2.0) (2003), http:\/\/www.omg.org\/uml"},{"key":"23_CR3","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, 45\u201380 (2001)","journal-title":"Formal Methods in System Design"},{"key":"23_CR4","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/52.663783","volume":"15","author":"K. Weidenhaupt","year":"1998","unstructured":"Weidenhaupt, K., Pohl, K., Jarke, M., Haumer, P.: Scenario Usage in System Development: A Report on Current practice. IEEE Software\u00a015, 34\u201345 (1998)","journal-title":"IEEE Software"},{"key":"23_CR5","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1023\/A:1025890110119","volume":"24","author":"D. Amyot","year":"2003","unstructured":"Amyot, D., Eberlein, A.: An evaluation of scenarion notations for telecommunication systems development. Telecommunications Systems Journal\u00a024, 61\u201394 (2003)","journal-title":"Telecommunications Systems Journal"},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"Muscholl, A., Peled, D., Su, Z.: Deciding Properties of Message Sequence Charts. Foundations of Software Science and Computer Structures (1998)","DOI":"10.1007\/BFb0053553"},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"Bontemps, Y., Heymans, P.: As fast as sound (lightweight formal scenario synthesis and verification). In: Giese, H., Kr\u00fcger, I. (eds.) Proc. of the 3rd Int. Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM 2004), Edinburgh, IEE, pp. 27\u201334 (2004)","DOI":"10.1049\/ic:20040234"},{"key":"23_CR8","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1109\/2.895118","volume":"34","author":"D. Harel","year":"2001","unstructured":"Harel, D.: From play-in scenarios to code: An achievable dream. IEEE Computer 34, 53\u201360 (2001); a previous version appeared in Proc. of FASE 2000. LNCS, vol. 1783. Springer, Heidelberg (2001)","journal-title":"IEEE Computer"},{"key":"23_CR9","volume-title":"Proc. of the 2nd Int. Workshop on \u201cScenarios and State Machines: Models, Algorithms and Tools\u201d (SCESM 2003)","author":"Y. Bontemps","year":"2003","unstructured":"Bontemps, Y., Heymans, P., Kugler, H.: Applying LSCs to the specification of an air traffic control system. In: Uchitel, S., Bordeleau, F. (eds.) Proc. of the 2nd Int. Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM 2003), Portland, OR, USA. IEEE, Los Alamitos (2003)"},{"key":"23_CR10","unstructured":"Bohn, J., Damm, W., Klose, J., Moik, A., Wittke, H.: Modeling and validating train system applications using statemate and live sequence charts. In: Ehrig, H., Kr\u00e4mer, B.J., Ertas, A. (eds.) Proceedings of the Conference on Integrated Design and Process Technology (IDPT 2002), Society for Design and Process Science (2002)"},{"key":"23_CR11","unstructured":"Bunker, A., Gopalakrishnan, G.: Verifying a VCI Bus Interface Model Using an LSC-based Specification. In: Ehrig, H., Kr\u00e4mer, B.J., Ertas, A. (eds.) Proceedings of the Sixth Biennial World Conference on Integrated Design and Process Technology, Society of Design and Process Science, p. 48 (2002)"},{"key":"23_CR12","series-title":"Natural Computing Series","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-642-18734-6_8","volume-title":"Modelling in Molecular Biology","author":"N. Kam","year":"2004","unstructured":"Kam, N., Harel, D., Kugler, H., Marelly, R., Pnueli, A., Hubbard, J.A., Stern, M.J.: Formal modelling of c. elegans development; a scenario-based approach. In: Ciobanu, G., Rozenberg, G. (eds.) Modelling in Molecular Biology. Natural Computing Series, pp. 151\u2013173. Springer, Heidelberg (2004)"},{"key":"23_CR13","first-page":"139","volume":"62","author":"Y. Bontemps","year":"2004","unstructured":"Bontemps, Y., Schobbens, P.Y., L\u00f6ding, C.: Synthesis of open reactive systems from scenario-based specifications. Fundamenta Informaticae\u00a062, 139\u2013169 (2004)","journal-title":"Fundamenta Informaticae"},{"key":"23_CR14","first-page":"219","volume":"2","author":"N.A. Lynch","year":"1989","unstructured":"Lynch, N.A., Tuttle, M.R.: An introduction to input\/output automata. CWI Quarterly\u00a02, 219\u2013246 (1989)","journal-title":"CWI Quarterly"},{"key":"23_CR15","doi-asserted-by":"crossref","unstructured":"Harel, D., Vardi, M.Y., Kupferman, O.: On the complexity of verifying concurrent transition systems. Information and Computation\u00a0173 (2002)","DOI":"10.1006\/inco.2001.2920"},{"key":"23_CR16","volume-title":"Computational Complexity","author":"C.H. Papadimitriou","year":"1994","unstructured":"Papadimitriou, C.H.: Computational Complexity. Addison-Wesley, Reading (1994)"},{"key":"23_CR17","volume-title":"Come, let\u2019s play! Scenario-based programming using LSCs and the Play-engine","author":"D. Harel","year":"2003","unstructured":"Harel, D., Marelly, R.: Come, let\u2019s play! Scenario-based programming using LSCs and the Play-engine. Springer, Heidelberg (2003) ISBN 3-540-00787-3"},{"key":"23_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36126-X_23","volume-title":"Formal Methods in Computer-Aided Design","author":"D. Harel","year":"2002","unstructured":"Harel, D., Kugler, H., Marelly, R., Pnueli, A.: Smart Play-Out of Behavioral Requirements. In: Aagaard, M.D., O\u2019Leary, J.W. (eds.) FMCAD 2002. LNCS, vol.\u00a02517. Springer, Heidelberg (2002)"},{"key":"23_CR19","series-title":"Lecture Notes in Computer Science","volume-title":"Automata, Languages and Programming","author":"M. Abadi","year":"1989","unstructured":"Abadi, M., Lamport, L., Wolper, P.: Realizable and unrealizable specifications of reactive systems. In: Ronchi Della Rocca, S., Ausiello, G., Dezani-Ciancaglini, M. (eds.) ICALP 1989. LNCS, vol.\u00a0372. Springer, Heidelberg (1989)"},{"key":"23_CR20","doi-asserted-by":"crossref","unstructured":"Pnueli, A., Rosner, R.: On the Synthesis of a Reactive Module. In: Proceedings of the sixteenth annual ACM symposium on Principles of programming languages, pp. 179\u2013190 (1989)","DOI":"10.1145\/75277.75293"},{"key":"23_CR21","doi-asserted-by":"crossref","unstructured":"Maidl, M.: The common fragment of CTL and LTL. In: Proc. 41st Annual Symposium on Foundations of Computer Science, pp. 643\u2013652 (2000)","DOI":"10.1109\/SFCS.2000.892332"},{"key":"23_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"652","DOI":"10.1007\/BFb0035790","volume-title":"Automata, Languages and Programming","author":"A. Pnueli","year":"1989","unstructured":"Pnueli, A., Rosner, R.: On the synthesis of an asynchronous reactive module. In: Ronchi Della Rocca, S., Ausiello, G., Dezani-Ciancaglini, M. (eds.) ICALP 1989. LNCS, vol.\u00a0372, pp. 652\u2013671. Springer, Heidelberg (1989)"},{"key":"23_CR23","doi-asserted-by":"crossref","unstructured":"Tripakis, J.: Undecidable problems of decentralized observation and control on regular languages. Information Processing Letters\u00a090 (2004)","DOI":"10.1016\/j.ipl.2004.01.004"},{"key":"23_CR24","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1145\/322234.322243","volume":"28","author":"A.K. Chandra","year":"1981","unstructured":"Chandra, A.K., Kozen, D.C., Stockmeyer, L.J.: Alternation. Journal of the ACM\u00a028, 114\u2013133 (1981)","journal-title":"Journal of the ACM"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computational Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31982-5_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T19:41:09Z","timestamp":1740858069000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31982-5_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540253884","9783540319825"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31982-5_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}