Specification and Verification of Context-dependent Services
Naseem IbrahimVangalur S. AlagarMubarak MohammadPublished in: WWV (2011)
Keyphrases
- context dependent
- user centric
- formal verification
- semantic level
- high level
- protocol specification
- formal methods
- context free
- asynchronous circuits
- communication protocols
- low level
- natural language
- web services
- context aware
- service discovery
- model checking
- service composition
- information services
- formal specification
- service delivery
- service providers
- end users
- service oriented
- computing environments
- specification language
- similarity measure
- data mining