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

作     者：滕少华 张如琪 刘冬宁 刘林源 朱咸军 TENG Shao-hua;ZHANG Ru-qi;LIU Dong-ning;LIU Lin-yuan;ZHU Xian-jun

作者机构：广东工业大学计算机学院广东广州510006 南京审计大学电子商务系江苏南京211815 南京大学工程管理学院江苏南京210093 

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

出 版 物：《电子学报》 (Acta Electronica Sinica)

年 卷 期：2017年第45卷第12期

页      码：3012-3018页

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

主 题 词：角色协同 群组 角色 代理 角色扮演逻辑 

学科分类：0808[工学-自动化类] 0809[工学-计算机类] 08[工学] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.0372-2112.2017.12.025

馆 藏 号：203281135...