Formal Specification and Verification of Data-Centric Service Composition.
Iman SalehGregory KulczyckiM. Brian BlakePublished in: ICWS (2010)
Keyphrases
- data centric
- service composition
- formal specification
- model checking
- concurrent systems
- petri net model
- process algebra
- web services composition
- web services
- web service composition
- formal methods
- petri net
- business processes
- protocol specification
- temporal logic
- service oriented
- data management
- grid workflow
- information management
- data driven
- service selection
- application development
- asynchronous circuits
- routing protocol
- reverse engineering
- data representation
- xml schema
- service oriented architecture
- software components
- distributed systems
- wireless sensor networks
- business process
- service discovery
- information integration
- source code
- database