1. 广东工业大学计算机学院,广东,广州,510006
2. 南京审计大学电子商务系,江苏,南京,211815
3. 南京大学工程管理学院,江苏,南京,210093
4. 广东工业大学计算机学院,广东,广州,510006
5. 南京审计大学电子商务系,江苏,南京,211815
6. 南京大学工程管理学院,江苏,南京,210093
网络出版:2017-12-25,
纸质出版:2017
移动端阅览
滕少华, 张如琪, 刘冬宁, 等. 基于角色协同的角色扮演逻辑及其代数模型[J]. 电子学报, 2017,45(12):3012-3018.
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.
滕少华, 张如琪, 刘冬宁, 等. 基于角色协同的角色扮演逻辑及其代数模型[J]. 电子学报, 2017,45(12):3012-3018. DOI: 10.3969/j.issn.0372-2112.2017.12.025.
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做各类工程应用与研发.
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.
0
浏览量
254
下载量
1
CSCD
关联资源
相关文章
相关作者
相关机构
京公网安备11010802024621