Skip to Main content Skip to Navigation
Theses

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
manner.
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 :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00008927
Contributor : Rabea Boulifa <>
Submitted on : Friday, April 1, 2005 - 7:34:50 PM
Last modification on : Wednesday, November 4, 2020 - 3:12:03 PM
Long-term archiving on: : Friday, April 2, 2010 - 9:55:53 PM

Identifiers

  • HAL Id : tel-00008927, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

345

Files downloads

665