| | |
Summary: Checking UML Dynamic Diagrams:
A Synchronous Approach
C. ANDRÉ, M-A. PERALDI-FRATI, J-P. RIGAULT
Laboratoire Informatique Signaux et Systèmes (I3S)
Université de Nice Sophia Antipolis
CNRS UPRES-A 6070
Email {andre, map, jpr}@i3s.unice.fr
Abstract : This paper addresses the design of control-dominated systems using a synchronous approach and the
UML. The work aims at formally checking the design: scenarios/controller consistency, safety properties. For
this, a strengthening of UML behavioral models is necessary: SyncCharts are used instead of Statecharts, and
Sequence Diagrams are extended with synchronously sound constructs akin to Message Sequence Charts. The
formal foundations of the approach and the associated tools are briefly presented.
Keywords : Scenario, Statecharts, SyncCharts, Design, Model Checking.
Contact : C. André,
Laboratoire I3S, BP 121,
06903 Sophia Antipolis Cédex, France
Tél : +33. 4.92.94.27.11
Fax : +33. 4.92.94.28.96
Introduction
We are interested in the design of control-dominated systems as used in real-time. Our approach relies on
|
