Role Playing Logic and Its Algebra Model in Role-Based Collaboration

TENG Shao-hua; ZHANG Ru-qi; LIU Dong-ning; LIU Lin-yuan; ZHU Xian-jun

doi:10.3969/j.issn.0372-2112.2017.12.025

您当前的位置：

首页 >

文章列表页 >

Role Playing Logic and Its Algebra Model in Role-Based Collaboration

更新时间：2025-07-16

- Role Playing Logic and Its Algebra Model in Role-Based Collaboration
- Acta Electronica Sinica Vol. 45, Issue 12, Pages: 3012-3018(2017)
- 作者机构：
  
  1. 广东工业大学计算机学院,广东,广州,510006
  2. 南京审计大学电子商务系,江苏,南京,211815
  3. 南京大学工程管理学院,江苏,南京,210093
  4. 广东工业大学计算机学院,广东,广州,510006
  5. 南京审计大学电子商务系,江苏,南京,211815
  6. 南京大学工程管理学院,江苏,南京,210093
- 作者简介：
- 基金信息：
- DOI：10.3969/j.issn.0372-2112.2017.12.025
  CLC： TP301
- Published Online：25 December 2017，
  
  Published：2017
- 稿件说明：
移动端阅览
TENG Shao-hua, ZHANG Ru-qi, LIU Dong-ning, et al. Role Playing Logic and Its Algebra Model in Role-Based Collaboration[J]. Acta Electronica Sinica, 2017, 45(12): 3012-3018.
DOI：

TENG Shao-hua, ZHANG Ru-qi, LIU Dong-ning, et al. Role Playing Logic and Its Algebra Model in Role-Based Collaboration[J]. Acta Electronica Sinica, 2017, 45(12): 3012-3018. DOI： 10.3969/j.issn.0372-2112.2017.12.025.

摘要

基于角色协同（Role-Based Collaboration，RBC）的软件工程与协同计算方法以角色为基础进行研究，能有效促进信息系统的抽象与分类，有利于单元协作与协同计算.为支撑RBC及其角色引擎，本文从元理论角度出发，运用子结构逻辑对RBC的关键元素：群组、角色和代理进行了考量与印证，并提出了系列多项式时间复杂度的角色扮演逻辑系统（Role Playing Logic，RPL）及相关代数模型.通过逻辑强刻画与形式化方法对RBC系统基本关联性和层次结构的剖析，系列角色扮演逻辑可因不同的设计需求做扩充与变化，以支撑RBC做各类工程应用与研发.

Abstract

Role-based collaboration (RBC) is a software engineering and cooperative computing method.It can extract and classify information systems.Therefore

it can be applied to the fields such as system unit collaborative computing and working.From meta-theoretical perspective

the specification of groups

roles and agents is a critical element of RBC.In consideration of the relationships and hierarchies faced by groups

roles and agents

we propose a series of role playing logic systems (RPL) and their algebra models through by using substructural logic.The proposed logic systems are polynomial in complexity and in support of RBC.One can extend RPL systems and models to suit other appropriate applications

to support RBC to do all kinds of engineering applications and research development.

关键词

Keywords

references

Views

254

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

A Feature Model Componentization Method Based on Role

A Framework for Implementing Dynamically Modified Least Privilege Security Policy

Role-Based Access Control Model of Temporal Object

Research on Intrusion Tolerant Architecture Based on Role-Based Access Control

Research and Enforcement of Enhanced Chinese Wall Security Policy

Related Author

YAO Zhi-lin

LIU Shu-fen

ZHANG Jun

LI Li-ping

HE Ye-ping

QING Si-han

SHEN Qing-ni

ZHAO Zong-tao

Related Institution

College of Computer Science and Technology, Jilin University

Institute of SoftwareChinese Academy of SciencesBeijing 100080China

School of Software and MicroelectronicsPeking UniversityBeijing 102600China

Institute of Software,Chinese Academy of Sciences

School of Software and Microelectronics, Peking University

⁰