International Conference on Information Technology: Coding and Computing (ITCC'04) Volume 1 A Formal Approach to Software Architecture of Agent-Base Systems Las Vegas, Nevada April 05-April 07 ISBN: 0-7695-2108-8
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.
Index Terms:
High-level Petri Nets, Software Architecture, Formal Specifications, Architectural Description Languages (ADLs), Software Agent
Citation:
Hassan Reza, Emmanuel Grant, "A Formal Approach to Software Architecture of Agent-Base Systems," itcc, vol. 1, pp.591, International Conference on Information Technology: Coding and Computing (ITCC'04) Volume 1, 2004 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb