Scenarios and state machines: models, algorithms, and tools: a summary of the 4th workshop

ABSTRACT

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/.

REFERENCES

• 1: Thomas A. Alspaugh , Debra J. Richardson , Thomas A. Standish, Scenarios, state machines and purpose-driven testing, Proceedings of the fourth international workshop on Scenarios and state machines: models, algorithms and tools, p.1-5, May 20-20, 2005, St. Louis, Missouri
• 2: Rajeev Alur , Mihalis Yannakakis, Model Checking of Message Sequence Charts, Proceedings of the 10th International Conference on Concurrency Theory, p.114-129, August 24-27, 1999
• 3: I. Diethelm, L. Geiger, T. Maier, and A. Zündorf, 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.
• 4: Hans-Dieter Ehrich, Harmonizing intra- and inter-object specification and verification: a multi-object logics approach, Proceedings of the fourth international workshop on Scenarios and state machines: models, algorithms and tools, p.1-1, May 20-20, 2005, St. Louis, Missouri
• 5: Leif Geiger , Albert Zündorf, Story driven testing - SDT, Proceedings of the fourth international workshop on Scenarios and state machines: models, algorithms and tools, p.1-6, May 20-20, 2005, St. Louis, Missouri
• 6: Holger Giese , Ekkart Kindler , Florian Klein , Robert Wagner, Reconciling scenario-centered controller design with state-based system models, Proceedings of the fourth international workshop on Scenarios and state machines: models, algorithms and tools, p.1-5, May 20-20, 2005, St. Louis, Missouri
• 7: Martin Glinz, An Integrated Formal Model of Scenarios Based on Statecharts, Proceedings of the 5th European Software Engineering Conference, p.254-271, September 25-28, 1995
• 8: Ingolf H. Krüger , Reena Mathew , Michael Meisinger, From scenarios to aspects: exploring product lines, Proceedings of the fourth international workshop on Scenarios and state machines: models, algorithms and tools, p.1-6, May 20-20, 2005, St. Louis, Missouri
• 9: David Harel , Hillel Kugler, Synthesizing State-Based Object Systems from LSC Specifications, Revised Papers from the 5th International Conference on Implementation and Application of Automata, p.1-33, July 24-25, 2000
• 10: Stefan Leue , Mohammad Rezai, Synthesizing Software Architecture Descriptions from Message Sequence Chart Specifications, Proceedings of the 13th IEEE international conference on Automated software engineering, p.192, October 13-16, 1998
• 11: 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.
• 12: Erkki Mäkinen , Tarja Systä, MAS — an interactive synthesizer to support behavioral modelling in UML, Proceedings of the 23rd International Conference on Software Engineering, p.15-24, May 12-19, 2001, Toronto, Ontario, Canada
• 13: José J. Pazos-Arias , Jorge García-Duque , Martín López-Nores, Eliciting requirements and scenarios using the SCTL-MUS methodology: the shuttle system case study, Proceedings of the fourth international workshop on Scenarios and state machines: models, algorithms and tools, p.1-5, May 20-20, 2005, St. Louis, Missouri
• 14: S. Schönberger, R. Keller, I. Khriss, Algorithmic Support for Model Transformation in Object-Oriented Software Development, In TAPOS, John Wiley & Sons, 2000.
• 15: 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.
• 16: Tarja Systä , Rudolf K. Keller , Kai Koskimies, Summary report of the OOPSLA 2000 workshop on scenario-based round-trip engineering, ACM SIGSOFT Software Engineering Notes, v.26 n.2, March 2001 [doi>10.1145/505776.505782]
• 17: T. Systä (ed.), Proceedings of OOPSLA 2000 Workshop: Scenario-based round-trip engineering, Tampere University of Technology, Software Systems Laboratory, Report 20, October, 2000.
• 18: Sebastian Uchitel , Jeff Kramer , Jeff Magee, Detecting implied scenarios in message sequence chart specifications, Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering, September 10-14, 2001, Vienna, Austria
• 19: 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.
• 20: Jon Whittle , Johann Schumann, Generating statechart designs from scenarios, Proceedings of the 22nd international conference on Software engineering, p.314-323, June 04-11, 2000, Limerick, Ireland [doi>10.1145/337180.337217]

INDEX TERMS

Primary Classification:
  A. General Literature
  A.1 INTRODUCTORY AND SURVEY

Additional Classification:
  F. Theory of Computation
  F.1 COMPUTATION BY ABSTRACT DEVICES
      F.1.1 Models of Computation

General Terms:
Algorithms, Design, Documentation, Theory