Verifying Correctness of Web Services Choreography.
Tarek MellitiCéline Boutrous-SaabSylvain RampacekPublished in: ECOWS (2006)
Keyphrases
- web services
- service oriented architecture
- service oriented computing
- service oriented
- loosely coupled
- web applications
- service composition
- web service composition
- service providers
- model checking
- business processes
- service discovery
- semantic web services
- grid computing
- description language
- service architecture
- automatic discovery
- quality of service
- business process
- colored petri nets
- web service selection
- web service discovery
- real time
- description languages
- loose coupling
- mashup
- neural network