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