Formal Methods in Agent-Oriented Software Engineering

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 syste...

Full description

Saved in:
Bibliographic Details
Published inAgent-Oriented Software Engineering X pp. 213 - 228
Main Authors El Fallah-Seghrouchni, Amal, Gomez-Sanz, Jorge J., Singh, Munindar P.
Format Book Chapter
LanguageEnglish
Published Berlin, Heidelberg Springer Berlin Heidelberg
SeriesLecture Notes in Computer Science
Subjects
AOSE
Formal methods
software engineering
specification
verification
Online AccessGet full text

Cover

More Information
Summary: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.
ISBN:9783642192074
3642192076
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-642-19208-1_15