Engineering and verifying agent-oriented requirements augmented by business constraints with B-Tropos

Montali, M.; Torroni, Paolo; Zannone, N.; Mello, Paola; Bryl, V.

doi:10.1007/s10458-010-9135-4

CRIS Current Research Information System

IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.

We propose B-Tropos as a modeling framework to support agent-oriented systems engineering, from high-level requirements elicitation down to execution-level tasks. In particular, we show how B-Tropos extends the Tropos methodology by means of declarative business constraints, inspired by the ConDec graphical language. We demonstrate the functioning of B-Tropos using a running example inspired by a real-world industrial scenario, and we describe how B-Tropos models can be automatically formalized in computational logic, discussing formal properties of the resulting framework and its verification capabilities.

Titolo:	Engineering and verifying agent-oriented requirements augmented by business constraints with B-Tropos
Autore/i:	M. Montali; TORRONI, PAOLO; N. Zannone; MELLO, PAOLA; V. Bryl
Autore/i Unibo:	M. Montali TORRONI, PAOLO N. Zannone MELLO, PAOLA V. Bryl mostra contributor esterni nascondi contributor esterni
Anno:	2011
Rivista:	AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS
Digital Object Identifier (DOI):	10.1007/s10458-010-9135-4
Abstract:	We propose B-Tropos as a modeling framework to support agent-oriented systems engineering, from high-level requirements elicitation down to execution-level tasks. In particular, we show how B-Tropos extends the Tropos methodology by means of declarative business constraints, inspired by the ConDec graphical language. We demonstrate the functioning of B-Tropos using a running example inspired by a real-world industrial scenario, and we describe how B-Tropos models can be automatically formalized in computational logic, discussing formal properties of the resulting framework and its verification capabilities.
Data prodotto definitivo in UGOV:	2013-06-21 01:16:23
Appare nelle tipologie:	1.01 Articolo in rivista

File in questo prodotto:

Eventuali allegati, non sono esposti

Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11585/89561

Citazioni

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