The analysis of business requirements and the specification of business processes are fundamental for the development of information system. The focus of this paper is on the combination of these two phases, that is, on linking the business goals and requirements to the business process model. To this end, we propose to extend the Tropos framework, which is used to model system and business requirements, with declarative business process-oriented constructs, inspired by DecSerFlow and ConDec languages. We also show how the proposed framework can be mapped into SCIFF, a computational logic-based framework, for properties and conformance verification.
B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification / V. Bryl; P. Mello; M. Montali; P. Torroni; N. Zannone. - STAMPA. - (2007), pp. 150-165. (Intervento presentato al convegno Eight International Workshop on Computational Logic in Multi-Agent Systems, CLIMA VIII tenutosi a Porto, Portugal nel 10-11 September 2007).
B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification
MELLO, PAOLA;MONTALI, MARCO;TORRONI, PAOLO;
2007
Abstract
The analysis of business requirements and the specification of business processes are fundamental for the development of information system. The focus of this paper is on the combination of these two phases, that is, on linking the business goals and requirements to the business process model. To this end, we propose to extend the Tropos framework, which is used to model system and business requirements, with declarative business process-oriented constructs, inspired by DecSerFlow and ConDec languages. We also show how the proposed framework can be mapped into SCIFF, a computational logic-based framework, for properties and conformance verification.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
