Linking the Semantics of BPEL Using Maude.
Peng LiuHuibiao ZhuShengchao QinPhillip J. BrookeXi WuPublished in: APSEC (1) (2013)
Keyphrases
- web services
- service oriented
- business processes
- business process
- formal methods
- service composition
- web services composition
- business process modeling
- petri net
- formal specification
- formal semantics
- colored petri nets
- operational semantics
- description language
- logic programming
- business process management
- software engineering