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.
Keywords
Trust model, Reputation, Grid registry, Formal methods, Pi calculus, Pi ADL, Arch ware tool
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
Recommended Citation
Mahmood, S., Iftikhar, S., Ahmad, H. F., & Mahmood, F. (2009). Networks - II: Formal modeling of trust in Semantic Grid Registry. International Conference on Information and Communication Technologies. Retrieved from https://ir.iba.edu.pk/icict/2009/2009/9
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.