UNIGE document Chapitre d'actes
previous document  unige:48375  next document
add to browser collection
Title

A Formal Development and Validation Methodology Applied to Agent-Based Systems

Author
Published in Wagner, T. & Rana, O.-F. International Workshop on Infrastructure for Scalable Multi-Agent Systems: Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems. Barcelona (Spain) - 3-7 June 2000 - Berlin: Springer. 2001, p. 214-225
Collection Lecture Notes in Computer Science; 1887
Abstract This paper presents first a formal development methodology that enables a specifier to add complexity progressively into the system design, and to formally validate each step wrt client's requirements. Second, the paper describes the application of this methodology to agent-based systems, as well as development guidelines that help the specifier during the development of such systems. The methodology and the development guidelines are presented through an agent market place example.
Keywords Software engineeringDesign tools and techniquesPetri netsDistributed artificial intelligence
Identifiers
ISBN: 978-3-540-42315-7
Full text
Structures
Research group Institute of Information Service Science (ISS)
Citation
(ISO format)
DI MARZO SERUGENDO, Giovanna. A Formal Development and Validation Methodology Applied to Agent-Based Systems. In: Wagner, T. & Rana, O.-F. (Ed.). International Workshop on Infrastructure for Scalable Multi-Agent Systems: Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems. Barcelona (Spain). Berlin : Springer, 2001. p. 214-225. (Lecture Notes in Computer Science; 1887) https://archive-ouverte.unige.ch/unige:48375

224 hits

34 downloads

Update

Deposited on : 2015-03-23

Export document
Format :
Citation style :