loading...
A Formal Approach to Software Architecture of Agent-Base Systems
Las Vegas, Nevada April 05-April 07
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ITCC.2004.1286528International Conference on Informati ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Hassan Reza, University of North Dakota, Grand Forks, ND
Emmanuel Grant, University of North Dakota, Grand Forks, ND
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.