Executable Description of the OSI Transport Service in Prolog.
Luigi LogrippoDidier SimonHasan UralPublished in: PSTV (1984)
Keyphrases
- expert systems
- web services
- service providers
- management system
- service composition
- programming language
- computing environments
- pick up and delivery
- admission control
- service selection
- customer service
- mobile services
- reference model
- service discovery
- service quality
- information services
- logic programming
- knowledge representation
- database
- service oriented
- heavy traffic
- end users
- search algorithm
- high level
- abstract machine
- real time