×

意大利烟草协会

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文件

按年份列出的引文