[clean-list] Re: CfP: Scenarios and State Machines at ICSE 2007

[Kicillof, Nicolas (UBA)]

CALL FOR PAPERS

SCESM'07 -- 6th International Workshop on Scenarios and State Machines
======================================================================
A workshop at ICSE, May 2007

http://research.microsoft.com/conferences/scesm07/


ORGANIZERS

Wolfgang Grieskamp, Microsoft Research
Nicolas Kicillof, U. of Buenos Aires


GOALS

Scenarios and state machines are two of the fundamental modeling
perspectives for developing behavioral abstractions of complex,
reactive software. Scenarios represent a partial view on the
interactions between multiple system components; state machines
typically model the complete behavior of individual components. Both
perspectives have advantages - scenarios are easily understood by
stakeholders at all levels, lead naturally to tests and focus on
inter-component communication; state machines, on the other hand,
provide precise descriptions of component behavior and can be used for
generating implementations (either manually or automatically). In
particular, UML supports both notations and in UML2.0, scenarios can
be modeled in a much more expressive way than with previous versions
of UML.

This workshop aims to investigate the connection between scenarios and
state machines, assess how this connection can be exploited to improve
software development, support the evaluation of techniques that
exploit the connection and support the showcasing of developer tools
based on both views.


PAPER SUBMISSIONS

SCESM'07 aims to foster discussion and dissemination of fundamental
techniques that relate scenario-based software engineering and
reactive system modeling with state machines. The following themes
have been identified as special topics of interest for this year's
workshop although all relevant topics are welcome:

*	Relation and derivation of scenarios and state machines from each other,
    both practical and foundational
*	Notations for scenarios and state machines
*	Foundation and application of analysis techniques like model-based testing
    and model- checking
*	Relation to software architectures and model driven architecture (MDA)
*	Relation to aspect-oriented modeling
*	Application of scenarios and state machines in domain-specific areas

Three types of submissions are possible: research papers describe
novel, unpublished results and must clearly state their originality
and relevance to the workshop; tool papers describe implementations
that support the workshop's goals; experience reports describe
applications of related techniques in industry. All types of papers
are limited to seven pages and must conform to the ICSE2007 submission
format and guidelines. Papers must be submitted electronically, in PDF
format. Papers will be published in the ACM digital library as part of
the ICSE proceedings.

IMPORTANT DATES

Paper submissions due 	      January 20th, 2007
Notification of acceptance 	  February 20th, 2007
Camera-ready versions due 	  March 5th, 2007


PROGRAM COMMITEE

Please visit the workshop web site at
http://research.microsoft.com/conferences/scesm07/.