{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T22:40:08Z","timestamp":1737067208276,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540713159"},{"type":"electronic","value":"9783540713227"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-71322-7_11","type":"book-chapter","created":{"date-parts":[[2007,6,4]],"date-time":"2007-06-04T15:05:59Z","timestamp":1180969559000},"page":"225-246","source":"Crossref","is-referenced-by-count":9,"title":["On the Expressive Power of Live Sequence Charts"],"prefix":"10.1007","author":[{"given":"Werner","family":"Damm","sequence":"first","affiliation":[]},{"given":"Tobe","family":"Toben","sequence":"additional","affiliation":[]},{"given":"Bernd","family":"Westphal","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"11_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":"11_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-19029-2","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)"},{"key":"11_CR3","unstructured":"Klose, J.: Live Sequence Charts: A Graphical Formalism for the Specification of Communication Behavior. PhD thesis, C. v. O. Universit\u00e4t Oldenburg (2003)"},{"issue":"2","key":"11_CR4","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/52.663783","volume":"15","author":"K. Weidenhaupt","year":"1998","unstructured":"Weidenhaupt, K., et al.: Scenarios in system development: Current practice. IEEE Software\u00a015(2), 34\u201345 (1998)","journal-title":"IEEE Software"},{"issue":"1","key":"11_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 scenario notations and construction approaches for telecommunication systems development. Telecommunications Systems Journal\u00a024(1), 61\u201394 (2003), http:\/\/www.site.uottawa.ca\/~damyot\/pub\/index.shtml","journal-title":"Telecommunications Systems Journal"},{"key":"11_CR6","first-page":"411","volume-title":"ICSE\u201999. Proceedings of the 1999 International Conference on Software Engineering","author":"M.B. Dwyer","year":"1999","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: ICSE\u201999. Proceedings of the 1999 International Conference on Software Engineering, Los Angeles, CA, USA, May 16-22, 1999, pp. 411\u2013420. ACM Press, New York (1999)"},{"key":"11_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/3-540-45416-0_18","volume-title":"Computer Safety, Reliability and Security","author":"F. Bitsch","year":"2001","unstructured":"Bitsch, F.: Safety patterns - the key to formal specification of safety requirements. In: Voges, U. (ed.) SAFECOMP 2001. LNCS, vol.\u00a02187, pp. 176\u2013190. Springer, Heidelberg (2001)"},{"key":"11_CR8","unstructured":"ITU-T: ITU-T Rec. Z.120: Message Sequence Chart (MSC). ITU-T, Geneva (1999)"},{"key":"11_CR9","unstructured":"Knieke, C., Huhn, M., Goltz, U.: Modelling and simulation of an automotive system using LSCs (0\u20130 TUM-TR). In: Houmb, S.H., J\u00fcrjens, J. (eds.) Proc. CSDUML\u20192005, Sep. 2005, TUM (2005)"},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11562948_31","volume-title":"Automated Technology for Verification and Analysis","author":"P. Combes","year":"2005","unstructured":"Combes, P., Harel, D., Kugler, H.: Modeling and verification of a telecommunication application using Live Sequence Charts and the Play-Engine tool. In: Peled, D.A., Tsay, Y.-K. (eds.) ATVA 2005. LNCS, vol.\u00a03707, Springer, Heidelberg (2005)"},{"issue":"4","key":"11_CR11","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/s10009-004-0145-x","volume":"7","author":"A. Bunker","year":"2004","unstructured":"Bunker, A., Gopalakrishnan, G., Slind, K.: Live Sequence Charts applied to hardware requirements specification and verification: A VCI bus interface model. Software Tools for Technology Transfer\u00a07(4), 341\u2013350 (2004), http:\/\/www.engineering.usu.edu\/ece\/faculty\/bunker\/publications.html","journal-title":"Software Tools for Technology Transfer"},{"key":"11_CR12","unstructured":"Bontemps, Y., Heymans, P., Kugler, H.: Applying LSCs to the specification of an air traffic control system. In: Proc. SCESM\u201903 (2003)"},{"key":"11_CR13","unstructured":"Bohn, J., et al.: Modelling and validating train system applications using statemate and live sequence charts. In: Proc. IDPT 2002, Society for Design and Process Science (2002)"},{"key":"11_CR14","unstructured":"Bontemps, Y.: Relating Inter-Agent and Intra-Agent Specifications. PhD thesis, University of Namur, Belgium (2005)"},{"key":"11_CR15","series-title":"Lecture Notes in Computer Science","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"H. Kugler","year":"2005","unstructured":"Kugler, H., et al.: Temporal logic for scenario-based specifications. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol.\u00a03440, Springer, Heidelberg (2005)"},{"key":"11_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/11817963_22","volume-title":"Computer Aided Verification","author":"J. Klose","year":"2006","unstructured":"Klose, J., et al.: Check it out: On the efficient formal verification of Live Sequence Charts. In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol.\u00a04144, pp. 219\u2013233. Springer, Heidelberg (2006)"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Schinz, I., et al.: The Rhapsody UML Verification Environment. In: Cuellar, J.R., Liu, Z. (eds.) Proc. SEFM 2004, Sep. 2004, pp. 174\u2013183 (2004), http:\/\/ses.informatik.uni-oldenburg.de\/publications.php","DOI":"10.1109\/SEFM.2004.1347518"},{"key":"11_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1007\/3-540-45319-9_35","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"J. Klose","year":"2001","unstructured":"Klose, J., Wittke, H.: An automata based interpretation of Live Sequence Charts. In: Margaria, T., Yi, W. (eds.) ETAPS 2001 and TACAS 2001. LNCS, vol.\u00a02031, pp. 512\u2013527. Springer, Heidelberg (2001)"},{"key":"11_CR19","unstructured":"Schl\u00f6r, R.C.: Symbolic Timing Diagrams: A Visual Formalism for Model Verification. PhD thesis, C. v. O. Universit\u00e4t Oldenburg (2000)"},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"Maidl, M.: The common fragment of ctl and ltl. In: IEEE Symp. on Foundations of Computer Science, pp. 643\u2013652 (2000)","DOI":"10.1109\/SFCS.2000.892332"},{"key":"11_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/11693017_18","volume-title":"Fundamental Approaches to Software Engineering","author":"B. Westphal","year":"2006","unstructured":"Westphal, B., Toben, T.: The good, the bad and the ugly: Well-formedness of Live Sequence Charts. In: Baresi, L., Heckel, R. (eds.) FASE 2006 and ETAPS 2006. LNCS, vol.\u00a03922, pp. 230\u2013246. Springer, Heidelberg (2006)"},{"key":"11_CR22","series-title":"Lecture Notes in Computer Science","first-page":"158","volume-title":"Transformation-Based Reactive Systems Development","author":"K. Feyerabend","year":"1997","unstructured":"Feyerabend, K., Josko, B.: A visual formalism for real time requirement specification. In: Rus, T., Bertr\u00e1n, M. (eds.) AMAST-ARTS 1997, ARTS 1997, and AMAST-WS 1997. LNCS, vol.\u00a01231, pp. 158\u2013168. Springer, Heidelberg (1997)"},{"key":"11_CR23","unstructured":"Klose, J., Westphal, B.: Relating LSC specifications to UML models. In: Ehrig, H., Grosse-Rhode, M. (eds.) Proc. INT\u201902 (2002)"},{"issue":"1\u20133","key":"11_CR24","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/j.scico.2004.05.013","volume":"55","author":"W. Damm","year":"2005","unstructured":"Damm, W., Westphal, B.: Live and let die: LSC-based verification of UML-models. Science of of Computer Programming\u00a055(1\u20133), 117\u2013159 (2005)","journal-title":"Science of of Computer Programming"},{"key":"11_CR25","unstructured":"Barnat, J.: Distributed Memory LTL Model Checking. PhD thesis, Faculty of Informatics, Masaryk University, Brno (2004)"},{"key":"11_CR26","unstructured":"Harel, D.: Personal communication (2005)"},{"key":"11_CR27","unstructured":"Toben, T., Westphal, B.: On the expressive power of LSCs. In: Wiedermann, J., et al. (eds.) Proc. SofSem 2006, vol. 2, Jan. 2006, pp. 33\u201343. Institute of Computer Science AS, CR, Prague (2006)"}],"container-title":["Lecture Notes in Computer Science","Program Analysis and Compilation, Theory and Practice"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71322-7_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T22:26:14Z","timestamp":1737066374000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71322-7_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540713159","9783540713227"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71322-7_11","relation":{},"subject":[]}}