Skip to Main content Skip to Navigation

Génération de modèles comportemementaux des applications des applications réparties

Rabea Boulifa 1 
1 OASIS - Active objects, semantics, Internet and security
CRISAM - Inria Sophia Antipolis - Méditerranée , Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : Therefore, we define a behavioural semantics for ProActive, a Java library for concurrent, distributed,
and mobile computing. From this semantics we
build behavioural models for finite abstractions of applications. These models are based on
process algebra semantics, so they can be built in a compositional
Building the finite models is not always possible.
In order to deal the problems that take into account the data as well the
problems concerning topologies with infinite objects, we define the
notion of hierarchical models, based on parameterized transition
systems and parameterized synchronisation networks.
By means of abstractions these models can depict infinite
applications by expressive and finite representations.
On the other hand, we define a system of semantics rules for
building the (finite or parameterized) models from an
intermediate form of programs obtained by static analysis.
The models generated this way are used directly or after instantiation, standard
by verification tools.
Document type :
Complete list of metadata
Contributor : Rabea Boulifa Connect in order to contact the contributor
Submitted on : Friday, April 1, 2005 - 7:34:50 PM
Last modification on : Friday, February 4, 2022 - 3:19:19 AM
Long-term archiving on: : Friday, April 2, 2010 - 9:55:53 PM


  • HAL Id : tel-00008927, version 1



Rabea Boulifa. Génération de modèles comportemementaux des applications des applications réparties. Génie logiciel [cs.SE]. Université Nice Sophia Antipolis, 2004. Français. ⟨tel-00008927⟩



Record views


Files downloads