TOWARDS FORMAL AND DEDUCTION-BASED ANALYSIS OF BUSINESS MODELS FOR SOA PROCESSES Topics: Knowledge Representation and Reasoning; Model-Based Reasoning; SOA and Software Agents In Proceedings of the 4th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART, 325-330, 2012 , Vilamoura, Algarve, Portugal