面向服务的企业应用集成系统描述与验证

在对当前面向服务体系架构(service-oriented architecture,简称SOA)研究的基础上,给出了一个以企业服务总线(enterprise service bus,简称ESB)为中心的面向服务软件体系架构参考模型(SOA reference model,简称SOARM),是集Petri网和时序逻辑于一体的形式化SOA分析、验证和确认方法.基于以客户为中心的面向服务架构设计理念,即根据用户提出系统规范/需求,服务提供者提供服务或组合服务来满足服务消费者,服务接口和ESB作为实现面向服务架构的关键部分.虚拟计算环境下,服务语义的一致性验证是十分必要的,SOARM采用新的模式:通过Petri网为服务的行为建模,时序逻辑来描述服务语义一致性约束,综合运用分而治之的精炼检测思想和SOA模型检测合成方法,通过对这些子服务性质的检验来验证整个系统的规范.用商业银行综合前置系统说明了如何使用这种方法来实现面向服务的设计.     

基于有色Petri网的工作流故障诊断方法

工作流系统的故障自动诊断和定位是云计算环境提供持续服务的基础;为了提高工作流系统的故障诊断准确性,文章提出了一种基于有色Petri网的故障诊断方法;首先,用开放世系模型对工作流进行建模;然后,提出了一种基于有色Petri网的故障模型;最后,将工作流的开放世系模型转化为有色Petri网故障模型,并提出了相应的多故障诊断方法;实验表明,文章提出的方法不仅故障定位的准确率和执行效率高于相关算法,还能有效的识别系统中的多个故障.     

有色Petri网在并行测试建模中的应用

并行测试技术对推动科学的发展起着重要作用,如今科学技术的发展和工程问题的解决都离不开并行处理技术.传统的串行测试方法和串行任务调度方法日益体现出了它的局限性.文中将并行测试调度与建模方法作为主要研究内容,以并行任务调度算法为基础,依据有色petfi网的建模理论与方法,建立了基于实例的并行测试系统有色Petri网模型,用...     

基于有色Petri网的Web服务合成建模

分析了用一般Petri网进行Web服务合成建模的不足,提出用有色Petri网进行改进.利用有色Petri网原理给出了Web服务的形式化定义,描述了Web服务合成的五种基本结构的Petri网模型,通过一个行程规划实例,分析了行程中的不同Web服务,描述了行程规划服务由不同Web服务合成的有色Petri网模型,展示了有色Petri网在Web服务合成建模中的优势.     

基于SPN的信息系统生存性分析建模研究

研究基于随机Petri网(SPN)的信息系统生存性分析建模方法.首先,将信息系统抽象为请求组件、通信组件、处理组件和存储组件4个部分;其次,将信息系统工作流程形式化描述和生存性分析建模相结合,并分别描述了通用信息系统、系统组件失效修复、串联并接、冗余以及具有可生存属性组件的随机Petri网建模方法.从而对系统形式化描述的同时对系统生存性能做了定性和定量分析;最后,仿真实验证明基于SPN建模方法分析信息系统生存性的有效性和准确性,并为可生存的信息系统设计提供理论基础和指导.     

面向服务的测量船测控服务总线系统

当前测量船测控软件系统需要完成对各类飞行器的遥测、遥控、外测、仿真等数据的处理,该系统复杂性较高,不易扩展和维护。面向服务的体系架构SOA是一个组件模型,它将复杂系统的不同功能单元封装为服务,并通过接口实现对服务的调用,大大降低了系统的复杂性,方便了系统功能的扩展。分析了测量船测控软件系统,设计了面向服务的测量船测控服务总线系统架构,该架构支持“服务调度规则”与“服务调度系统”2种服务调度模式,实现了系统服务端、客户端和服务调度。测试结果表明：该系统能够保证2种模式下的服务调用性能,对提高测量船测控软件系统的效率具有重要意义。     

基于Petri网的混合安全策略建模与验证*

提出了一种基于有色Petri网的建模方法,在系统的Petri网模型中可以对中国墙策略进行分析和验证.给出了基于有色Petri网的混合安全策略的形式化定义;并通过一个系统实例阐述了如何利用该方法对系统的混合安全性进行分析和验证.无论是在系统的设计阶段还是实现阶段,该方法都能够有效地提升系统的混合安全性.     

时间Petri网在即时检验流程建模中的应用

针对即时检验系统的设计与开发建模问题,提出一种基于时间Petri网的并发系统建模分析方法,为即时检验流程设计建立较为准确的信息化模型。通过将活动持续时间概念引入Petri网模型中,提出了适用于即时检验系统建模的时间Petri网建模方法,并设计了嵌入Petri网模型中的调度仿真器协助分析、优化即时检验控制过程。仿真实验结果表明所提出的时间Petri网建模方法在可达节点和运行时间等方面能够满足并行多类别即时检验调度与控制系统的流程建模实际需要,为流程仿真和分析提供有力工具,从而辅助系统设计者对即时检验系统进行优化。     

基于有色Petri网的网格调度模型的研究

