• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Multiagent and grid systems >A multi-paradigm approach to model and verify mobile agent software systems
【24h】

A multi-paradigm approach to model and verify mobile agent software systems

机译：建模和验证移动代理软件系统的多范式方法

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Modelling and verification of complex systems including mobile agent-based software systems are a painful task, because of different constraints such as mobility and security which must be taken into account to build correct software. This is what strongly hindered their evolution in preceding years in comparison to the success enjoyed by object oriented systems. UML has contributed largely in the success of object oriented systems. Mobile UML is a proposed extension to UML for modelling mobile agent-based software systems, and it inherits the problem of no precise formal semantics due to its semi-formal nature. This paper aims to build a semi-formal/formal framework that allows modelling and verification of mobile agent-based applications. First, a mobile agent-based application is modeled using Mobile UML diagrams. Then, an automatic translation of these diagrams to π-calculus specifications is proposed. Finally, the derived π-claculus specifications are verified and analysed using π-calculus tools. The AToM3 multi-paradigm tool is used to implement the approach. The result is an integrated framework that allows visual modelling (using Mobile UML diagrams) and formal verification of the behaviour of mobile agent-based applications (using π-calculus tools).
机译：复杂的系统（包括基于移动代理的软件系统）的建模和验证是一项艰巨的任务，因为在构建正确的软件时必须考虑诸如移动性和安全性之类的不同约束。与面向对象系统所取得的成功相比，这是在过去几年中严重阻碍其发展的原因。 UML为面向对象系统的成功做出了巨大贡献。移动UML是对UML的提议扩展，用于对基于移动代理的软件系统进行建模，并且由于其半正式性质，它继承了没有精确形式语义的问题。本文旨在建立一个半正式/正式的框架，该框架允许对基于移动代理的应用程序进行建模和验证。首先，使用移动UML图对基于移动代理的应用程序进行建模。然后，提出了将这些图自动转换为π演算规范的建议。最后，使用π演算工具对派生的π演算规范进行了验证和分析。 AToM3多范式工具用于实现该方法。结果是一个集成的框架，该框架允许进行可视化建模（使用Mobile UML图）和形式验证基于移动代理的应用程序的行为（使用π-演算工具）。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号