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.

M. Montali, P. Torroni, N. Zannone, P. Mello, V. Bryl (2011). Engineering and verifying agent-oriented requirements augmented by business constraints with B-Tropos. AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 23(2), 193-223 [10.1007/s10458-010-9135-4].

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

TORRONI, PAOLO;MELLO, PAOLA;
2011

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.
2011
M. Montali, P. Torroni, N. Zannone, P. Mello, V. Bryl (2011). Engineering and verifying agent-oriented requirements augmented by business constraints with B-Tropos. AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 23(2), 193-223 [10.1007/s10458-010-9135-4].
M. Montali; P. Torroni; N. Zannone; P. Mello; V. Bryl
File in questo prodotto:
Eventuali allegati, non sono esposti

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: https://hdl.handle.net/11585/89561
 Attenzione

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

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 10
  • ???jsp.display-item.citation.isi??? 5
social impact