基于广义随机Petri网的Web服务组合建模与可达性分析

针对目前Web服务组合性能分析研究中的不足,深入研究了基于构件服务的服务组合模型和Web服务组合的技术特点,提出了一种基于广义随机Petri网的Web服务组合可靠建模和可达性分析方法,提高了Web服务组合性能分析的准确性,从而更有效的指导Web服务的组合过程中构件服务的选择和系统建构的调整。     

基于OPN的指控能力包服务动态组合方法研究

服务组合方法对于分布式网络环境下基于SOA的军事应用系统的综合性能影响很大.提出了一种基于OPN的服务动态组合方法的解决方案.首先定义了基于对象Petri网的指控能力包服务描述和组合模型,对服务组合的数学算子进行了分析和证明,而后给出了基于OPN的服务动态组合流程,最后使用国防科大对象Petri网建模仿真环境工具对提出的服务组合模型进行建模仿真,并对实验数据进行了分析.     

基于随机Petri网的协同服务模型与分析

提出了一种基于随机Petri网的协同服务模型与分析方法,选择了企业协同服务中几个最具有代表性的流程,利用随机Petri对这些代表流程进行了建模以及模型简化和证明.然后,以电子商务系统中的物流系统为例,在随机Petri网模型建模的基础上应用模型等价化简和性能评价方法,时模型化简前后的系统性能和计算时间进行了对比分析.     

智慧家庭服务系统过程建模与设计

智慧家庭服务系统是现代服务计算和云计算环境下服务系统的新形态和新应用,对智慧家庭服务业务过程的分析、建模与设计问题进行了研究。介绍了智慧家庭的新理念,提出了智慧家庭服务系统的体系结构。在详细分析家庭服务业务过程基础上,提出了基于BPMN建模语言的智慧家庭服务过程建模方法。最后以具有典型性的采购服务为例,建立了服务过程模型,并给出了设计与实现方案。     

面向服务领域软件系统的模型驱动建模方法

面向服务体系结构(SOA)的工程化和建模对现有的建模技术和方法提出了新的挑战.提出了一种基于web服务的领域服务原型系统的快速模型驱动建模框架.从服务构件的概念和标准统一建模语言(UML)2.0的建模构造出发,给出了一个综合的服务软件建模过程.在此基础上,讨论了模型驱动的web服务的特性描述,重点是介绍一种基于UML扩充机制的面向web服务描述语言(WSDL)的建模技术.通过一个流通领域的面向服务企业资源计划(ERP)系统的实际建模,展示了所提方法是切实可行的.     

基于PEPA的组合服务性能建模与分析

当前对于组合服务的分析主要侧重在功能方面,缺乏有效地进行性能分析的手段和工具.针对此问题,提出一种基于PEPA(performance evaluation process algebra)的组合服务性能建模与评价方法.基于服务组合图对组合服务中原子服务的交互行为进行分析,证明了组合服务和PEPA模型是同构的.给出组合服务和PEPA的映射规则,并建立服务组合的性能模型.提出组合服务性能建模和分析方法.实践结果表明该方法更加简单、有效,易于工程实现.     

面向服务的企业架构

定义了面向服务的企业架构、业务过程和活动类型,分析了企业架构内涵的演化、概念框架和服务视角,并在传统企业建模、IT规划和企业架构的基础上提出了面向服务企业架构及其规划过程,为分析面向服务环境下企业的业务、IT及其一致性提供了公共的理解和交流基础,有助于企业实时监控IT架构运营状况,进而预测、评估和优化企业业务过程性能,实现企业间的业务过程协作建模与执行.     

面向服务的建模:一种全过程复用的方法

面向服务的计算是Internet环境下的一种新型软件架构理念,即通过集成分布的服务构建软件.面向服务建模是面向服务计算中的重要研究内容.一方面,面向服务的软件同传统软件一样,需要首先对应用需求进行建模.另一方面,面向服务的计算需要实现分布复用和快速集成,这对面向服务的建模提出了新的要求.文中提出一种基于全过程复用的面向服务的建模方法,即提出构建特定应用领域的本体系统,包含相互关联着的多个不同类型的本体.不同层次的软件资产关联到这些本体上,支持面向服务建模的不同阶段,包括应用框架建模、业务流程建模、合作模式建模以及组合服务建模等.当出现新的服务软件应用需求时,通过本体系统的引导复用软件资产,最后构造出服务软件模型.     

面向服务软件体系结构的XML描述和构造

介绍一种新的基于XML的用来描述服务软件体系结构的体系结构描述语言S-XADL.S-XADL规约采用XML作为元语言,集成了相关的UML 2.0 Profile规则、OCL语言和MSC表示法,除具备描述软件系统高层结构的能力,还为定义服务的交互集成模式和把服务映射到目标构件配置提供了建模元素.提出一个三阶段的软件体系结构迭代改进过程,该过程把服务视为首要的类建模元素,并认为服务是横切体系结构的方面.给出一个使用MVC模式的运行实例的面向服务体系结构建模,用以展示该方法的可行性和有效性.     

建模与仿真服务化研究综述

建模与仿真服务化是提升用户体验,支撑按需访问建模与仿真能力的有效手段.本文首先从建模与仿真服务的访问、开发以及运行与管理三个层面对建模与仿真服务化的概念进行辨析;并从服务的分类、抽象层级、基本元素和状态四个角度对建模与仿真服务的特征进行阐述.然后从基于网页的仿真、基于面向服务架构(Service oriented architecture,SOA)的仿真系统开发和服务化基础设施三个维度对建模与仿真服务化的发展历程进行梳理.在此基础之上,分析了基于云的建模与仿真服务化的构建原则、基本架构和应用模式,并从访问、开发以及运行与管理三个层面给出建模与仿真服务化相关的支撑技术.最后,从理论体系、关键技术和新兴技术三个方面给出进一步发展建模与仿真服务化的建议.