Place-liveness of ComSA Applications

Abstract : 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.
Type de document :
Communication dans un congrès
FACS, Sep 2014, Bertinoro, Italy. Springer, pp.1-18, 2015, LNCS
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01068419
Contributeur : Abderrahim Ait Wakrime <>
Soumis le : jeudi 25 septembre 2014 - 16:11:06
Dernière modification le : jeudi 17 janvier 2019 - 15:10:02

Identifiants

  • HAL Id : hal-01068419, version 1

Collections

Citation

Abderrahim Ait Wakrime, Sébastien Limet, Sophie Robert. Place-liveness of ComSA Applications. FACS, Sep 2014, Bertinoro, Italy. Springer, pp.1-18, 2015, LNCS. 〈hal-01068419〉

Partager

Métriques

Consultations de la notice

150