Realizable temporal logics for web service choreography.
Ramaswamy RamanujamS. SheerazuddinPublished in: J. Log. Algebraic Methods Program. (2016)
Keyphrases
- temporal logic
- web services
- service oriented architecture
- model checking
- mazurkiewicz traces
- modal logic
- satisfiability problem
- concurrent systems
- service oriented
- business process
- semantic web services
- loosely coupled
- service discovery
- service composition
- verification method
- service providers
- temporal knowledge
- description language
- predicate logic
- business processes
- transition systems
- linear temporal logic
- computation tree logic
- belief revision
- reactive systems
- web service composition
- temporal resolution