Formal resource request representation for remote environment control system
Shengang Hao1, Zhang Li1, Gao Xin2
1School of computer and information technology, Nanyang Normal University, Nanyang 473000, Henan Province, China
2National center for protein science Shanghai, Institute of biochemistry and cell biology, Shanghai Institutes for Biological Sciences, CAS, Shanghai 201210, China
Many open distributed systems across Internet such as those in grid computing and RECS (remote environment control system) involve the requesting, allocation and maintenance of sorts of resources. The discovery of large amount of resources in different sites is an important issue for the design of these systems. The booming semantic Web technology provides a suitable infrastructure for the publishing, requesting and matchmaking of resources. This paper presents a generic representation for quantified resource requesting with Semantic Web. It allows the representation of complex resource descriptions such as containment hierarchies and disjoint constraints between them. A model-theoretic semantics for matchmaking with countable resources is given for this representation. A constraint-based technique for the matchmaking check with such representation is designed to ensure the correctness for remote environment control system.