Towards a Reversible BPEL Debugger.
Liang BaoSheng ChenXiyang LiuShengming HuPing ChenPublished in: ICWS (2008)
Keyphrases
- web services
- service oriented
- formal methods
- business process
- business processes
- service composition
- web services composition
- markov chain
- cellular automata
- colored petri nets
- business process management
- petri net
- programming environment
- business process modeling
- description language
- service oriented architecture
- service discovery
- knowledge based systems
- primitive operations
- artificial intelligence
- parallel algorithm
- information sharing
- programming language
- information systems