{"title":"JAVACT中的分布和移动性一种来自正式模型的方法","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":"{\"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}","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}
Répartition et mobilité en JAVACT Une approche dérivée d'un modèle formel
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号