有色Petri网(CPN)是一种高级网系统，可以为系统建模提供强有力的支持。该文介绍了CPN的基本概念和建模特性，在研究目前网格调度环境的基础上，提出了网格调度的CPN模型，应用状态空间分析法对两种典型的调度算法进行了分析和讨论。     

基于动态有色Petri网的网格服务工作流模型的研究

在深入了解网格技术、网格服务和网格工作流的概念、特点及其应用的基础上,提出了一种可行的网格服务工作流系统模型,重点介绍了动态优化建模技术、动态调度算法的实现思想.定义了一种动态有色Petri网作为服务工作流的建模工具,支持服务工作流的动态优化建模和动态调度,并为服务工作流模型提供性能评价依据.验证表明采用该模型能够很好地满足用户的QoS要求,并且有助于提高资源利用率.     

基于SOA的制造执行系统技术研究*

设计了制造执行系统面向服务的多层体系结构,研究了服务构件、服务总线、业务流程标准在制造执行系统中的应用,在此基础上提出了面向服务的制造执行系统开发方法。经验证,面向服务的制造执行系统提高了车间业务的敏捷程度,有利于快速实施和推广。     

支持组合服务QoS动态优化的服务总线

面向服务的体系结构SOA已经逐渐成为应用软件系统集成的主流技术。服务总线在构建SOA基础架构中起着关键作用,如何根据服务QoS进行动态优化是服务总线中的重要研究课题之一。SOARBus是一个支持QoS动态优化的服务总线,SOARBus实现组合服务请求动态调度算法和QoS感知的组合服务动态调整算法,使其能够根据引擎负载按照负载均衡原则对组合服务请求进行动态调度和以及在组合服务执行期间根据QoS对组合服务进行动态调整。     

面向SOA的企业服务总线研究与应用

针对企业日益增长的信息共享和业务的需要,部署企业服务总线（ESB）集成企业的各类异构应用是必然发展趋势。现有的ESB大多数立足于构建消息中间件,没有全面考虑ESB的功能需求,从而极大的限制了ESB的高灵活性和高可扩展性,不能满足企业的高度并发的访问和快速实时响应的需求。提出了基于插件技术的ESB体系结构模型,并解决了高度并发请求的实时捕获和响应问题;原型系统在实际项目中的应用证明了ESB的高灵活性和高可扩展性。     

基于微服务架构的国土档案系统

针对传统SOA架构设计的国土档案系统面临的服务安全、负载均衡和伸缩性等问题,设计实现了基于微服务架构的分布式档案系统.根据微服务架构思想,将档案系统功能划分为细粒度的微服务组件,微服务之间设计鉴权服务模块来实现微服务的安全访问控制,通过服务注册中心、服务网关和SpringCloud体系框架来解决系统的软负载问题,利用Docker微服务集群完成微服务组件的独立部署运行和业务功能伸缩.对档案数据文件建立了倒排索引,提高了档案数据查询时的速度和准确度.     

SOA应用于高校党务管理信息系统的研究

SOA为下一代软件系统开发的新方法,本文介绍SOA的概念、体系架构以及SOA分析和设计的方法。基于以上理论基础提出党务管理信息系统中系统体系结构的构建以及如何基于SOA进行服务建模。     

ASP模式中面向服务的应用系统设计方法及实践

互联网应用提供商（ASP）作为一种新兴的网络商业模式，正在成为IT市场的一个热点。基于ASP模式的制造企业信息化是我国制造业信息化工程发展的重点，但目前国内成功应用的例子不多。该文结合作者从事的科研项目，提出了一种基于面向服务架构（SOA）和Web服务技术的ASP应用系统设计方法，介绍了典型系统的应用框架并给出了一个服务和应用设计的例子。     

Building Accountability Middleware to Support Dependable SOA

The Intelligent Accountability Middleware Architecture (Llama) project supports dependable service-oriented architecture (SOA) monitoring, runtime diagnosis, and reconfiguration. At its core, Llama implements an accountability service bus that users can install on existing service-deployment infrastructures. It collects and monitors service execution data from a key subset of services; enables Llama users to incorporate others' advanced diagnosis models and algorithms into the framework; and provides enterprise service bus extensions for collecting service profiling data, thus making process problems transparent to diagnose. Finally, experimental results indicate that using Llama contributes a modest amount of system overhead.     

全国环境信访信息管理系统的设计及实现

利用信息化手段促进信访工作已成为新形势下信访工作的必然要求。本文全面分析目前环境信访工作的现状和不足,提出基于SOA技术的全国环境信访信息管理系统的技术架构和功能设计,总结分析组件化、企业服务总线、流程管理等关键技术的应用。     

基于SOA的分布式服务供应链信息共享平台研究与实践*

以SOA理论体系为出发点,提出了基于企业服务总线（enterprise service bus,ESB）的分布式服务供应链信息共享平台的体系结构,并分析了该信息共享平台建设的生命周期。进一步采用案例分析的研究方法,以企业信息系统设计项目与IBM高校合作项目为例子,探讨了分布式服务供应链信息共享平台的服务建模过程,并设计和开发了一个分布式服务供应链信息共享平台。