A Correctness Verification Approach of the BPEL Exception Handling CPN Model Based on Temporal Property.
Hua GuanShi YingChunwei WangPublished in: J. Networks (2014)
Keyphrases
- exception handling
- petri net
- colored petri nets
- formal methods
- service composition
- web services
- workflow management
- object oriented
- service oriented
- development tools
- business processes
- conflict resolution
- domain independent
- object oriented programming
- programming tool
- workflow management systems
- business process
- agent systems
- coloured petri nets
- formal verification
- model checking
- modeling language
- business process modeling
- knowledge acquisition
- artificial intelligence
- databases