基于SOA的Web Service组合研究及应用

针对目前SOA研究现状,对SOA、Web Service和Web Service组合模式予以分析研究,构建出基于SOA的Web Service组合模式及运行时架构,以实现对互联网上相关子系统资源共享、平台独立和松散耦合,为互联网上信息系统开发提供新的解决方案.最后,应用此组合模式及架构开发项目“研究生实习实践综合管理信息系统”中学院导师管理模块Web服务,说明此架构在Web Service及信息系统中的适用性.     

基于政策的自配置系统的形式建模与分析

计算机系统的复杂性不仅使其分析与开发困难,而且同样使其安装配置面临挑战。为解决复杂系统配置面临的问题,具有一定程度智能性的自配置系统正成为研究热点。本文针对基于政策的自配置系统框架,提出该类系统的形式化描述模型,在该系统模型的基础上可将系统的自配置行为描述为系统内部的状态转移过程,从而能对自配置系统的性质进行分析与验证。最后通过配置实例对提出的自配置系统进行分析,验证系统具备的性质。     

基于描述逻辑的策略冲突检测方法研究及实现

采用基于策略的方法对安全管理、服务质量等进行监管,已经得到广泛应用。本文提供了一种基于描述逻辑的策略建模方式,将策略定义为两种类型,即授权策略和义务策略;建立策略相关的概念,结合概念之间的关系得到基于描述逻辑的策略模型。策略冲突会导致不一致的系统行为,是策略分析最重要的内容。本文深入研究了不同类型的策略 略冲突,在所建立的模型基础上提出了一套基于描述逻辑的策略冲突检测方法,并使用推理机Racer举例验证了这种检测方法。     

控制系统软件的方法论设计

现代计算机技术、VLSI技术的发展为复杂、高级控制系统的实现提供了良好的机遇,而这一机遇却被该类系统设计过程中所遇到的困难所平衡.控制系统软件的设计与开发则是所要克服的主要困难之一.从软件工程角度提出了控制系统软件的方法论设计思想,并对有关问题进行了讨论.     

Statechart规格语言的语法分析研究

Statechart是一种用以规约复杂反应式系统行为的可视化语言.它在一些方面上扩展了典型的状态转移图,保留甚至发挥了可视化要求.实际上,Statechart满足层次的描述,包括高层和低层事件,更显著地是采用广播通信机制产生连锁反应而引起多层并发.通过对Statechart语言进行了分析研究后给出了其形式化文法表示.在此基础上,讨论了Statechart规格语言语法正确性分析的问题.     

基于抽象解释的Prolog程序验证技术研究

作为一种通用的语义近似理论,抽象解释已广泛应用于各类程序的形式化验证中.现有基于抽象解释的逻辑程序验证技术未涉及与程序点相关联的程序性质的验证,设计能够描述此类性质的逻辑程序具体语义和抽象语义是构造相应验证工具的关键.本文给出了一种基于抽象解释的Prolog程序验证方法,该方法采用了具有路径信息的Prolog语义及其抽象作为语义基础,因而可用于验证与程序点相关联的程序特性.本文例子表明了该验证方法的有效性.     

多Agent系统中基于狄利克雷分布的信任模型

提出一种多Agent系统中基于狄利克雷分布的信任模型.该模型利用狄利克雷分布解决二元评价的局限性,使信任模型可以按等级来评价信誉.提出层次过滤算法,以解决推荐信息中存在的各类恶意Agent问题.仿真实验结果表明,该信任模型能有效抑制不诚实推荐和策略性欺骗.     

电子机构的安全性分析研究

电子机构是人类机构代理的副本,为提供支持、信任和合法性商业应用而具体设计。它是以网络为基础的,一种虚拟的管制环境,然而在现有的研究中,并没有实现电子机构基于角色的访问控制。本文根据电子机构的基本概念,提出了电子机构基于角色的访问控制模型,并从系统权限、身份认证以及访问控制的角度,研究电子机构的安全性。描述了重写逻辑Maude工具建模的方法和过程。最后,用重写逻辑Maude工具实现了网上购物系统的登录身份认证。     

从经典逻辑知识构建ASP知识库的新方法

回答集程序设计(ASP)是一种主流的非单调知识表示工具。为了能够在利用ASP求解问题过程中使用现有的以经典逻辑表示的知识,给出了一种把以谓词逻辑公式表示的约束型知识和定义型知识转化为ASP程序或知识库的新方法,并以实例说明了其有效性。该方法满足转化后ASP程序的回答集与原公式集的模型具有一一对应关系。在实际应用中,该方法提供了一项从现存的以谓词逻辑为表示语言的知识库,构建以ASP为知识表示语言的非单调知识库的技术。     

基于UIO序列的测试方法及UIO生成算法研究

测试序列生成是协议一致性测试的一个重要方面,好的测试序列应该有较大的错误覆盖率且长度越短越好。测试序列构成中的第三部分通常称为状态识别序列,通过比较几种以UIO序列为状态识别序列的协议一致性测试方法,提出了一个更好的UIO序列生成算法,该算法能产生更短的UIO序列。