Keyphrases
- web services
- web service composition
- business processes
- colored petri nets
- service providers
- service composition
- service architecture
- automatic discovery
- semantic web services
- model checking
- service oriented
- service oriented architecture
- business process
- web applications
- face verification
- real time
- asynchronous circuits
- loose coupling
- xml technology
- web service selection
- information systems
- security flaws
- verification method
- live video
- service discovery
- semantic web technologies
- quality of service
- case study