2nd International Workshop on Scenarios 
    and State Machines: Models, Algorithms, and Tools

Held at the International Conference on Software Engineering 2003


                      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 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 by February 1,
2003. Your paper must conform to the proceedings publication format
(see 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. (
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.