{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:57:37Z","timestamp":1750309057327,"version":"3.41.0"},"reference-count":19,"publisher":"Association for Computing Machinery (ACM)","issue":"5","license":[{"start":{"date-parts":[[2005,9,1]],"date-time":"2005-09-01T00:00:00Z","timestamp":1125532800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGSOFT Softw. Eng. Notes"],"published-print":{"date-parts":[[2005,9]]},"abstract":"<jats:p>This report summarizes the Workshop on Scenarios and State Machines: Models, Algorithms, and Tools, held in St. Louis, Missouri, USA, on 21 May 2005, in conjunction with the International Conference on Software Engineering (ICSE 2005). The workshop consisted of a keynote and nine presentations. The workshop web page, which includes presented papers and the keynote presentation, can be found at http:\/\/www.info.fundp.ac.be\/~ybo\/scesm05\/.<\/jats:p>","DOI":"10.1145\/1095430.1095437","type":"journal-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T19:28:32Z","timestamp":1131391712000},"page":"1-4","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Scenarios and state machines"],"prefix":"10.1145","volume":"30","author":[{"given":"Yves","family":"Bontemps","sequence":"first","affiliation":[{"name":"University of Namur, Belgium"}]},{"given":"Alexander","family":"Egyed","sequence":"additional","affiliation":[{"name":"Teknowledge Corp."}]}],"member":"320","published-online":{"date-parts":[[2005,9]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_2_1_1_1","DOI":"10.1145\/1083183.1083185"},{"key":"e_1_2_1_2_1","volume-title":"Model Checking of Message Sequence Charts in Proc. of CONCUR'99","author":"Alur R.","year":"1999","unstructured":"R. Alur , M. Yannakakis , Model Checking of Message Sequence Charts in Proc. of CONCUR'99 , 1999 .]] R. Alur, M. Yannakakis, Model Checking of Message Sequence Charts in Proc. of CONCUR'99, 1999.]]"},{"key":"e_1_2_1_3_1","volume-title":"Proc. of ICSE 2002 Workshop: Scenarios and State machines: models, algorithms, and tools,","author":"Diethelm I.","year":"2002","unstructured":"I. Diethelm , L. Geiger , T. Maier , and A. Z\u00fcndorf , Turning Collaboration Diagram Strips into Storycharts , In Proc. of ICSE 2002 Workshop: Scenarios and State machines: models, algorithms, and tools, available at http:\/\/www.cs.tut.fi\/~tsysta\/ICSE\/Program.html, 2002 .]] I. Diethelm, L. Geiger, T. Maier, and A. Z\u00fcndorf, Turning Collaboration Diagram Strips into Storycharts, In Proc. of ICSE 2002 Workshop: Scenarios and State machines: models, algorithms, and tools, available at http:\/\/www.cs.tut.fi\/~tsysta\/ICSE\/Program.html, 2002.]]"},{"doi-asserted-by":"publisher","key":"e_1_2_1_4_1","DOI":"10.1145\/1083183.1083184"},{"doi-asserted-by":"publisher","key":"e_1_2_1_5_1","DOI":"10.1145\/1083183.1083186"},{"doi-asserted-by":"publisher","key":"e_1_2_1_6_1","DOI":"10.1145\/1083183.1083187"},{"doi-asserted-by":"publisher","key":"e_1_2_1_7_1","DOI":"10.5555\/645385.651513"},{"doi-asserted-by":"publisher","key":"e_1_2_1_8_1","DOI":"10.1145\/1083183.1083188"},{"key":"e_1_2_1_9_1","volume-title":"Proc. CIAA","author":"Harel D.","year":"2000","unstructured":"D. Harel , H. Kugler, Synthesizing state-based object systems from LSC specifications , In Proc. CIAA 2000 .]] D. Harel, H. Kugler, Synthesizing state-based object systems from LSC specifications, In Proc. CIAA 2000.]]"},{"key":"e_1_2_1_10_1","first-page":"192","volume-title":"Proc. of ASE'98","author":"Leue S.","year":"1998","unstructured":"S. Leue , L. Mehrmann , M. Rezai, Synthesizing software architecture descriptions from message sequence chart specification . In Proc. of ASE'98 , 1998 , pp. 192 -- 195 .]] S. Leue, L. Mehrmann, M. Rezai, Synthesizing software architecture descriptions from message sequence chart specification. In Proc. of ASE'98, 1998, pp. 192--195.]]"},{"key":"e_1_2_1_11_1","volume-title":"Proc. Int. Conf. on Fundamental Approaches to Software Engineering (FASE 2003), ETAPS 2003","author":"Muccini H.","year":"2003","unstructured":"H. Muccini , Detecting Implied Scenarios analyzing nonlocal Branching Choices ,. In: Proc. Int. Conf. on Fundamental Approaches to Software Engineering (FASE 2003), ETAPS 2003 , Warsaw, Poland , April 2003 . LNCS 2621, Springer.]] H. Muccini, Detecting Implied Scenarios analyzing nonlocal Branching Choices,. In: Proc. Int. Conf. on Fundamental Approaches to Software Engineering (FASE 2003), ETAPS 2003, Warsaw, Poland, April 2003. LNCS 2621, Springer.]]"},{"key":"e_1_2_1_12_1","first-page":"15","volume-title":"Proc. of ICSE'01","author":"M\u00e4kinen E.","year":"2001","unstructured":"E. M\u00e4kinen and T. Syst\u00e4 , An Interactive Synthesizer to Support Behavioral Modeling in UML , In Proc. of ICSE'01 , 2001 , pp. 15 -- 24 .]] E. M\u00e4kinen and T. Syst\u00e4, An Interactive Synthesizer to Support Behavioral Modeling in UML, In Proc. of ICSE'01, 2001, pp. 15--24.]]"},{"doi-asserted-by":"publisher","key":"e_1_2_1_13_1","DOI":"10.1145\/1083183.1083189"},{"key":"e_1_2_1_14_1","volume-title":"TAPOS","author":"Sch\u00f6nberger S.","year":"2000","unstructured":"S. Sch\u00f6nberger , R. Keller , I. Khriss , Algorithmic Support for Model Transformation in Object-Oriented Software Development , In TAPOS , John Wiley & Sons , 2000 .]] S. Sch\u00f6nberger, R. Keller, I. Khriss, Algorithmic Support for Model Transformation in Object-Oriented Software Development, In TAPOS, John Wiley & Sons, 2000.]]"},{"key":"e_1_2_1_15_1","volume-title":"Proc. of ICSE 2002 Workshop: Scenarios and State machines: models, algorithms, and tools,","author":"Some S.","year":"2002","unstructured":"S. Some , Beyond Scenarios : Generating State Models from Use Cases , In Proc. of ICSE 2002 Workshop: Scenarios and State machines: models, algorithms, and tools, available at http:\/\/www.cs.tut.fi\/~tsysta\/ICSE\/Program.html, 2002 .]] S. Some, Beyond Scenarios: Generating State Models from Use Cases, In Proc. of ICSE 2002 Workshop: Scenarios and State machines: models, algorithms, and tools, available at http:\/\/www.cs.tut.fi\/~tsysta\/ICSE\/Program.html, 2002.]]"},{"doi-asserted-by":"publisher","key":"e_1_2_1_16_1","DOI":"10.1145\/505776.505782"},{"doi-asserted-by":"publisher","key":"e_1_2_1_18_1","DOI":"10.1145\/503209.503220"},{"key":"e_1_2_1_19_1","volume-title":"Proc. of ICSE 2002 Workshop: Scenarios and State machines: models, algorithms, and tools,","author":"Whittle J.","year":"2002","unstructured":"J. Whittle and J. Schumann , Statechart Synthesis From Scenarios: an Air Traffic Control Case Study , In Proc. of ICSE 2002 Workshop: Scenarios and State machines: models, algorithms, and tools, available at http:\/\/www.cs.tut.fi\/~tsysta\/ICSE\/Program.html, 2002 .]] J. Whittle and J. Schumann, Statechart Synthesis From Scenarios: an Air Traffic Control Case Study, In Proc. of ICSE 2002 Workshop: Scenarios and State machines: models, algorithms, and tools, available at http:\/\/www.cs.tut.fi\/~tsysta\/ICSE\/Program.html, 2002.]]"},{"doi-asserted-by":"publisher","key":"e_1_2_1_20_1","DOI":"10.1145\/337180.337217"}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1095430.1095437","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1095430.1095437","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:29:46Z","timestamp":1750285786000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1095430.1095437"}},"subtitle":["models, algorithms, and tools: a summary of the 4\n            <sup>th<\/sup>\n            workshop"],"short-title":[],"issued":{"date-parts":[[2005,9]]},"references-count":19,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2005,9]]}},"alternative-id":["10.1145\/1095430.1095437"],"URL":"https:\/\/doi.org\/10.1145\/1095430.1095437","relation":{},"ISSN":["0163-5948"],"issn-type":[{"type":"print","value":"0163-5948"}],"subject":[],"published":{"date-parts":[[2005,9]]},"assertion":[{"value":"2005-09-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}