Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  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
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