Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

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

Charles AndréContact Information, Marie-Agnès Peraldi-FratiContact Information and Jean-Paul RigaultContact Information

(7)  Laboratoire Informatique Signaux et Systèmes (I3S), Universitè de Nice Sophia Antipolis CNRS UMR 6070, Italy
Abstract
The Synchronous Paradigm proposes an abstract model integrating concurrency and communication, deterministic thus simple, semantically well-founded thus suitable to formal analysis, producing safe and efficient code. However combining this model with the object-oriented approach is still challenging. This paper explores how an UMLbased 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 issue of representing behavior in a semantically sound way using the synchronous models, of relating behavior and structure, and of mixing synchronous and asynchronous 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.

Contact Information Charles André
Email: andre@i3s.unice.fr
URL: http://www.i3s.unice.fr

Contact Information Marie-Agnès Peraldi-Frati
Email: map@i3s.unice.fr

Contact Information Jean-Paul Rigault
Email: jpr@i3s.unice.fr
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Referenced by
1 newer article

  1. Apvrille, L. (2004) TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit. IEEE Transactions on Software Engineering 30(7)
    [CrossRef]
Remote Address: 38.107.191.108 • Server: mpweb01
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)