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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.