基于角色协同的角色扮演逻辑及其代数模型  

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

作　　者：滕少华[1] 张如琪 刘冬宁[1] 刘林源[2] 朱咸军 

机构地区：[1]广东工业大学计算机学院,广东广州510006 [2]南京审计大学电子商务系,江苏南京211815 [3]南京大学工程管理学院,江苏南京210093

出　　处：《电子学报》2017年第12期3012-3018,共7页Acta Electronica Sinica

基　　金：国家自然科学基金(No.61402118);广东省产学研合作项目(No.2015B090901016);广州市科技计划项目(No.2016201604030034);江苏省自然科学基金(No.BK20130735);江苏省高校自然科学研究项目(No.13KJB520011)

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

关 键 词：角色协同 群组 角色 代理 角色扮演逻辑 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]