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

fYear

2009

fDate

15-16 Aug. 2009

Firstpage

65

Lastpage

69

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/ICICT.2009.5267211

Filename

5267211