Specifying and Monitoring Temporal Properties in Web Services Compositions.
Slim KallelAnis CharfiTom DinkelakerMira MeziniMohamed JmaielPublished in: ECOWS (2009)
Keyphrases
- temporal properties
- web services
- model checking
- web service compositions
- possibility theory
- monitoring system
- web service composition
- real time
- business processes
- business process
- formal methods
- temporal logic
- web applications
- service composition
- cooperative
- service providers
- software development
- pattern recognition
- high level
- artificial intelligence