A Constraint-Based Approach to Quality Assurance in Service Choreographies

Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo. A Constraint-Based Approach to Quality Assurance in Service Choreographies. In Chengfei Liu, Heiko Ludwig, Farouk Toumani, Qi Yu, editors, Service-Oriented Computing - 10th International Conference, ICSOC 2012, Shanghai, China, November 12-15, 2012. Proceedings. Volume 7636 of Lecture Notes in Computer Science, pages 252-267, Springer, 2012. [doi]

Abstract

Abstract is missing.