A concurrent constraint and pi-calculus-based language for service contracting.
Ruoyu ChenLejian LiaoZhi FangPublished in: Int. J. Wirel. Mob. Comput. (2013)
Keyphrases
- service discovery
- programming language
- formal language
- natural language
- service providers
- relational calculus
- management system
- web services
- concurrent programming
- constraint language
- service oriented architecture
- service quality
- semantic web services
- linear constraints
- operational semantics
- service composition
- service oriented
- expressive power