Run-time Verification of Behavioural Conformance for Conversational Web Services.
Dimitris DranidisErvin RamollariDimitrios KourtesisPublished in: ECOWS (2009)
Keyphrases
- web services
- protocol specification
- model checking
- multi modal
- web service composition
- face verification
- business processes
- web applications
- web services composition
- formal verification
- service architecture
- conversational agent
- automatic discovery
- semantic web services
- signature verification
- neural network
- data sets
- natural language
- loose coupling
- colored petri nets
- verification method
- service providers
- description language
- service discovery
- service oriented
- data intensive
- asynchronous circuits
- website
- composition of web services
- metadata
- web service selection
- business process
- quality of service
- conversational agents
- web service discovery
- information systems
- grid services
- service oriented architecture
- loosely coupled
- database