ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Autres revues >>

L'Objet

1262-1137
logiciel, bases de données, réseaux
Publication abandonné
 

 ARTICLE VOL 10/2-3 - 2004  - pp.47-60  - doi:10.3166/objet.10.2-3.47-60
TITRE
Répartition et mobilité en JAVACT Une approche dérivée d'un modèle formel

RÉSUMÉ
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.


ABSTRACT
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.


AUTEUR(S)
Aurélie HURAULT, Vincent HENNEBERT, Marc PANTEL

MOTS-CLÉS
calcul de processus, modèle d'acteur, répartition, mobilité, langage JAVA.

KEYWORDS
process calculi, actor model, mobility, distribution, JAVA language.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 34.95 €
• Non abonné : 34.95 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (187 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
made by WAW Lavoisier