{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T06:40:11Z","timestamp":1736059211492,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540304920"},{"type":"electronic","value":"9783540322405"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11589976_21","type":"book-chapter","created":{"date-parts":[[2005,10,26]],"date-time":"2005-10-26T13:38:16Z","timestamp":1130333896000},"page":"366-385","source":"Crossref","is-referenced-by-count":2,"title":["An Integrated Framework for Scenarios and State Machines"],"prefix":"10.1007","author":[{"given":"Bikram","family":"Sengupta","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rance","family":"Cleaveland","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","unstructured":"Integrated medical systems inc.-lstat. http:\/\/www.lstat.com\/lstat.html"},{"key":"21_CR2","unstructured":"Message sequence charts (MSC). ITU-TS Recommendation Z.120 (1996)"},{"key":"21_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/3-540-48320-9_8","volume-title":"CONCUR\u201999. Concurrency Theory","author":"R. Alur","year":"1999","unstructured":"Alur, R., Yannakakis, M.: Model checking of message sequence charts. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol.\u00a01664, pp. 82\u201397. Springer, Heidelberg (1999)"},{"key":"21_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/978-3-540-45069-6_9","volume-title":"Computer Aided Verification","author":"B. Sengupta","year":"2003","unstructured":"Sengupta, B., Cleaveland, R.: TRIM: A tool for triggered message sequence charts. In: Hunt Jr., W.A., Somenzi, F. (eds.) CAV 2003. LNCS, vol.\u00a02725, pp. 106\u2013109. Springer, Heidelberg (2003)"},{"issue":"1","key":"21_CR5","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1006\/inco.1994.1028","volume":"110","author":"B. Steffen","year":"1994","unstructured":"Steffen, B., Ing\u00f3lfsd\u00f3ttir, A.: Characteristic formulae for processes with divergence. International Journal on Information and Computation\u00a0110(1), 149\u2013163 (1994)","journal-title":"International Journal on Information and Computation"},{"issue":"1","key":"21_CR6","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1145\/151646.151648","volume":"15","author":"R. Cleaveland","year":"1993","unstructured":"Cleaveland, R., Parrow, J., Steffen, B.: The Concurrency Workbench: A semantics based tool for the verification of concurrent systems. ACM Transactions on Programming Languages and Systems\u00a015(1), 36\u201372 (1993)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"1","key":"21_CR7","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/BF02802919","volume":"3","author":"C. Rolland","year":"1998","unstructured":"Rolland, C., Ben Achour, C., et al.: A proposal for a scenario classification framework. Requirements Engineering journal\u00a03(1), 23\u201347 (1998)","journal-title":"Requirements Engineering journal"},{"key":"21_CR8","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1093\/oso\/9780198537618.003.0005","volume":"2","author":"C. Stirling","year":"1992","unstructured":"Stirling, C.: Modal and temporal logics. Handbook of Logic in Computer Science\u00a02, 477\u2013563 (1992)","journal-title":"Handbook of Logic in Computer Science"},{"issue":"1","key":"21_CR9","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"},{"issue":"2","key":"21_CR10","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1145\/322374.322380","volume":"30","author":"D. Brand","year":"1983","unstructured":"Brand, D., Zafiropulo, P.: On communicating finite state machines. Journal of the ACM\u00a030(2), 323\u2013342 (1983)","journal-title":"Journal of the ACM"},{"key":"21_CR11","unstructured":"Schmidt, J.P., Harel, D., Pnueli, A., Sherman, R.: On the formal semantics of statecharts. In: Proceedings of 2nd IEEE Symposium on Logic in Computer Science, pp. 54\u201364 (1987)"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Makinen, E., Systa, T.: Mas - an interactive synthesizer to support behavioral modeling in uml. In: 23rd International Conference on Software Engineering, pp. 15\u201324 (2001)","DOI":"10.1109\/ICSE.2001.919077"},{"key":"21_CR13","unstructured":"Booch, G., Jacobson, I., Rumbaugh, J.: The unified modeling language user guide."},{"key":"21_CR14","volume-title":"Algebraic theory of processes","author":"M. Hennessy","year":"1988","unstructured":"Hennessy, M.: Algebraic theory of processes. The MIT Press, Cambridge (1988)"},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"Whittle, J., Schumann, J.: Generating statechart designs from scenarios. In: Internal Conference on Software Engineering, pp. 314\u2013323 (2000)","DOI":"10.1145\/337180.337217"},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"Kruger, I., Grosu, R., Scholz, P., Broy, M.: From MSCs to statecharts. In: International Workshop on Distributed and Parallel Embedded Systems, pp. 61\u201371 (1999)","DOI":"10.1007\/978-0-387-35570-2_5"},{"issue":"3","key":"21_CR17","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L. Lamport","year":"1994","unstructured":"Lamport, L.: The temporal logic of actions. TOPLAS\u00a016(3), 872\u2013923 (1994)","journal-title":"TOPLAS"},{"issue":"1","key":"21_CR18","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M.C.B. Hennessy","year":"1985","unstructured":"Hennessy, M.C.B., Milner, R.: Algebraic laws for nondeterminism and concurrency. Journal of the ACM\u00a032(1), 137\u2013161 (1985)","journal-title":"Journal of the ACM"},{"key":"21_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/3-540-60630-0_8","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"R. Cleaveland","year":"1995","unstructured":"Cleaveland, R., Madelaine, E., Sims, S.: A front-end generator for verification tools. In: Brinksma, E., Steffen, B., Cleaveland, W.R., Larsen, K.G., Margaria, T. (eds.) TACAS 1995. LNCS, vol.\u00a01019, pp. 153\u2013173. Springer, Heidelberg (1995)"},{"key":"21_CR20","doi-asserted-by":"crossref","unstructured":"Cleaveland, R., Luettgen, G.: A logical process calculus. In: 9th Int\u2019l Workshop on Expressiveness in Concurrency. Electronic Notes in Theoretical Computer Science, vol.\u00a068 (2002)","DOI":"10.1016\/S1571-0661(05)80362-7"},{"key":"21_CR21","unstructured":"Reniers, M.A.: Message sequence chart: Syntax and semantics. PhD Thesis, Eindhoven University of Technology (1998)"},{"key":"21_CR22","unstructured":"Milner, R.: Communication and concurrency (1989)"},{"key":"21_CR23","doi-asserted-by":"crossref","unstructured":"Sengupta, B.: Triggered message sequence charts. Ph.D Thesis, SUNY Stony Brook (2003)","DOI":"10.1007\/978-3-540-45069-6_9"},{"key":"21_CR24","doi-asserted-by":"crossref","unstructured":"Sengupta, B., Cleaveland, R.: Refinement-based requirements modeling using triggered message sequence charts. In: 11th IEEE Int\u2019l Requirements Engineering Conference (2003)","DOI":"10.1109\/ICRE.2003.1232741"},{"key":"21_CR25","doi-asserted-by":"crossref","unstructured":"Sengupta, B., Cleaveland, R.: Triggered message sequence charts. In: ACM SIGSOFT 2002, 10th Int\u2019l Symposium on the Foundations of Software Engineering (FSE-10), pp. 167\u2013176 (2002)","DOI":"10.1145\/587051.587077"},{"key":"21_CR26","doi-asserted-by":"crossref","unstructured":"Uchitel, S., Kramer, J., Magee, J.: Behavior model elaboration using partial labelled transition systems. In: Proceedings of ESEC\/FSE, pp. 19\u201327 (2003)","DOI":"10.1145\/940071.940076"},{"key":"21_CR27","doi-asserted-by":"crossref","unstructured":"Uchitel, S., Kramer, J., Magee, J.: Synthesis of behavioral models from scenarios. IEEE Transactions on Software Engineering\u00a029(2) (2003)","DOI":"10.1109\/TSE.2003.1178048"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11589976_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T06:18:56Z","timestamp":1736057936000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11589976_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540304920","9783540322405"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/11589976_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}