Transformation of Constructive Specifications of Services and Protocols into the Logical Language of CIL.
Heiko KrummOswald DrobnikPublished in: PSTV (1984)
Keyphrases
- logical language
- communication protocols
- formal semantics
- service oriented
- situation calculus
- web services
- service composition
- service providers
- information services
- protocol specification
- context aware
- service discovery
- security services
- ubiquitous computing
- mobile networks
- service oriented architecture
- service delivery
- transaction processing systems
- message delivery
- artificial intelligence
- web service composition
- operational semantics
- computing environments
- delay insensitive
- software architecture
- end users