Towards Formal Interfaces for Web Services with Transactions.
Zhenbang ChenJi WangWei DongZhichang QiPublished in: SITIS (2006)
Keyphrases
- web services
- formal descriptions
- service oriented
- automatic discovery
- database
- service oriented architecture
- formal specification
- transactional data
- business processes
- user interface
- loosely coupled
- formal methods
- databases
- service architecture
- web services composition
- service selection
- semantic web services
- distributed database systems
- web applications
- formal model
- service providers
- web service composition
- data intensive
- service discovery
- website
- database transactions
- web technologies
- transaction management
- transaction model
- knowledge base
- composition of web services
- xml technology
- quality of service