Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Checking UML Dynamic Diagrams: A Synchronous Approach
 

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

  

Source: André, Charles - Laboratoire I3S, Université de Nice Sophia Antipolis

 

Collections: Computer Technologies and Information Sciences