International Workshop on

Validation and Implementation of Scenario-based Specifications

VISS 2002

Grenoble, France
April 7, 2002

Organized and sponsored by the INRIA ARC FISC

a satellite workshop of the

5th European Joint Conferences on Theory and Practice of Software
 
 

ETAPS 2002

Grenoble, France
April 6 - 14, 2002

Programme

9:20 - 9:30  Opening
9:30 - 10:30  Invited talk: MSCs in the development process - role and limitations
M. Broy (TU Munich)
10:30 - 11:00  Coffee break 
11:00 - 11:30  Formal Techniques for Analysing Scenarios using Message Sequence Charts 
P. Bhaduri, R. Venkatesh and G. Palshikar (TRDDC, Tata Consultancy Services) 
11:30 - 12:00  Implied Scenario Detection in the Presence of Behaviour Constraints 
S. Uchitel, J. Kramer, J. Magee (Imperial College, London)
12:00 - 14:00  Lunch
14:00 - 15:00  Invited talk: Specification and Verification using MSCs
D. A. Peled (Univ. of Texas at Austin)
15:00 - 15:45  Tutorial (tentative): Specifying Services with UML and UML-RT 
I. Kr?ger (Univ. of San Diego) 
15:45 - 16:15  Coffee break 
16:15 - 16:45  Timed Semantics of Message Sequence Charts Based on Timed Automata 
Ph. Lucas (RWTH Aachen)
16:45 - 17:15  A semantics for timed MSC 
T. Zheng, F. Khendek (Univ. of Concordia, Montreal), L. Hélouët (IRISA, Rennes)
17:15 - 17:30  Discussion and closing 

Workshop Description

There is a need within systems engineering and software development to improve software design by applying general and flexible tools. Formal tools for describing systems are required for increasing the efficiency of the design process through: Graphical specification formalisms exhibit an increasing popularity in software development for industrial applications. The prototype of scenario-based, graphical languages is the ITU standardized notation of message sequence charts (MSC). Used for capturing early system requirements, MSCs are particularly suited for designing and validating distributed, reactive systems, in particular telecommunication protocols. They usually describe partial views of a system by abstracting away certain aspects like variable values, message contents, or the internal behavior of submodules.

The aim of the workshop is to gather a larger community of researchers interested in scenario-based notations for designing distributed systems and to outline new trends and problems in the field. Topics of interest include (not exclusively):

Organizers

Programme Committee


 

Invited Speakers

Manfred Broy (TU Munich), MSCs in the development process - role and limitations
Doron Peled (Bell Labs), Specification and Verification using MSCs
 
 

Submission Information

Papers should be submitted electronically in standard Postscript or PDF format to viss02@liafa.jussieu.fr and they should not exceed 15 pages. The submission should contain the contact author's physical and e-mail addresses and phone number. Submitted papers must be unpublished and not submitted for publication elsewhere. The proceedings will be published in Electronic Notes in Theoretical Computer Science and will be also available at the workshop in printed form.

Dates

Submission deadline: December 21, 2001
Acceptance notification: January 27, 2002
Final version: February 25, 2002

 

Organization

For any questions related to VISS 2002 please refer to our web site: http://www.liafa.jussieu.fr/~anca/VISS02.html
or e-mail to: viss02@liafa.jussieu.fr