Formal Modeling Approach of Agent Systems Software Architecture
Yang Hong · Jisuanji gongcheng · 2008
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.