4th International Workshop on
Scenarios and State Machines: Models, Algorithms and Tools
(SCESM'05)
ICSE 2005 Workshop
Summary
Description
Scenarios and state machines have emerged as two important modeling
perspectives on the reactive behavior of complex systems. Scenarios
typically represent a partial view on the interactions between
multiple components; state machines represent the complete behavior
of individual components. Non-technical stakeholders find it easier
to manipulate scenarios, while state machines are closer to
implementation but harder to comprehend. Combining the strengths of
these two views can improve the reliability of software
engineering. This combination shall be supported by tools, based on
algorithms relating scenarios and state machines for analysis,
design, implementation or validation.
The UML is a prominent example of a modeling language providing both
scenario- and state-based description techniques for object and
component behavior. Scenarios are captured by means of use cases, or
sequence and collaboration diagrams, where component interaction is
in the center of concern. Statecharts capture state-based behavior,
typically on a per-component basis. In the telecommunications
domain, the ITU standards of MSC (Message Sequence Charts) and SDL
(Specification and Description Language) provide a similar
distinction between exemplary and complete behavior descriptions. In
both cases, there exists little methodological or tool support for
transitions between scenarios and state machines, let alone means
for refining or validating one against the other.
The past workshops revealed the potential of scenarios and state
machines. We now need to unleash this potential in practice. The
theme of this fourth workshop on scenarios and state machines is on
validating results and exploring new frontier. A particular focus of
this workshop will be on experience reports as a means of
investigating where we are heading and whether or not it is paying
off.
Program
Talks should be 15 minutes
long, there will be five minutes left for short questions. At
the end of every session, 20-30 minutes will be left for discussions.
- Keynote (9:00 - 10:30)
- Harmonizing intra- and inter-object specification and verification: a multi-object logics approach, Prof. Dr Hans-Dieter Ehrich, Technical University of Braunschweig
- Coffee Break (10:30 - 11:00)
- Session 1 (11:00 - 12:30)
- Capturing Non-Determinism In The System Specification For Detecting Implied Scenarios, Abdolmajid Mousavi, Armin Eberlein,
Joerg Denzinger.
- Scenarios, State Machines and Purpose-Driven Testing,Thomas A. Alspaugh, Debra J. Richardson and Thomas A. Standish.
- Story Driven Testing - SDT, Leif Geiger and Albert Zuendorf.
- Lunch (12:30 - 1:30)
- Session 2 (1:30 - 3:00)
- Reconciling Scenario-Centered Controller Design with State-Based System Models, Holger Giese, Ekkart Kindler, Florian Klein and Robert Wagner.
- From Scenarios to Aspects: Exploring Product Lines, Ingolf H Krueger, Reena Mathew and Michael Meisinger.
- Executable Component-Based Scenarios, Franck Barbier and Olivier Constant.
- Session 3 (3:00 - 4:30)
- Eliciting Requirements and Scenarios using the SCTL-MUS Methodology. The Shuttle System Case Study ,Jose J. Pazos-Arias, Jorge Garcia-Duque, Martin Lopez-Nores and Belen Barragans-Martinez.
- A Scope Theory for Ensuring Correct and ConsistentFlows of Control in UML Specifications , Franck Xia.
- A Grammar-Based Approach to Class Diagram Validation ,
Faizan Javed Marjan Mernik Barrett R. Bryant, Jeff Gray.
- Conclusion (4:30 - 5:00)
Case Studies
Prospective participants are
encouraged to use one of the two SCESM'04 case
studies. These two case studies are the "Shuttle System", which
is part of the New Rail-Technology
Paderborn project, and the weather update system of NASA's Center TRACON system. A detailed
description of these two case studies is available on SCESM'04 case studies
web site.
Call for papers
The call for paper is available in HTML and PDF.
Papers submissions
Papers of at most 5 pages must
be submitted electronically through ICSE'05 submission web site , in
PDF format, following ICSE paper format (ICSE'05
format). Two types of contributions are sought:
experience reports on the case studies or other real-world
examples, and research contributions. Topics of interest
include, but are not limited to - Methodology (how to
analyze/capture key scenarios; how to refine partial towards complete
behavior specifications; when best to apply scenarios as opposed to
state machines; and vice versa)
- Algorithms and Tools
(e.g., consistency checks, synthesizing tests from scenarios,
synthesizing state machines from scenarios, implied scenarios,
generating scenarios from state machines)
- Models and
notations (requirements for different application areas,
shortcomings in current notations, new suggestions for models or
notations, categorizations, alternatives to sequence charts
notations)
Accepted papers will be published in ACM digital
library. Proceedings will be made electronically available to
participants before and at the workshop.
Important
Dates
- 28 February 2005: Submission of papers
- 21 March 2005: Notification of acceptance
- 4 April 2005: Submission of publication-ready papers
- 21 May 2005: Workshop
Program Committee
- Yves Bontemps, University
of Namur, (co-organizer)
- Alexander Egyed, Teknowledge
Corp, (co-organizer)
- Holger
Giese, University of Paderborn
- Martin Glinz, University of
Zurich
- Jeff
Kramer, Imperial College
- Ingolf Krueger,
University of California, San Diego.
- Hillel Kugler,
New York University
- Stefan
Leue, University of Konstanz.
- Wilhelm
Schäfer, University of Paderborn.
- Stéphane Somé,
University of Ottawa
- Tarja Systä, Tampere
University of Technology
- Sebastian Uchitel, Imperial
College.
- Jon
Whittle, QSS Inc. NASA Ames.
- Albert
Zuendorf, University of Kassel
Previous workshops
- OOPSLA'00 workshop on "Scenario-based round-trip engineering"
- SCESM'02
- SCESM'03
- Dagstuhl Seminar 03371 on Scenarios: Models, Transformations and Tools
- SCESM'04
Venue
The workshop will be held as part of the 27th
International Conference on Software Engineering (ICSE'05), in
Saint-Louis, Missouri, on 21 May 2005. 
