B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification

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.