On the Verification of Opacity in Web Services and Their Composition.
Amina BourouisKais KlaiNejib Ben Hadj-AlouaneYamen El TouatiPublished in: IEEE Trans. Serv. Comput. (2017)
Keyphrases
- web services
- web service composition
- web services composition
- composition of web services
- service composition
- model checking
- composite web services
- web service compositions
- service oriented
- service providers
- service compositions
- service description
- petri net
- service discovery
- semantic web services
- colored petri nets
- web applications
- automatic discovery
- service oriented architecture
- quality of service
- artificial intelligence
- loosely coupled
- formal verification
- web service selection
- verification method
- bpel ws
- description languages
- data intensive
- asynchronous circuits
- composite services
- signature verification
- case study
- description language
- web technologies
- semantic web technologies
- business processes
- response time