Modeling and verifying Web services driven by requirements: An ontology-based approach.
Lishan HouZhi JinBudan WuPublished in: Sci. China Ser. F Inf. Sci. (2006)
Keyphrases
- web services
- data driven
- web applications
- user requirements
- service oriented
- knowledge base
- automatic discovery
- data intensive
- semantic web services
- model checking
- service discovery
- business processes
- service providers
- web service composition
- multi agent systems
- modeling method
- modeling framework
- neural network
- colored petri nets