Fadwa Rekik, Boutheina Bannour, Saadia Dhouib, Sebastien Gerard. Model-Driven Consistency Verification for Service-Oriented Applications. In 8th IEEE International Conference on Service-Oriented Computing and Applications, SOCA 2015, Rome, Italy, October 19-21, 2015. pages 180-187, IEEE, 2015. [doi]
Abstract is missing.