A price of service in a compositional SOA framework
van Km Kees Hee, Natalia Sidorova, Christian Stahl, H. M. W. Verbeek · TU/e Research Portal · 2007
In this paper we propose a framework for SOA covering such important features as proper termination (soundness) and correct correlation of tasks. Within this framework, we define a method for the calculation of the price of services. Our framework is compositional in the sense that composing a system from subsystems that meet our correctness requirements we obtain a system that still meets these requirements.