{"title":"Répartition et mobilité en JAVACT Une approche dérivée d'un modèle formel","authors":"Aurélie Hurault, Vincent Hennebert, Marc Pantel","doi":"10.3166/objet.10.2-3.47-60","DOIUrl":null,"url":null,"abstract":"Dans le cadre du genie logiciel pour les applications concurrentes, reparties et mobiles, nous proposons des analyses statiques pour la validation des programmes exploitant le modele « acteur ». Ces analyses sont definies pour le calcul CAP permettant d'exprimer l'architecture concurrente des applications. Celles-ci sont ensuite programmees en utilisant la bibliotheque JAVACT dont la structure est maintenant derivee de CAP. Cependant, la repartition et la mobilite introduisent une complexite supplementaire. L'objectif de cette communication est la presentation de DCAP et DJAVACT qui etendent CAP et JAVACT pour exprimer l'architecture repartie et mobile des applications. Ces travaux sont fondes sur une synthese bibliographique etendue des calculs existants. Ils introduisent en particulier les notions de domaines hierarchiques securises et de groupes securises.","PeriodicalId":201701,"journal":{"name":"Obj. Logiciel Base données Réseaux","volume":"35 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2004-09-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Obj. Logiciel Base données Réseaux","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.3166/objet.10.2-3.47-60","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1
Abstract
Dans le cadre du genie logiciel pour les applications concurrentes, reparties et mobiles, nous proposons des analyses statiques pour la validation des programmes exploitant le modele « acteur ». Ces analyses sont definies pour le calcul CAP permettant d'exprimer l'architecture concurrente des applications. Celles-ci sont ensuite programmees en utilisant la bibliotheque JAVACT dont la structure est maintenant derivee de CAP. Cependant, la repartition et la mobilite introduisent une complexite supplementaire. L'objectif de cette communication est la presentation de DCAP et DJAVACT qui etendent CAP et JAVACT pour exprimer l'architecture repartie et mobile des applications. Ces travaux sont fondes sur une synthese bibliographique etendue des calculs existants. Ils introduisent en particulier les notions de domaines hierarchiques securises et de groupes securises.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
