Binary Activity Chain Modes for Compositional Web Service and Its Compliance Verification.
Bo ChenChungui LiQixian CaiPublished in: J. Softw. (2009)
Keyphrases
- web services
- model checking
- face verification
- neural network
- asynchronous circuits
- human activities
- semantic web services
- activity patterns
- activity theory
- formal verification
- xml technology
- real time
- web service selection
- reference architecture
- web services composition
- hamming distance
- service discovery
- business processes
- service providers
- response time
- case study
- information systems
- social networks
- genetic algorithm