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

Authors:
Giovanna Di Marzo Serugendo
Affiliations:
-
Venue:
Revised Papers from the International Workshop on Infrastructure for Multi-Agent Systems: Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems
Year:
2000

Citing 5
Cited 0

Object-oriented software construction (2nd ed.)

Object-oriented software construction (2nd ed.)
CO-OPN/2: a concurrent object-oriented formalism

FMOODS '97 Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems
On agent-based software engineering

Artificial Intelligence
The Gaia Methodology for Agent-Oriented Analysis and Design

Autonomous Agents and Multi-Agent Systems
Formal Development and Validation of Java Dependable Distributed Systems

ICECCS '99 Proceedings of the 5th International Conference on Engineering of Complex Computer Systems

Quantified Score

Hi-index	0.00

Visualization

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