• P-ISSN 0974-6846 E-ISSN 0974-5645

Indian Journal of Science and Technology


Indian Journal of Science and Technology

Year: 2014, Volume: 7, Issue: 5, Pages: 662–671

Original Article

A Formal Architectural Style for Designing Multi-agent Systems


Architectural styles include specific features which restrict the activities scope, an inevitable fact in software engineering. The appropriate selection of an architectural style is essential in the implementation phases. The attempt is made here to integrate the architecture concept with artificial intelligence, in specific its multi-agent system. The attempt is made here to realize the Artificial Intelligence system’s concept, the agent oriented systems in specific and assess the style concept and its implementation in multi-agent systems. By assessing the available styles and their drawbacks a new multipurpose style is introduced for agent orientation. This style consists of four style concepts and analyzes all aspects of agent orientated system. This style is modeled through graph transformation system in order to be conceivable dynamically and be checked by a tool named GROOVE which automatically confirms lack of errors in this proposed style.

Keywords: Agent Oriented, Formal Method, Graph Transportation System, GROOVE Software, Software Architecture Style, Model Checking, Multi-agent


Subscribe now for latest articles and news.