国家自然科学基金(61070030) 作品数:6 被引量:32 H指数:3 相关作者: 赵会群 孙晶 魏光 郭峰 孙秀娟 更多>> 相关机构: 北方工业大学 北京工业职业技术学院 更多>> 发文基金: 国家自然科学基金 北京市属高等学校人才强教计划资助项目 更多>> 相关领域: 自动化与计算机技术 更多>>
一种SOA软件系统可信性评价方法研究 被引量:21 2010年 结合计算机系统可信性评价需求,研究基于SOA软件系统可信性评价方法.首先引入SOA软件代数模型,给出SOA软件可信范式,为从软件体系结构角度研究可信性评价问题奠定基础.给出SOA软件元素(服务组件和服务组合)可信属性的定义以及可信性定义;证明可信范式下SOA软件系统的Markov特性,提出SOA软件系统的综合可信性评价模型.通过一个案例解释SOA软件系统可信性模型的应用.最后通过与同类研究比较,总结本文的特点和贡献. 赵会群 孙晶EPC物联网中标签加密算法研究 被引量:1 2014年 针对EPC物联网中数据安全性问题,以及传统的PKI系统构建开销过大、认证体系复杂等问题,提出一种轻型的PKI加密算法。该算法结合EPC物联网的特点,通过引入EPC密钥和基于社会学信任协商模型的认证机制,对传统的PKI进行裁减,在不改变传统PKI基本功能的前提下对加密算法及CA管理进行简化,形成了轻型的PKI算法,构建了具有复合物联网特点的安全体系结构。实验表明:改进的算法有效地实现了对EPC数据访问的控制,保证了物联网中的信息传输效率。 孙秀娟 赵会群关键词:电子标签 物联网 信息安全 Technology research of publish service with reliable property In order to guarantee the reliability of services composition, the author puts forward a few Trustworthy Norma... J.Sun N.N.Luo N.Shen网构软件体系结构代数模型 被引量:7 2013年 由于网络化软件的规模和复杂程度的不断增加,设计可伸缩的软件体系结构,开发可演化的软件系统遇到了挑战.挑战之一是很难把软件模型与原系统说明区分开来,使得软件系统的可演化性受到限制.一个有效的途径是建立可范用软件体系结构的抽象模型,指导网构软件设计,从而提高软件模型的概括能力和可伸缩能力.本文提出一种网构软件体系结构代数模型,其中一个创新思想是把网构连接子解释成网构变量的运算.结合代数学方法和软件实现技术,定义了6种网构连接运算,所有运算是对连接子的代数抽象,因此软件体系结构的抽象表达能力得到了加强.为了展示提出代数模型的建模与分析辅助作用,介绍了一个基于代数模型的网构软件设计与演化的案例研究. 赵会群 孙晶关键词:抽象代数 进程代数 一种面向服务Petri网模型及其结构化操作语义 被引量:3 2013年 在工作流网、开放网等Petri网模型的基础上,提出适合描述面向服务系统的Petri网模型—EON(扩展开放网).针对服务的各种组合方式定义了五种EON的组合算子,利用这些组合算子可以从基本EON组合成复杂EON.基于这些组合算子,EON本身可以采用代数化的构造性方式表达,本文进一步给出EON的结构化操作语义,这种语义是遗忘式的,不依赖于EON的标识,而是用发生变化的代数表达式描述EON的运行状态. 郭峰 魏光 邓蒙蒙关键词:PETRI网 结构化操作语义 服务体系结构的动态演化方法研究 针对服务动态演化基础理论研究薄弱的问题,提出了一种基于服务体系结构代数模型的体系结构动态演化方法。通过定义服务体系结构映射、体系结构同态与同构演化,明确了服务体系结构演化是一种代数系统变换的范例,从而可以用代数学方法分析... 赵会群 孙晶 魏莹 王文文关键词:代数模型 物联网 文献传递 基于GFT的TTCN-3测试套自动生成工具的设计与实现 2013年 针对TTCN-3(Testing and Test Control Notation Version 3)第三部分GFT(Graphical presentation format of TTCN-3)标准只对TTCN-3测试行为提供图形表示的问题,提出扩展GFT图形的方法,进一步完善TTCN-3的图形表示格式。实现基于GFT图的图形编辑工具,强有力地支持TTCN-3测试套的开发。一方面提高了TTCN-3测试套的开发效率,测试套的可读性;另一方面,对图形元素的添加限制也有效地保障了开发的TTCN-3代码符合TTCN-3核心语言规则。 孙晶 余昌蓉关键词:TTCN-3 测试用例生成 物联网中RFID识读器非集中管理模型的实现 2015年 随着物联网应用的越来越广泛,物联网应用系统的传感器节点数量越来越大、种类越来越多,传感器节点的管理越来越复杂。具体到RFID识读器系统管理,现在采用最广泛的是集中管理模型,管理中心要管理系统内各个地点的识读器,由于识读器数量持续增大,管理中心的工作变得越来困难。针对上述问题,设计实现了RFID识读器的非集中管理模型,识读器由本地终端服务器直接管理,管理中心通过和终端服务器进行通信,间接控制识读器完成工作,管理中心只接收终端服务器处理好的数据。这样把识读器的管理工作分布到终端服务器上,管理中心只负责和终端服务器通信,不再负责具体的识读器管理工作,系统内识读器由各个终端服务器进行非集中管理,可以根据具体管理的识读器的个数调节终端服务器的个数,该模型能够完成大量识读器的管理工作。 刘帅飞 赵会群关键词:物联网 射频识别 识读器