A formal approach to software architecture of agent-base systems

Agent-based systems have been known as one of the most complex classes of software system design because of heterogeneity, distributive, concurrent, non-deterministic, dynamic, and autonomous behaviors. An important characteristic of the design for any complex system is its software architecture, which can play an important role in the quality of software and, hence, in its success. Agent-based systems can be benefited from architectural design, which can be used as a plan to show agents, interactions, and their organizational relationships. In this paper, we represent a formal framework that can be used to specify the architecture of agent-based systems.

[1]  James R. Cordy,et al.  A Syntactic Theory of Software Architecture , 1995, IEEE Trans. Software Eng..

[2]  Michael Wooldridge,et al.  Agent-based software engineering , 1997, IEE Proc. Softw. Eng..

[3]  GarlanDavid,et al.  Introduction to the Special Issue on Software Architecture , 1995 .

[4]  Xudong He,et al.  A Formal Definition of Hierarchical Predicate Transition Nets , 1996, Application and Theory of Petri Nets.

[5]  Xudong He,et al.  An Integrated Method to Software Architecture , 2003, SEKE.

[6]  Timothy W. Finin,et al.  Enabling Technology for Knowledge Sharing , 1991, AI Mag..

[7]  Dianxiang Xu,et al.  A Formal Architectural Model for Logical Agent Mobility , 2003, IEEE Trans. Software Eng..

[8]  John A. N. Lee,et al.  Integrating predicate transition nets with first order temporal logic in the specification and verification of concurrent systems , 1990, Formal Aspects of Computing.

[9]  Haiping Xu,et al.  An agent-based Petri net model with application to seller/buyer design in electronic commerce , 2001, Proceedings 5th International Symposium on Autonomous Decentralized Systems.

[10]  Paul Douglas,et al.  Proceedings International Conference on Information Technology: Coding and Computing , 2002, Proceedings. International Conference on Information Technology: Coding and Computing.

[11]  Richard N. Taylor,et al.  A Classification and Comparison Framework for Software Architecture Description Languages , 2000, IEEE Trans. Software Eng..