Formal Methods in Agent-Oriented Software Engineering

Amal El Fallah Seghrouchni 1 Jorge Gomez-Sanz Munindar P. Singh
1 SMA - Systèmes Multi-Agents
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : 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.
Type de document :
Communication dans un congrès
10th International Workshop on Agent-Oriented Software Engineering, AOSE, May 2009, Budapest, Hungary. Springer, 10th International Workshop on Agent-Oriented Software Engineering, AOSE, 6038, pp.213-228, Lecture Notes in Computer Science. 〈10.1007/978-3-642-19208-1_15〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01298787
Contributeur : Lip6 Publications <>
Soumis le : mercredi 6 avril 2016 - 16:07:47
Dernière modification le : jeudi 22 novembre 2018 - 14:10:35

Identifiants

Collections

Citation

Amal El Fallah Seghrouchni, Jorge Gomez-Sanz, Munindar P. Singh. Formal Methods in Agent-Oriented Software Engineering. 10th International Workshop on Agent-Oriented Software Engineering, AOSE, May 2009, Budapest, Hungary. Springer, 10th International Workshop on Agent-Oriented Software Engineering, AOSE, 6038, pp.213-228, Lecture Notes in Computer Science. 〈10.1007/978-3-642-19208-1_15〉. 〈hal-01298787〉

Partager

Métriques

Consultations de la notice

54