CALL FOR PAPERS =============== 2nd International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools http://www.doc.ic.ac.uk/~su2/SCESM/ Held at the International Conference on Software Engineering 2003 http://cs.oregonstate.edu/icse2003/ May 3, 2003 Portland, Oregon, USA Keynote: Prof. David Harel, Weizmann Institute ============================================= The International Conference on Software Engineering (ICSE) is the premier software engineering conference. Since 1975 it has been a major forum for researchers, practitioners, and educators to present and discuss the most recent advances, trends, and concerns. In the context of ICSE 2003 we invite submission of position papers to the second edition of the International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools. Themes and Goals ---------------- Behavior modeling plays an important role in the engineering of software-based systems; it is the basis for systematic approaches to requirements capture, specification, design, simulation, code generation, testing, and verification. A range of notations, techniques and tools supporting behavior modeling for these development tasks exists. Two complementary approaches for modeling behavior have proven useful in practice: state- and scenario-based modeling. UML statecharts have become popular as a description technique for the intended behavior of class instances in object-oriented systems. State-based formalisms are also widely used for modeling distributed and real-time systems, in particular because the corresponding models can be rigorously analyzed using model checking. Practitioners also use scenario-based notations and tools extensively; here, the focus of concern shifts from the complete behavior specification for individual components or objects to the (partial) specification of component collaboration. Use cases, interaction and sequence diagrams play an important role in scenario-based requirements elicitation. The International Telecommunication Union message sequence chart standard defines a scenario-notation for detailed specification of telecommunication system behavior. The use of state machines and scenarios, however, is not limited to capturing intended system behavior; reverse engineering techniques use them extensively to capture the behavior of existing sub-systems. Although there has been much research on both scenarios and state machines the relation between them has yet to be fully understood and, more importantly, exploited. The complementary nature of scenarios and state-machines suggests several avenues for combining the strengths of both modeling approaches. Scenarios can, for instance, be viewed as partial descriptions that are generalized through state machine specifications. Alternatively, scenarios can be thought to provide collaboration views while state machines stress local/component views. Finally, scenarios can be seen as use case realizations that aid in recognizing the operations and associations of classes and in specifying the behavior of objects as state machines. Scenarios can also be viewed as the source of test-cases, used to validate an implementation. This second workshop on scenarios and state machines has been motivated by the very successful first workshop on this topic at ICSE'02. Exploring the relation between scenarios and state machines can lead to new areas of research and to tools that can exploit the best of both worlds. Areas of interest include, but are not limited to: - Models and notations (requirements for different application areas, shortcomings in current notations, new suggestions for models or notations, categorizations) - Algorithms (e.g., synthesis, verification, simulations) - Tools (tool support for the issues above, different application areas) How to Participate ------------------ Prospective participants are requested to submit a position paper in advance (max 5 pages). The program committee will review submissions, guaranteeing a minimum of three reviews per submission, and then select the position papers to be accepted based on relevance, soundness and novelty. The workshop is open and will have a maximum of 30 participants; however, priority registration shall be given to those with accepted papers. Case Study ---------- In order to focus contributions and provide a common basis for discussion, we encourage participants to make use of the case study available at http://www.doc.ic.ac.uk/~su2/SCESM/CS/. However, the case study is not mandatory. Authors may use their own examples or focus on specific or related aspects of the case study. Workshop Agenda --------------- The workshop will be divided into sessions. The opening session will include a keynote by Prof. David Harel. Topics of the working sessions will be determined based on the distribution of accepted position papers Each session will cluster three short presentations (10 min.) where authors will have an opportunity to present the main ideas of their position papers. The presentations shall serve as an opening statement of the session, after which there will be at least half an hour reserved for in-depth discussion of the presentations, related issues, and the implications for future research. How to Submit ------------- Position paper must be submitted in Adobe PDF (see instructions for submitting PDF files) via email to su2@doc.ic.ac.uk by February 1, 2003. Your paper must conform to the proceedings publication format (see http://cs.oregonstate.edu/icse2003/) and should not exceed five pages, including all text, references, appendices, and figures. Important Dates --------------- Paper submissions February 1, 2003 Notification of authors March 1, 2003 Camera-ready copy April 1, 2003 Workshop May 3, 2003 Organizing/Programme Committee ------------------------------ Sebastian Uchitel, Imperial College, UK. (su2@doc.ic.ac.uk) Francis Bordeleau, University of Carleton, Canada. Alexander Egyed, Teknowledge Corporation, USA. Martin Glinz, University of Zürich, Switzerland. Jeff Kramer, Imperial College, UK. Ingolf Krüger, University of California at San Diego, USA. Axel van Lamsweerde, U. Louvain, Belgium. Stefan Leue, University of Freiburg, Germany. Wilhelm Schäfer, University of Paderborn, Germany. Tarja Systä, University of Tampere, Finland. Jon Whittle, NASA Ames, USA. Albert Zündorf, University of Braunschweig, Germany.