Agent系统软件体系结构形式化建模方法

• 作者: 杨德礼 杨红 郑志
• 来源期刊: 计算机工程
• 学科: 地球科学
• 关键词: 层次谓词变迁网 图表句法理论 软件体系结构 Agent系统 形式化规约
• 年，卷（期）: 2008,（10）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 35-37
• 页数: 3页
• 分类号: N945.12
• 字数: 3587字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2008.10.013

摘要

基于Agent技术为复杂分布式问题提供了求解方法.软件体系结构是控制软件复杂性、提高软件系统质量、支持软件开发和复用的重要手段之一.软件体系结构设计可用于描述Agent与Agent之间的交互和组织结构的规划,因此Agent系统能从良好的体系结构设计中受益.该文整合了图表句法理论和层次谓词变迁网理论,提出一种形式化建模方法,从抽象层(架构)和实现层(动态行为)两方面来构建Agent系统的软件体系结构.模型具有可验证和追踪性,为Agent系统软件体系结构分析与评估提供了良好的基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨德礼	大连理工大学系统工程研究所	220	5837	41.0	68.0
2	杨红	大连理工大学系统工程研究所	7	47	5.0	6.0
3	郑志	大连理工大学系统工程研究所	4	15	2.0	3.0