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