Research on Formal Modeling and Verification of BPEL-based Web Service Composition.
Huiqun ZhaoWenwen WangJing SunYing WeiPublished in: ACIS-ICIS (2012)
Keyphrases
- formal methods
- colored petri nets
- petri net
- web services
- model checking
- modeling language
- formal analysis
- knowledge based systems
- formal specification
- verification method
- business process modeling
- business process
- data mining
- modeling method
- face verification
- neural network
- web services composition
- reactive systems
- software engineering