Towards Automated Conformance Checking of ebBP-ST Choreographies and Corresponding WS-BPEL Based Orchestrations

Geiger, MatthiasMatthiasGeigerSchönberger, AndreasAndreasSchönbergerWirtz, GuidoGuidoWirtz0000-0002-0438-84822019-09-192014-04-302011https://fis.uni-bamberg.de/handle/uniba/5523engTowards Automated Conformance Checking of ebBP-ST Choreographies and Corresponding WS-BPEL Based Orchestrationsconferenceobject