Verifying A-Priori the Composition of Declarative Specified Services.
Federico ChesaniPaola MelloMarco MontaliPaolo TorroniPublished in: MALLOW (2009)
Keyphrases
- web service composition
- web services
- service composition
- web services composition
- service oriented
- composition of web services
- service providers
- service description
- composite services
- location aware
- service discovery
- information services
- data mining
- declarative knowledge
- model checking
- domain independent
- databases
- database systems
- end users
- knowledge representation
- web service compositions
- website
- government services
- logic programming
- highly dynamic
- mobile services
- context aware
- user centric
- semantic web services
- location information
- building blocks
- service oriented architecture
- ambient intelligence