Formal Specification and Verification of Transactional Service Composition.
Iman SalehGregory KulczyckiM. Brian BlakePublished in: SERVICES (2011)
Keyphrases
- service composition
- formal specification
- model checking
- concurrent systems
- petri net model
- formal methods
- web service composition
- model checker
- process algebra
- web services composition
- specification languages
- protocol specification
- temporal logic
- petri net
- object oriented design
- web services
- composite services
- web service compositions
- specification language
- formal verification
- goal driven
- service oriented
- grid workflow
- ai planning
- service selection
- composition of web services
- ws bpel
- asynchronous circuits
- service integration
- service discovery
- semantic web service composition
- reverse engineering
- software components
- service description
- e government
- artificial intelligence