Preprint of paper published in: 5th IEEE International Conference on Service-Oriented Computing and Applications (SOCA), 17-19 December 2012; doi:10.1109/SOCA.2012.6449440 Due to the loosely coupled and highly dynamic nature of service-oriented systems, the actual configuration of such system only fully materializes at runtime, rendering many of...