A Protocol Description Language for Customizing Semantics.
Daniel C. SturmanGul AghaPublished in: SRDS (1994)
Keyphrases
- description language
- specification language
- action language
- model checker
- web services
- description languages
- software architecture
- lightweight
- web service composition
- logic programming
- concurrent actions
- planning domains
- operational semantics
- information retrieval
- planning problems
- business processes
- general purpose
- knowledge base