3 Bryl, V. Montali, M. Mello, P. Torroni, P. Zannone, N. 2007 B-Tropos. Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification. 8th Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VIII) Porto, Portugal 10/09/2007