摘要
基于Agent技术为复杂分布式问题提供了求解方法。软件体系结构是控制软件复杂性、提高软件系统质量、支持软件开发和复用的重要手段之一。软件体系结构设计可用于描述Agent与Agent之间的交互和组织结构的规划,因此Agent系统能从良好的体系结构设计中受益。该文整合了图表句法理论和层次谓词变迁网理论,提出一种形式化建模方法,从抽象层(架构)和实现层(动态行为)两方面来构建Agent系统的软件体系结构。模型具有可验证和追踪性,为Agent系统软件体系结构分析与评估提供了良好的基础。
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.
出处
《计算机工程》
CAS
CSCD
北大核心
2008年第10期35-37,共3页
Computer Engineering
关键词
层次谓词变迁网
图表句法理论
软件体系结构
AGENT系统
形式化规约
Hierarchical Predicate Transition Nets(HPrTNs)
Diagrammatic Syntactic Theory(DST)
software architecture
Agent systems
formal specifications