{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:27:57Z","timestamp":1725550077486},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540292098"},{"type":"electronic","value":"9783540319696"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11562948_31","type":"book-chapter","created":{"date-parts":[[2005,10,10]],"date-time":"2005-10-10T14:06:40Z","timestamp":1128953200000},"page":"414-428","source":"Crossref","is-referenced-by-count":12,"title":["Modeling and Verification of a Telecommunication Application Using Live Sequence Charts and the Play-Engine Tool"],"prefix":"10.1007","author":[{"given":"Pierre","family":"Combes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Harel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hillel","family":"Kugler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"31_CR1","first-page":"70","volume":"17","author":"R. Alur","year":"1996","unstructured":"Alur, R., Holzmann, G.J., Peled, D.: An analyzer for message sequence charts. Software Concepts and Tools\u00a017(2), 70\u201377 (1996)","journal-title":"Software Concepts and Tools"},{"key":"31_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-540-24704-3_2","volume-title":"Testing of Communicating Systems","author":"R. Castanet","year":"2004","unstructured":"Castanet, R., Cavalli, A., Combes, P., Laurencot, P., MacKaya, M., Mederreg, A., Monin, W., Zaidi, F.: A multi-service and multi-protocol validation platform-experimentation results. In: Groz, R., Hierons, R.M. (eds.) TestCom 2004. LNCS, vol.\u00a02978, pp. 17\u201332. Springer, Heidelberg (2004)"},{"key":"31_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-45075-0_1","volume-title":"SDL 2003: System Design","author":"P. Combes","year":"2003","unstructured":"Combes, P., Dubois, F., Monin, W., Vincent, D.: Looking for better integration of design and performance engineering. In: Reed, R. (ed.) SDL 2003. LNCS, vol.\u00a02708, pp. 1\u201317. Springer, Heidelberg (2003)"},{"issue":"5","key":"31_CR4","doi-asserted-by":"publisher","first-page":"599","DOI":"10.1016\/S1389-1286(02)00354-7","volume":"40","author":"P. Combes","year":"2002","unstructured":"Combes, P., Dubois, F., Renard, B.: An Open Animation Tool: Application to Telecommunications Systems. Computer Networks\u00a040(5), 599\u2013620 (2002)","journal-title":"Computer Networks"},{"key":"31_CR5","unstructured":"Combes, P., Harel, D., Kugler, H.: Supplementary material on the depannage application, http:\/\/cs.nyu.edu\/~kugler\/Depannage\/"},{"issue":"1","key":"31_CR6","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); Preliminary version appeared in Proc. 3rd IFIP Int. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS 1999)","journal-title":"Formal Methods in System Design"},{"key":"31_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"378","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, pp. 378\u2013398. Springer, Heidelberg (2002); Also available as Tech. Report MCS02-08, The Weizmann Institute of Science"},{"key":"31_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/11495628_2","volume-title":"Scenarios: Models, Transformations and Tools","author":"D. Harel","year":"2005","unstructured":"Harel, D., Kugler, H., Weiss, G.: Some Methodological Observations Resulting from Experience Using LSCs and the Play-In\/Play-Out Approach. In: Leue, S., Syst\u00e4, T.J. (eds.) Scenarios: Models, Transformations and Tools. LNCS, vol.\u00a03466, pp. 26\u201342. Springer, Heidelberg (2005)"},{"key":"31_CR9","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)"},{"issue":"2","key":"31_CR10","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/s10270-002-0015-5","volume":"2","author":"D. Harel","year":"2003","unstructured":"Harel, D., Marelly, R.: Specifying and Executing Behavioral Requirements: The Play In\/Play-Out Approach. Software and System Modeling (SoSyM)\u00a02(2), 82\u2013107 (2003)","journal-title":"Software and System Modeling (SoSyM)"},{"key":"31_CR11","volume-title":"Feature Interactions in Telecommunications and Software Systems VII","author":"L. Logrippo","year":"2003","unstructured":"Logrippo, L., Amyot, D.: Feature Interactions in Telecommunications and Software Systems VII. IOS Press, Amsterdam (2003)"},{"key":"31_CR12","doi-asserted-by":"crossref","unstructured":"Marelly, R., Harel, D., Kugler, H.: Multiple instances and symbolic variables in executable sequence charts. In: Proc. 17th Ann. ACM Conf. on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2002), Seattle, WA, pp. 83\u2013100 (2002)","DOI":"10.1145\/582419.582429"},{"key":"31_CR13","unstructured":"ITU-TS Recommendation Z.120 (11\/99): MSC 2000. ITU-TS, Geneva (1999)"},{"key":"31_CR14","unstructured":"UML. Documentation of the unified modeling language (UML). Available from the Object Management Group (OMG), http:\/\/www.omg.org"},{"key":"31_CR15","unstructured":"Z.120 ITU-TS Recommendation Z.120: Message Sequence Chart (MSC). ITU-TS, Geneva (1996)"}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11562948_31.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:14:36Z","timestamp":1619507676000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11562948_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540292098","9783540319696"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/11562948_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}