Title :
Formal modeling of trust in Semantic Grid Registry
Author :
Mahmood, Saba ; Iftikhar, Saman ; Ahmad, Hafiz Farooq ; Mahmood, Farah
Author_Institution :
Sch. of Electr. Eng. & Comput. Sci., NUST, Islamabad, Pakistan
Abstract :
In this paper we have analyzed and developed a formal specification of a trust model in semantic grid registry. This paper formalizes the basic requirements of a trust model in case of semantic grid registry. We have described the flow of operations of our system through links and processes in the system architecture. The system is formally modeled in pi-calculus. Finally we transformed the specification to pi- ADL and generated code using Archware tool. We have already developed a semantic grid registry.
Keywords :
formal specification; grid computing; pi calculus; software architecture; Archware tool; formal modeling; formal specification; pi-ADL; pi-calculus; semantic grid registry; system architecture; trust model; Calculus; Content based retrieval; Content management; Context modeling; Fires; Formal specifications; Grid computing; Information resources; Information retrieval; Publishing; Arch ware Tool; Formal Methods; Grid Registry; Pi ADL; Pi Calculus; Reputation; Trust Model;
Conference_Titel :
Information and Communication Technologies, 2009. ICICT '09. International Conference on
Conference_Location :
Karachi
Print_ISBN :
978-1-4244-4608-7
Electronic_ISBN :
978-1-4244-4609-4
DOI :
10.1109/ICICT.2009.5267211
