Title

Networks - II: Formal modeling of trust in Semantic Grid Registry

Abstract/Description

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.

Location

Eiffel 3

Session Theme

Networks - II

Session Type

Other

Session Chair

Dr. Sayeed Ghani

Start Date

16-8-2009 12:00 PM

End Date

16-8-2009 12:20 PM

Share

COinS
 
Aug 16th, 12:00 PM Aug 16th, 12:20 PM

Networks - II: Formal modeling of trust in Semantic Grid Registry

Eiffel 3

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.