Servicio de Información Comunitario sobre Investigación y Desarrollo - CORDIS

FP5

OMEGA Informe resumido

Project ID: IST-2001-33522
Financiado con arreglo a: FP5-IST
País: Israel

LSC play engine extensions

The Play-In/Play-Out approach is a method for capturing and executing scenario-based behavioural requirements. This result deals with applying the method and supporting tools to several industrial case studies, and with extending the method and tools with verification and synthesis capabilities.

The Play-Engine tool supports a scenario-based approach for specifying and executing behavioural requirement of complex reactive systems. Scenarios are specified using the language of live sequence charts (LSCs). The tool supports a convenient way to capture requirements (Play-In) by playing them in using a graphical user interface (GUI), and a rather surprising and powerful method (Play-Out) for executing the requirements directly. An extension of this approach called smart play-out uses verification methods to execute the scenarios directly, and also supports methods for analysing the scenarios for consistency and satisfaction of given behavioural properties.

The Play-Engine has been applied to successfully to several case-studies in the OMEGA project: The voting and monitoring subsystem by the Israeli Aircraft Industry (IAI), the MARS model by NLR, and the Depannage telecom service by FTRD. A methodology for synthesizing state-chart models from scenario-based requirements has also been developed. The requirements are given in the language of live sequence charts (LSCs), and may be played in directly from the GUI, and the resulting state-charts are of the object-oriented variant, as adopted in the UML and OMEGA. The synthesis methodology is not fully automatic but rather relies on user interaction and expertise to allow more efficient synthesis algorithms. A major obstacle that requires additional research efforts is the high computational complexity of the synthesis algorithms, currently preventing scaling of the synthesis approaches to very large systems.

Información relacionada

Reported by

THE WEIZMANN INSTITUTE OF SCIENCE
HERZEL STREET 2
76100 REHOVOT
Israel
Síganos en: RSS Facebook Twitter YouTube Gestionado por la Oficina de Publicaciones de la UE Arriba