Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Integrating the Synchronous Paradigm into UML: Application to Control-Dominated Systems
 

Summary: Integrating the Synchronous Paradigm into UML:
Application to Control-Dominated Systems
Charles André, Marie-Agnès Peraldi-Frati, and Jean-Paul Rigault
Laboratoire Informatique Signaux et Systèmes (I3S)
Université de Nice Sophia Antipolis CNRS UMR 6070
{andre,map,jpr}@i3s.unice.fr
http://www.i3s.unice.fr
Abstract. The Synchronous Paradigm proposes an abstract model integrating
concurrency and communication, deterministic thus simple, semantically well-
founded thus suitable for formal analysis, producing safe and efficient code. How-
ever combining this model with the object-oriented approach is still challenging.
This paper explores how an UML-based methodology can be set up, making
it possible to use the Synchronous Paradigm in combination with other (more
classical) techniques to develop control-dominated systems. It addresses the is-
sue of representing behavior in a semantically sound way using the synchronous
models, of relating behavior and structure, and of mixing synchronous and asyn-
chronous behavior though an extended notion of (ROOM-like) «capsules», the
synchronous islets. We also briefly mention the extensions and modifications in
the UML meta-model necessary to support this methodology.
1 Control-Dominated Systems

  

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

 

Collections: Computer Technologies and Information Sciences