A Proof Based Approach for Modelling and VerifyingWeb Services Compositions.
Idir Aït-SadouneYamine Aït AmeurPublished in: ICECCS (2009)
Keyphrases
- service providers
- web services
- service oriented
- service oriented architecture
- theorem prover
- ubiquitous computing
- mobile services
- highly dynamic
- service discovery
- theorem proving
- information services
- service composition
- context aware
- agent technology
- end users
- european project
- government services
- web service compositions
- information society
- databases
- location aware
- location information
- multimedia
- neural network