Describing and Verifying Web Service Using Type Theory.
Zhiwei ChenJian WuShuiGuang DengYing LiZhaohui WuPublished in: CSCWD (2006)
Keyphrases
- web services
- real time
- general theory
- database
- theoretical framework
- description language
- service composition
- information theory
- relational databases
- rough sets
- service providers
- model checking
- service oriented
- search algorithm
- conceptual framework
- database systems
- semantic web technologies
- social networks
- web service composition
- databases
- formal theory