Formalizing Interactive Institution with RBA Calculus
Although organization oriented paradigm is a promising way to design dynamic interactive computational systems in open and heterogeneous networked environment, there is still lack of a suitable formal approach to support this paradigm. RBA, a boxed ambient calculus extended with separated regulating mechanism, is proposed to design such systems. In RBA, an ambient is an encapsulating mobile unit parameterized with role-governors that regulating actions of the corresponding role-players participating into this ambient. Firstly the formal syntax and semantics of RBA are given. Secondly an electronic institution model is applied to illustrate the RBA approach. Based on the bisimulation theory of process calculi, verification and validation of design specifications are supported with RBA approach.
Interactive computation Ambient calculus Electronic institution Behavior regulation
Guoyong Cai Ji Gao Junyan Qian Lingzhong Zhao
College of Computer Science and Technology, Zhejiang University, Hangzhou 310027,P. R. China College of Computer Science and Technology, Guilin University of Technology, Guilin 541004, P.R. Chi
国际会议
The 2007 International Conference on Intelligent Systems and Knowledge Engineering(第二届智能系统与知识工程国际会议)
成都
英文
1630-1636
2007-10-15（万方平台首次上网日期，不代表论文的发表时间）