Towards Verification of a Service Orchestration Language.
Tian Huat TanPublished in: SSIRI (Companion) (2010)
Keyphrases
- web services
- service oriented architecture
- programming language
- service providers
- natural language
- language learning
- management system
- service oriented
- description languages
- model checking
- service quality
- service discovery
- language processing
- face verification
- protocol specification
- logic programming
- knowledge representation
- information retrieval
- digital libraries
- semantic web services
- conceptual graphs
- technology enhanced learning
- formal verification
- high level