Formal modeling of BPEL workflows including fault and compensation handling.
Máté KovácsDániel VarróLászló GönczyPublished in: EFTS (2007)
Keyphrases
- web services
- formal methods
- business processes
- business process
- colored petri nets
- service oriented
- business process modeling
- data processing
- formal model
- fault detection
- data sets
- workflow management
- inter organizational
- modeling language
- model checking
- neural network
- real time
- modeling method
- service composition
- petri net
- workflow systems
- formal models
- web services composition