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.