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

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

基于角色协同(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.