A Chu spaces semantics of control flow in BPEL.
Xutao DuChunxiao XingLizhu ZhouPublished in: APSCC (2009)
Keyphrases
- control flow
- data flow
- process model
- modeling language
- business process
- business processes
- web services
- business process models
- formal semantics
- workflow management systems
- service oriented
- software testing
- service composition
- formal methods
- petri net
- transition systems
- business process modeling
- web services composition
- memory hierarchy
- colored petri nets
- artificial intelligence
- real world