Touraj Laleh, Joey Paquet, Serguei A. Mokhov, Yuhong Yan. Efficient Constraint Verification in Service Composition Design and Execution (Short Paper). In Christophe Debruyne, Hervé Panetto, Robert Meersman, Tharam S. Dillon, eva Kühn, Declan O'Sullivan, Claudio Agostino Ardagna, editors, On the Move to Meaningful Internet Systems: OTM 2016 Conferences - Confederated International Conferences: CoopIS, C&TC, and ODBASE 2016, Rhodes, Greece, October 24-28, 2016, Proceedings. Volume 10033 of Lecture Notes in Computer Science, pages 445-455, 2016. [doi]
Abstract is missing.