Towards a Framework for Detecting Containment Violations in Service Choreography | IEEE Conference Publication | IEEE Xplore