A formal model for the interoperability of service clouds.
Hui MaKlaus-Dieter ScheweBernhard ThalheimQing WangPublished in: Serv. Oriented Comput. Appl. (2012)
Keyphrases
- formal model
- web services
- service providers
- cloud computing
- management system
- loose coupling
- service provision
- information systems
- service quality
- security patterns
- security properties
- service discovery
- service oriented
- loosely coupled
- formal models
- information services
- predicate calculus
- probabilistic knowledge
- information sharing
- metadata
- service composition
- public administration