组合服务控制流测试

结合Web服务本体语言(OWL-S,Web Ontology Language for Services)和线性时态逻辑理论(LTL, Linear Temporal Logic),研究用于测试的组合服务流程形式化描述方法和动态测试信息分析方法.将OWL-S作为组合服务的需求参考模型,采用组合服务标准和形式化描述方法相结合的方式,用线性时态逻辑刻画OWL-S控制结构的动态语义,明确地表示出控制结构中各成分的执行顺序.进一步用线性时态逻辑公式集合描述组合服务的控制流需求,从而使原子服务的交互模式有了明确的表示.基于这种交互模式表示,采用LTL在有限状态序列上的语义,对组合服务实现执行过程中获取的动态信息进行分析,测试组合服务实现的执行过程与组合服务控制流需求的一致性.     

基于WordNet本体和PLSA的语义Web服务发现

提出了一种基于WordNet本体标注和概率潜在语义分析(PLSA,Probabilistic Latent Semantic Analysis)的语义Web服务发现方法OntoPLSA.首先使用WordNet本体标注Web服务的操作名、参数以及用户请求,以经过标注后的输出参数集合为词汇集,服务描述文档集合为文档集,组成词汇-文档矩阵,以该矩阵为输入,使用PLSA方法对服务集进行分类,并将用户请求带入PLSA模型,确定其所属的类;然后在类中以标注后的输出参数为键,含有这个输出的服务的列表为键值,建立一个映射表,查找与用户请求的输出相似的映射表键,进而找出对应的键值,即服务列表;最后根据QoS(Quality of Service)和用户请求中的输入参数确定满足条件的服务结果集合.在415个Web服务组成的数据集上的测试结果表明,性能较其他方法有优势,召回率和R准确率也得到了改善.     

基于主题模型的结构化Web服务发现机制

提出了基于主题模型(topic model)的结构化Web服务发现机制.利用LDA(Latent Dirichlet Allocation)生成概率模型,将Web服务(Web service)建模为结构化文本文档.一个文档视作主题的概率分布,主题又由关键词的概率分布组成,从而提供基于主题的Web服务检索.同时,利用Web服务的结构化特性,将Web服务描述文档表示为有向无环图,利用n阶谱核测量Web服务文档的相似度,实现Web服务结构化信息的发现.通过实验分析对比,基于主题模型的结构化Web服务发现机制有效提高了Web服务发现的效率和精确率.      

基于Petri网的UML状态图的形式化模型

提出一种可以准确描述UML状态图动态特征的形式化模型SC_Net.首先给出了UML状态图的形式化语法定义,其中用状态集合、转移集合、事件集合、条件集合、活动集合、对象集合和变量集合,定义了一系列辅助函数描述UML状态图特征,用确定目标状态和受限源状态表示层次关系,用开放事件和封闭事件表示对象之间的消息.基于C_Net定义了描述UML状态图动态语义的Petri网模型SC_Net,既能描述状态图中的控制部分,又能描述状态图中的数据处理部分,并给出了从UML状态图到SC_Net的转换步骤,便于实现自动转换过程.最后以柔性制造系统的一个实例说明SC_Net能用于分析UML状态图的性质.      

基于OWL-S的测试用例生成

提出了一种基于OWL-S(OWL Web Ontology Language for Services)需求模型的测试用例自动生成方法,针对被测系统需求特性产生测试用例,以提高Web服务系统交互测试的自动化程度和效率.测试用例的生成通过3个步骤完成:①对需求特性进行分析,获取与需求特性相关的具体事件集的集合;②对OWL-S描述的应用流程进行搜索,寻找所有与需求特性相关的测试路径;③对测试路径上相关原子过程的IOPE(Inputs,Outputs,Preconditions and Effects)属性及路径条件进行分析,产生相应的测试用例.以金融行业ATM(Automated Teller Machine)示例系统为例对本方法进行了验证,结果表明本方法按要求产生了与需求特性相关的测试用例,覆盖了所有给定的需求特性公式,并有效的检测出被测系统中存在的错误.      

Web信息融合系统基础设施的研究

元建模是实现分布异构数据源间互操作的有效途径,元模型框架MMF(Meta Model Framework)是一套元对象和元模型结构的集合,用于信息注册和信息资源库开发中元模型建立.将联邦数据管理系统与软件工程中本体元模型框架结合,建立Web信息融合系统基础设施的体系结构.结合语义Web服务平台和软件代理技术,研究Web信息融合系统基础设施的运行机制.提出本体对象(ontology-object) 建模理论和方法,指导Web信息融合系统基础设施的开发设计,简化设计开发过程.      

基于Web服务的VHE平台

第三代移动通信技术提出了虚拟归属环境VHE(Virtual Home Environment)的概念,允许 个人业务环境的无缝漫游,使用户能在任何地方通过任何终端和网络访问个性化的业务.分析了VHE业务平台的基本功能需求,利用Web服务技术的架构,提出一种面向服务的VHE平台——WSEVHEP(Web Services Enabled VHE Platform),平台本身和第三方的业务均以Web服务的形式发布.提出了VHE服务的框架和流程,主要流程包括服务的发现、订购和执行.该平台实现了VHE的基本特性,满足了用户对移动性的要求,适合构建移动互联网的VHE业务平台.      

基于描述逻辑DL_(RBAC)的RBAC形式化模型

