A Web Service Orchestration Model Based on Concurrent Transaction Logic.
Yong WangLi WangGuiping DaiPublished in: GCC (2008)
Keyphrases
- web services
- classical logic
- web service composition
- description language
- service oriented
- business applications
- service oriented architecture
- concurrent execution
- modal logic
- business process
- service providers
- database
- business processes
- service discovery
- semantic web services
- loosely coupled
- long running
- service architecture
- concurrency control
- multi valued
- predicate logic
- write operations
- fully unsupervised
- quality of service
- transaction model
- real time database systems
- transaction management
- mutual exclusion
- distributed databases
- web applications
- xml technology
- knowledge base