10.3969/j.issn.1000-3428.2008.10.013
Agent系统软件体系结构形式化建模方法
基于Agent技术为复杂分布式问题提供了求解方法.软件体系结构是控制软件复杂性、提高软件系统质量、支持软件开发和复用的重要手段之一.软件体系结构设计可用于描述Agent与Agent之间的交互和组织结构的规划,因此Agent系统能从良好的体系结构设计中受益.该文整合了图表句法理论和层次谓词变迁网理论,提出一种形式化建模方法,从抽象层(架构)和实现层(动态行为)两方面来构建Agent系统的软件体系结构.模型具有可验证和追踪性,为Agent系统软件体系结构分析与评估提供了良好的基础.
层次谓词变迁网、图表句法理论、软件体系结构、Agent系统、形式化规约
34
N945.12(系统科学)
2008-07-14(万方平台首次上网日期,不代表论文的发表时间)
共3页
35-37