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

Matthias Geiger, Andreas Schnberger, Guido Wirtz

Browse the full SEKE paper archive.