Decidability and Complexity of Web Service Business Protocol Synthesis.
Lhouari NourineRamy Ragab HassenFarouk ToumaniPublished in: Int. J. Cooperative Inf. Syst. (2016)
Keyphrases
- data quality
- web services
- business applications
- space complexity
- information systems
- business process
- electronic commerce
- lightweight
- worst case
- description logics
- decision procedures
- communication protocol
- computational complexity
- case study
- texture synthesis
- web service composition
- loosely coupled
- formal analysis
- web service selection
- colored petri nets
- composite web services