基于角色协同的角色扮演逻辑及其代数模型-电子学报.PDF

第１２期 电　　子　　学　　报 Ｖｏｌ．４５　Ｎｏ．１２ ２０１７年１２月 ＡＣＴＡＥＬＥＣＴＲＯＮＩＣＡＳＩＮＩＣＡ Ｄｅｃ．　２０１７ 基于角色协同的角色扮演 逻辑及其代数模型 １ １ １ ２ ３ 滕少华 ，张如琪 ，刘冬宁 ，刘林源 ，朱咸军 （１．广东工业大学计算机学院，广东广州５１０００６；２．南京审计大学电子商务系，江苏南京２１１８１５； ３．南京大学工程管理学院，江苏南京２１００９３） 　　摘　要：　基于角色协同（ＲｏｌｅＢａｓｅｄＣｏｌｌａｂｏｒａｔｉｏｎ，ＲＢＣ）的软件工程与协同计算方法以角色为基础进行研究，能 有效促进信息系统的抽象与分类，有利于单元协作与协同计算．为支撑ＲＢＣ及其角色引擎，本文从元理论角度出发， 运用子结构逻辑对ＲＢＣ的关键元素：群组、角色和代理进行了考量与印证，并提出了系列多项式时间复杂度的角色扮 演逻辑系统（ＲｏｌｅＰｌａｙｉｎｇＬｏｇｉｃ，ＲＰＬ）及相关代数模型．通过逻辑强刻画与形式化方法对ＲＢＣ系统基本关联性和层次 结构的剖析，系列角色扮演逻辑可因不同的设计需求做扩充与变化，以支撑ＲＢＣ做各类工程应用与研发． 关键词：　角色协同；群组；角色；代理；角色扮演逻辑 中图分类号：　ＴＰ３０１　　　文献标识码：　Ａ　　　文章编号：　０３７２２１１２（２０１７）１２３０１２０７ 电子学报ＵＲＬ：ｈｔｔｐ：／／ｗｗｗ．ｅｊｏｕｒｎａｌ．ｏｒｇ．ｃｎ　 ＤＯＩ：１０．３９６９／ｊ．ｉｓｓｎ．０３７２２１１２．２０１７．１２．０２５ ＲｏｌｅＰｌａｙｉｎｇＬｏｇｉｃａｎｄＩｔｓＡｌｇｅｂｒａＭｏｄｅｌｉｎ ＲｏｌｅＢａｓｅｄＣｏｌｌａｂｏｒａｔｉｏｎ １ １ １ ２ ３ ＴＥＮＧＳｈａｏｈｕａ，ＺＨＡＮＧＲｕｑｉ，ＬＩＵＤｏｎｇｎｉｎｇ，ＬＩＵＬｉｎｙｕａｎ，ＺＨＵＸｉａｎｊｕｎ （１．ＳｃｈｏｏｌｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅａｎｄＴｅｃｈｎｏｌｏｇｙ，ＧｕａｎｇｄｏｎｇＵｎｉｖｅｒｓｉｔｙｏｆＴｅｃｈｎｏｌｏｇｙ，Ｇｕａｎｇｚｈｏｕ，Ｇｕａｎｇｄｏｎｇ５１０００６，Ｃｈｉｎａ； ２．ＤｅｐａｒｔｍｅｎｔｏｆＥｌｅｃｔｒｏｎｉｃＣｏｍｍｅｒｃｅ，ＮａｎｊｉｎｇＡｕｄｉｔＵｎｉｖｅｒｓｉｔｙ，Ｎａｎｊｉｎｇ，Ｊｉａｎｇｓｕ２１１８１５，Ｃｈｉｎａ； ３．ＳｃｈｏｏｌｏｆＭａｎａｇｅｍｅｎｔａｎｄＥｎｇｉｎｅｅｒｉｎｇ，ＮａｎｊｉｎｇＵｎｉｖｅｒｓｉｔｙ，Ｎａｎｊｉｎｇ，Ｊｉａｎｇｓｕ２１００９３，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ：　Ｒｏｌｅｂａｓｅｄｃｏｌｌａｂｏｒａｔｉｏｎ（ＲＢＣ）ｉｓａｓｏｆｔｗａｒｅｅｎｇｉｎｅｅｒｉｎｇａｎｄｃｏｏｐｅｒａｔｉｖｅｃｏｍｐｕｔｉｎｇｍｅｔｈｏｄ．Ｉｔｃａｎｅｘ ｔｒａｃｔａｎｄｃｌａｓｓｉｆｙｉｎｆｏｒｍａｔｉｏｎｓｙｓｔｅｍｓ．Ｔｈｅｒｅｆｏｒｅ，ｉｔｃａｎｂｅａｐｐｌｉｅｄｔｏｔｈｅｆｉｅｌｄｓｓｕｃｈａｓｓｙｓｔｅｍｕｎｉｔｃｏｌｌａｂｏｒａｔｉｖｅｃｏｍｐｕｔｉｎｇ ａｎｄｗｏｒｋｉｎｇ．Ｆｒｏｍｍｅｔａｔｈｅｏｒｅｔｉｃａｌｐｅｒｓｐｅｃｔｉｖｅ，ｔｈｅｓｐｅｃｉｆｉｃａｔｉｏｎｏｆｇｒｏｕｐｓ，ｒｏｌｅｓａｎｄａｇｅｎｔｓｉｓａｃｒｉｔｉｃａｌｅｌｅｍｅｎｔｏｆＲＢＣ．Ｉｎ ｃｏｎｓｉｄｅｒａｔｉｏｎｏｆｔｈｅｒｅｌａｔｉｏｎｓｈｉｐｓａｎｄｈ