Proceedings chapter
Open access

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

Presented at Barcelona (Spain), 3-7 June 2000
PublisherBerlin : Springer
  • Lecture Notes in Computer Science; 1887
Publication date2001

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.

  • Software engineering
  • Design tools and techniques
  • Petri nets
  • Distributed artificial intelligence
Citation (ISO format)
DI MARZO SERUGENDO, Giovanna. A Formal Development and Validation Methodology Applied to Agent-Based Systems. In: 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) doi: 10.1007/3-540-47772-1_22
Main files (1)
Proceedings chapter (Accepted version)

Technical informations

Creation03/19/2015 6:16:00 PM
First validation03/19/2015 6:16:00 PM
Update time03/14/2023 11:03:13 PM
Status update03/14/2023 11:03:13 PM
Last indexation05/02/2024 4:04:25 PM
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack