Process Algebraic Model of Electronic Institution

CAI Guo-yong,GAO Ji,DONG Rong-sheng
DOI: https://doi.org/10.3969/j.issn.1000-7180.2007.10.022
2007-01-01
Abstract:Developing dependable distributed collaboration system is still a challenge work in an open and heterogeneous environment. Although electronic institution provides a promising way towards modeling the problem, there are some shortages when concerning the design and construction of such a system. Based on the well founded process algebraic theory, an electronic institution oriented calculus language is presented to specify the complex interaction patterns appearing in institutional design level. The formal defined syntax and operational semantic of the calculus language are presented. A proof of concept implementation has been working out with the proposed approach. The experience shows a lot of advantages when developing such type of institutional based collaboration systems with the proposed process algebraic approach.
What problem does this paper attempt to address?