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 systems. The first part of this paper presents B-Tropos as a way to combine business goals and requirements to the business process model. B-Tropos enhances a well-known agent-oriented early requirements engineering framework with declarative business process-oriented constructs, inspired by the DecSerFlow and ConDec languages. In the second part of the paper, we show a mapping of B-Tropos onto S CIFF, a computational logic-based framework, for properties and conformance verification.