WSSL: A Fluent Calculus-Based Language for Web Service Specifications.
George BaryannisDimitris PlexousakisPublished in: CAiSE (2013)
Keyphrases
- fluent calculus
- web services
- programming language
- specification language
- operational semantics
- situation calculus
- formal language
- description language
- formal descriptions
- language learning
- reasoning about actions
- machine learning
- business process
- service providers
- service oriented
- web service composition
- quality of service
- predicate logic
- description languages
- natural language