An operational semantics of WS-BPEL based on abstract BPEL machine.
Dou SunYongwang ZhaoHao ZengDianfu MaPublished in: SOCA (2010)
Keyphrases
- ws bpel
- operational semantics
- business process
- service composition
- business processes
- web services
- service oriented
- formal semantics
- web service composition
- model theoretic
- mental states
- business process management
- business process modeling
- web services composition
- data model
- process model
- case study
- petri net
- asynchronous communication
- service oriented architecture
- formal methods
- real world
- database
- object oriented
- user interface
- knowledge base
- agent programming
- denotational semantics