Towards Formal and Deduction-based Analysis of Business Models for SOA Processes

Radoslaw Klimek. Towards Formal and Deduction-based Analysis of Business Models for SOA Processes. In Joaquim Filipe, Ana L. N. Fred, editors, ICAART 2012 - Proceedings of the 4th International Conference on Agents and Artificial Intelligence, Volume 2 - Agents, Vilamoura, Algarve, Portugal, 6-8 February, 2012. pages 325-330, SciTePress, 2012.

Abstract

Abstract is missing.