摘要： 基于Agent技术为复杂分布式问题提供了求解方法。软件体系结构是控制软件复杂性、提高软件系统质量、支持软件开发和复用的重要手段之一。软件体系结构设计可用于描述Agent与Agent之间的交互和组织结构的规划，因此Agent系统能从良好的体系结构设计中受益。该文整合了图表句法理论和层次谓词变迁网理论，提出一种形式化建模方法，从抽象层(架构)和实现层(动态行为)两方面来构建Agent系统的软件体系结构。模型具有可验证和追踪性，为Agent系统软件体系结构分析与评估提供了良好的基础。
关键词:
层次谓词变迁网,
图表句法理论,
软件体系结构,
Agent系统,
形式化规约
Abstract: The Agent-based technology becomes a method to solve complex and distributed problem. Software architecture is an important means to control the complexity of software systems, to improve software quality and to support software development and software reuse. Agent systems can be benefited from architectural design, which can be used as a plan to show Agents, interactions, and their organizational relationships. This paper represents a formal framework that can be used to specify the architecture of Agent systems by integrating the strength of two notations in a way that the description of a system at the higher level of abstraction defined in Diagrammatic Syntactic Theory(DST) with the concrete realization of it is represented in Hierarchical Predicate Transition Nets(HPrTNs) at a lower level of design.
Key words:
Hierarchical Predicate Transition Nets(HPrTNs),
Diagrammatic Syntactic Theory(DST),
software architecture,
Agent systems,
formal specifications
中图分类号:
郑 志;杨德礼;杨 红. Agent系统软件体系结构形式化建模方法[J]. 计算机工程, 2008, 34(10): 35-37.
ZHENG Zhi; YANG De-li; YANG Hong. Formal Modeling Approach of Agent Systems Software Architecture[J]. Computer Engineering, 2008, 34(10): 35-37.