Advertisement
Published in:
2011 | OriginalPaper | Chapter
Formal Methods in Agent-Oriented Software Engineering
Authors : Amal El Fallah-Seghrouchni, Jorge J. Gomez-Sanz, Munindar P. Singh
Published in: Agent-Oriented Software Engineering X
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
There is a growing interest among agent and multiagent system developers for formal methods. Formal methods are means to define and realize correct specifications of multiagent system. The benefits of formal methods become clearer when we recognize the cost of developing a defective multiagent system. This paper seeks to introduce engineers to the possibilities of applying formal methods for multiagent systems. To this end, it discusses selected formal methods approaches for multiagent systems for which there is tool support. These works have been organized into two broad categories: those formal methods constituting a development method in themselves and those intended to complement an existing development method.