| Agent系统软件体系结构形式化建模方法 |
| |
| 引用本文： | 郑志,杨德礼,杨红.Agent系统软件体系结构形式化建模方法[J].计算机工程,2008,34(10):35-37. |
| |
| 作者姓名： | 郑志 杨德礼 杨红 |
| |
| 作者单位： | 大连理工大学系统工程研究所,大连,116023 |
| |
| 摘 要： | 基于Agent技术为复杂分布式问题提供了求解方法。软件体系结构是控制软件复杂性、提高软件系统质量、支持软件开发和复用的重要手段之一。软件体系结构设计可用于描述Agent与Agent之间的交互和组织结构的规划，因此Agent系统能从良好的体系结构设计中受益。该文整合了图表句法理论和层次谓词变迁网理论，提出一种形式化建模方法，从抽象层(架构)和实现层(动态行为)两方面来构建Agent系统的软件体系结构。模型具有可验证和追踪性，为Agent系统软件体系结构分析与评估提供了良好的基础。
|
| 关 键 词： | 层次谓词变迁网 图表句法理论 软件体系结构 Agent系统 形式化规约 |
| 文章编号： | 1000-3428(2008)10-0035-02 |
| 修稿时间： | 2007年6月8日 |
Formal Modeling Approach of Agent Systems Software Architecture |
| |
| ZHENG Zhi,YANG De-li,YANG Hong.Formal Modeling Approach of Agent Systems Software Architecture[J].Computer Engineering,2008,34(10):35-37. |
| |
| Authors: | ZHENG Zhi YANG De-li YANG Hong |
| |
| Affiliation: | (System Engineering Research Institute, Dalian University of Technology, Dalian 116023) |
| |
| Abstract: | |
| |
| Keywords: | Hierarchical Predicate Transition Nets(HPrTNs) Diagrammatic Syntactic Theory(DST) software architecture Agent systems formal specifications |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载全文 |
