Répartition et mobilité en JAVACT Une approche dérivée d'un modèle formel
Dans le cadre du génie logiciel pour les applications concurrentes, réparties et mobiles, nous proposons des analyses statiques pour la validation des programmes exploitant le modèle « acteur ». Ces analyses sont définies pour le calcul CAP permettant d'exprimer l'architecture concurrente des applications. Celles-ci sont ensuite programmées en utilisant la bibliothèque JAVACT dont la structure est maintenant dérivée de CAP. Cependant, la répartition et la mobilité introduisent une complexité supplémentaire. L'objectif de cette communication est la présentation de DCAP et DJAVACT qui étendent CAP et JAVACT pour exprimer l'architecture répartie et mobile des applications. Ces travaux sont fondés sur une synthèse bibliographique étendue des calculs existants. Ils introduisent en particulier les notions de domaines hiérarchiques sécurisés et de groupes sécurisés.
This work takes place in the field of software engineering for concurrent, distributed and mobile applications. We advocate the use of static analyses in order to validate actorbased software. These analyses are defined using the CAP calculus which allows to describe an application's concurrent architecture. These applications are then developed using the JAVACT library whose structure is now derived from CAP. However, distribution and mobility introduce additional complexity in the applications. The purpose of this paper is to present DCAP and DJAVACT which extend CAP and JAVACT in order to describe the application's distributed and mobile architecture. This work relies on an extensive bibliographical synthesis of existing calculus. In particular, hierarchical managed domains and managed groups are introduced.
A.HURAULT, V.HENNEBERT, M.PANTEL
calcul de processus, modèle d'acteur, répartition, mobilité, langage JAVA.
process calculi, actor model, mobility, distribution, JAVA language.
Français
|
