意大利烟草协会 swMATH ID: 15257 软件作者: Cámara,J。;马汀,J.A。;Salaün,G。;库博,J。;Ouederni,M。;运河,C。;皮门特尔,E。 描述: ITACA:一个集成的工具箱,用于自动组合和调整web服务。在通过组装可重用软件服务(通过其公共接口访问)而开发的系统中,适应性至关重要。该过程旨在通过合成中介适配器,尽可能自动地解决接口之间在不同互操作性级别上可能出现的不匹配情况。在本文中,我们提出了一个完全支持适应过程的工具箱,包括:(i)构建涉及多个服务的适应合同的不同方法;(ii)有助于识别和纠正错误行为或死锁执行的模拟和验证技术;以及(iii)基于上述合同生成集中式或分布式适配器协议的技术。我们的工具箱将模型与实现平台相关联,从现有接口描述中自动提取行为模型开始,直到为目标平台生成最终适配器实现。 主页: http://cadp.inria.fr/software/09-a-itaca-acide.html 相关软件: 莫德;LTSA-WS公司;WSAT公司;上下文J;Jav适配器;SCEL公司;朱莉;克拉姆;帕戈达;沙发2.0;合成;mCRL2型;BESERIAL公司;CADP公司;DCMTB公司 引用于: 5文件 全部的 前5名10位作者引用 2 格温·萨拉恩 1 罗伯托·布鲁尼 1 哈维尔·卡马拉 1 卡洛斯·卡纳尔 1 安德烈亚·科拉迪尼 1 弗朗西斯科·杜兰 1 法比奥·加杜奇 1 卢赫·拉富恩特,阿尔贝托 1 梅里姆·乌代尔尼 1 安德烈·范丁 2篇连载文章中引用 2 计算机程序设计科学 2 逻辑与代数程序设计杂志 在2个字段中引用 5 计算机科学(68至XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文