Place-liveness of ComSA Applications - Archive ouverte HAL Access content directly
Conference Papers Year : 2015

Place-liveness of ComSA Applications


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.
No file

Dates and versions

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


  • HAL Id : hal-01068419 , version 1


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


Gmail Facebook X LinkedIn More