Client Synthesis for Web Services by Way of a Timed Semantics.
Serge HaddadPatrice MoreauxSylvain RampacekPublished in: ICEIS (4) (2006)
Keyphrases
- web services
- formal semantics
- web applications
- program synthesis
- semantic descriptions
- service oriented
- business process
- conceptual model
- web service composition
- business processes
- service providers
- web services composition
- timed automata
- semantic information
- quality of service
- neural network
- loosely coupled
- service selection
- logic programming
- web service discovery
- xml technology