This paper describes CaseLP, a logic-based environment for modelling and prototyping Multi-Agent Systems (MASs). CaseLP provides an Agent-Oriented Software Engineering (AOSE) methodology which guides the MAS developer from the late requirement analysis stage to the prototype validation stage. CaseLP also offers a set of languages and tools both for modelling agents that are characterised by heterogeneous architectures, and for developing a prototype of the MAS in a semi-automatic way. Full support for validating the MAS model by running the prototype is offered, while limited aid for the formal verification of the MAS properties is supplied. CaseLP has been used to develop real applications in collaboration with industrial partners, thus demonstrating the advantages of rapid prototyping in AOSE

CaseLP: a Prototyping Environment for Heterogeneous Multi-Agent Systems

Zini, Floriano
2004

Abstract

This paper describes CaseLP, a logic-based environment for modelling and prototyping Multi-Agent Systems (MASs). CaseLP provides an Agent-Oriented Software Engineering (AOSE) methodology which guides the MAS developer from the late requirement analysis stage to the prototype validation stage. CaseLP also offers a set of languages and tools both for modelling agents that are characterised by heterogeneous architectures, and for developing a prototype of the MAS in a semi-automatic way. Full support for validating the MAS model by running the prototype is offered, while limited aid for the formal verification of the MAS properties is supplied. CaseLP has been used to develop real applications in collaboration with industrial partners, thus demonstrating the advantages of rapid prototyping in AOSE
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11582/2521
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
social impact