An Interface Theory Based Approach to Verification of Web Services.
Zhenbang ChenJi WangWei DongZhichang QiWing Lok YeungPublished in: COMPSAC (2) (2006)
Keyphrases
- web services
- web service composition
- formal methods
- theoretical framework
- user interface
- web applications
- theoretical basis
- visual interface
- service oriented
- user friendly
- computational model
- automatic discovery
- service providers
- knowledge base
- database
- colored petri nets
- service architecture
- asynchronous circuits
- direct manipulation
- interface design
- data intensive
- business processes
- expert systems
- neural network