A Formal Model for Resource Protections in Web Service Applications.
Jun-Qing ChenLinpeng HuangHan HuangChengyuan YuChen LiPublished in: CDC (2012)
Keyphrases
- formal model
- web services
- peer to peer computing
- resource management
- resource allocation
- web service composition
- formal models
- resource constraints
- service architecture
- service oriented
- quality of service
- semantic web technologies
- web applications
- probabilistic knowledge
- business process
- grid environment
- loosely coupled
- service discovery
- web resources
- intellectual property
- grid computing
- predicate calculus
- web services composition
- execution environment
- distributed systems
- enterprise application integration