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