The Formal Model of Real-Time Service Components Composition Based on DCValid.
Xianli JinXi ShaoPublished in: CSIE (7) (2009)
Keyphrases
- formal model
- real time
- web service composition
- predicate calculus
- high speed
- service providers
- web services
- service oriented
- formal models
- security properties
- building blocks
- service quality
- real time systems
- end users
- context aware
- access control
- vision system
- low cost
- management system
- service selection
- security patterns