WSOL - A Language for the Formal Specification of Classes of Service for Web Services.
Vladimir TosicBernard PagurekKruti PatelPublished in: ICWS (2003)
Keyphrases
- formal specification
- web services
- specification language
- process algebra
- service composition
- software components
- service providers
- data abstraction
- service oriented
- object oriented design
- description language
- service oriented architecture
- service discovery
- web services composition
- protocol specification
- specification languages
- formal specification language
- service selection
- semantic web services
- web service composition
- model checking
- formal methods
- description languages
- loosely coupled
- model checker
- business processes
- service architecture
- concurrent systems
- programming language
- quality of service
- reverse engineering
- business process
- artificial intelligence
- communication protocols
- service description
- natural language