An Operational Approach to BPEL-like Programming.
Huibiao ZhuJifeng HeGeguang PuJing LiPublished in: SEW (2007)
Keyphrases
- web services
- service oriented
- business processes
- formal methods
- business process
- web services composition
- service composition
- programming language
- decision making
- petri net
- business process management
- development environment
- colored petri nets
- programming environment
- computer programming
- object oriented programming
- asynchronous communication
- programming environments
- semantic web services
- service oriented architecture
- development process
- decision support system