For the most recent entries see the Petri Nets Newsletter.

A Formal Development and Validation Methodology applied to Agent-Based Systems.

Di Marzo Serugendo, Giovanna

Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-agent Systems, LNAI 1887, 214-225 pages, June 2001. Url:

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: Object-Oriented Petri nets, Refinement, Agents, Market Place.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography