Place-liveness of ComSA Applications - Université d'Orléans Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Place-liveness of ComSA Applications

Résumé

Interactive scientific visualization applications are based on heterogeneous codes to implement simulation, visualization and interaction parts. These different parts need to be precisely assembled to construct high performance applications allowing efficient interactions. Thanks to their programming paradigm, component-based approaches are suitable to construct this kind of applications. However, building a correct application using this paradigm is a difficult task. Even starting up such an application may be a difficult problem since the composition may lead to deadlocks. This paper defines a sufficient condition that ensures place-liveness of a subclass of FIFO nets. This result is used to provide tools that help a user to analyze his application. Especially, this analysis aims at avoiding deadlocks and starting the application up in a way that ensures its liveness i.e. all its components are active.
Fichier non déposé

Dates et versions

hal-01068419 , version 1 (25-09-2014)

Identifiants

  • HAL Id : hal-01068419 , version 1

Citer

Abderrahim Ait Wakrime, Sébastien Limet, Sophie Robert. Place-liveness of ComSA Applications. FACS, Sep 2014, Bertinoro, Italy. pp.1-18. ⟨hal-01068419⟩
77 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More