提出了一种新的基于描述逻辑的形式化表示方法,将组成基于角色的访问控制(RBAC,Role-Based Access Control)模型的集合和关系分别用描述逻辑中的概念和角色表示,并且在基本的描述逻辑语言上引入了可以表示角色的复合关系和包含关系的符号,从而形式化表示出了RBAC与角色继承有关的一些关键性质和约束条件,如角色层次关系(RH,Role Hierarchy)传递性、用户角色分配关系(UA,User-Role Assignment)的继承性和权限角色分配关系(PA,Permission-Role Assignment)的继承性,以及RBAC中的静态职权分离约束和动态职权分离约束等.通过形式化地表示RBAC的继承关系及约束条件,利用描述逻辑本身的推理机制可以限制不符合访问控制策略的继承关系产生.     

飞机制造工装中典型配套结构自动建模技术

飞机制造工装中存在大量配套结构,其中各元件在空间方位和结构尺寸等方面具有严格的关联关系,但这些元件并不总是构成一个完整的组合件,而是独立隶属于工装总体结构.现有的配套结构建模技术需要繁琐的人工操作,为了实现这类结构的自动建模,提出了基于结构关联关系的虚配件技术.首先,根据配套结构的构成元件间的依赖关系引入虚配件的概念,并以此为基础对配套结构进行了形式化定义和表示;其次,研究和建立了配套结构自动建模原理,并对其中涉及的语义模型解释、文档创建及子件安装等关键算法进行了详细说明;最后,通过V形块组件结构实例测试,验证了所提方法的正确性和有效性.     

组合Web服务建模工具的设计与实现

通过分析IBM提出的Web服务流程描述语言(WSFL),设计并实现了一个基于WSFL的组合Web服务建模工具(CWSMT).该工具还可与Web服务运行环境相结合,将图形化的建模结果转换为可部署、可运行的组合Web服务,实现组合Web服务的建模、部署与运行监控过程的一体化.      

基于Web服务的单点登录系统的研究与实现

随着分布式计算技术与应用的不断发展,基于动态、松耦合环境的业务流程将涉及到多个服务提供商,以致用户在完成这样的业务时需要面对多次登录的困扰.针对这个问题,分析了在分布式环境中基于Web服务的用户单点登录机制,并设计实现了Web服务应用支撑环境中的单点登录系统,使得用户只需登录一次即可完成复杂业务.      

基于Web服务的网络软件运行平台研究与实现

Web服务运行平台是一组软件的集合,它们通过标准协议或规范进行交互,形成一个面向Web服务及其应用部署、运行、监控和管理的系统环境.平台设计依据分层处理原则,采用核心运行环境、动态服务部署和插件式资源管理的系统结构进行实现.平台通过信息门户、工作流处理、系统服务、运行管理和安全控制机制为基于Web服务的互联网软件提供了一类应用支撑框架.      

异构同步协作系统的集成框架

为了解决异构同步协作系统之间的通信问题,基于集合论提出了一种新的同步协作系统数学模型,并定义了集成过程中使用的关键运算,对异构同步协作系统的集成进行分析,提出实现该框架的2个关键机制.代理机制屏蔽异构系统之间的资源差异和所在网络的差异,并且协调各个系统之间的交互.多点传输机制用于在一次会晤中连接多个异构协作系统.在此基础上定义了一个能够集成各种异构同步协作系统的集成框架.根据该框架,运用Web Services技术开发了集成系统.此系统实现了3种用户群较多的、典型的协作系统的集成,分别是基于H.323标准集的协作系统,基于SIP(Session Initiation Protocol)协议的协作系统和基于IP组播的协作系统.这些异构系统的用户相互之间能够实现通信和同步协同工作.     

基于策略的网格应用服务QoS管理模型

R.Al-Ali提出了一个基于网格的服务质量(QoS)管理框架模型,该模型将网格QoS问题划分为应用层QoS、网格中间层QoS以及网络层QoS,并重点对应用层的QoS表示和优化等问题进行了研究.目前关于网格QoS方面的大多数研究都集在对应用层如何扩充WSDL文档以实现服务等级协商(SLA)的表示等问题上.对于如何将应用层所需要的QoS与网络传输层的QoS机制模型结合起来以适合于网格计算的研究还是相当少,为此提出了一种基于策略的网格QoS管理模型,该模型既能够屏蔽由于网格应用服务使用不同的QoS级别带来的映射差别,也能够屏蔽由于跨越不同组织所采用不同QoS机制模型带来的映射差别.当组织的QoS机制模型采用差分模型(DiffServ)时,对所提出的模型进行了初步仿真,仿真结果表明可以将这一策略模型集成到开放网格服务体系(OGSA)中实现对网格应用服务的QoS管理.     

Web服务组合处理系统的研究与实现

单个Web服务难以满足实际应用的需求,为了解决互联网应用的集成和协作问题,需要把独立的Web服务组合起来以实现复杂的业务逻辑功能.通过分析服务组合的处理机制,基于传统工作流技术,使用IBM的WSFL语言作为服务组合描述语言,设计并实现了一个面向Web服务组合语言的通用的Web服务组合处理系统.这是一个多层结构的系统,它由Web服务平台、服务组合处理引擎、JMX注册管理中心、远程管理控制台以及处理引擎配置工具五部分构成;它为WSFL语言所描述的服务组合流程提供了一个运行引擎,同时提供了一个基于JMX的管理控制台,通过它可以对正在运行的流程实例以及历史数据进行控制和管理.该系统为基于Web服务的应用集成和协作提供了一个统一的运行管理环境.