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