Choreography Conformance Checking: An Approach based on BPEL and Petri Nets (extended version)

van der Aalst, Wil M. P.; Dumas, M.; Ouyang, C.; Rozinat, A.; Verbeek, H. M. W.

BPMcenter.org (2005)
Buch

Einrichtungen

• Lehrstuhl für Informatik 9 (Process and Data Science) [122510]
• Fachgruppe Informatik [120000]