Proceedings of the 2007 International Conference on Intelligent Systems and Knowledge Engineering (ISKE 2007)

Formalizing interactive institution with RBA calculus

Authors
Guoyong Cai1, Ji Gao, Junyan Qian, Lingzhong Zhao
1College of Computer Science and Technology, Zhejiang University
Corresponding Author
Guoyong Cai
Available Online October 2007.
DOI
https://doi.org/10.2991/iske.2007.153How to use a DOI?
Keywords
Interactive computation; Ambient calculus; Electronic institution; Behavior regulation;
Abstract

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.

Copyright
© 2007, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

Volume Title
Proceedings of the 2007 International Conference on Intelligent Systems and Knowledge Engineering (ISKE 2007)
Series
Advances in Intelligent Systems Research
Publication Date
October 2007
ISBN
978-90-78677-04-8
ISSN
1951-6851
DOI
https://doi.org/10.2991/iske.2007.153How to use a DOI?
Copyright
© 2007, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Cite this article

TY  - CONF
AU  - Guoyong Cai
AU  - Ji Gao
AU  - Junyan Qian
AU  - Lingzhong Zhao
PY  - 2007/10
DA  - 2007/10
TI  - Formalizing interactive institution with RBA calculus
BT  - Proceedings of the 2007 International Conference on Intelligent Systems and Knowledge Engineering (ISKE 2007)
PB  - Atlantis Press
SP  - 901
EP  - 907
SN  - 1951-6851
UR  - https://doi.org/10.2991/iske.2007.153
DO  - https://doi.org/10.2991/iske.2007.153
ID  - Cai2007/10
ER  -