ScriptOrc: A Specification Language for Web Service Choreography.
A. K. BhattacharjeeR. K. ShyamasundarPublished in: APSCC (2008)
Keyphrases
- specification language
- web services
- description language
- service oriented architecture
- service oriented computing
- service oriented
- formal specification
- programming language
- loosely coupled
- symbolic execution
- business processes
- service discovery
- web service composition
- semantic web services
- business process
- service providers
- software environment
- service composition
- model checker
- lightweight
- multi agent systems
- cooperative
- machine learning
- requirements specification
- database
- databases