Preface: Volume 65, Issue 7

✍ Scribed by Benoît Caillaud; Anca Muscholl

• Publisher: Elsevier Science
• Year: 2002
• Tongue: English
• Weight: 47 KB
• Volume: 65
• Category: Article
• ISSN: 1571-0661
• DOI: 10.1016/s1571-0661(05)80487-6

✦ Synopsis

This volume contains the Proceedings of the International Workshop Validation and Implementation of Scenario-based Specifications (VISS'2002) that was held as satellite event of the 5th European Joint Conferences on Theory and Practice of Software (ETAPS'2002) in Grenoble, France, April 7th, 2002.

There is a strong 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 automated error analysis, integration of specifications into existing tools, and automatical generation of intermediate descriptions.

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.

The aim of the workshop is to gather a larger community of researchers interested in scenariobased notations for designing distributed systems and to outline new trends and problems in the field.