Choreography Conformance Checking: An Approach based on BPEL and Petri Nets.
Wil M. P. van der AalstMarlon DumasChun OuyangAnne RozinatH. M. W. VerbeekPublished in: The Role of Business Processes in Service Oriented Architectures (2006)
Keyphrases
- petri net
- colored petri nets
- service composition
- petri net model
- discrete event systems
- service oriented architecture
- manufacturing systems
- web service composition
- fuzzy petri net
- stochastic petri net
- web services
- ims ld
- service oriented
- web services composition
- sequence diagrams
- business process
- concurrent systems
- business processes
- expert systems
- data analysis