基于SOA企业应用集成框架研究与实现

通过深入分析传统的企业应用集成(EAI)优势与不足,将Web服务技术、SOA引入到EAI领域,提出了采用SOA模型的企业应用集成框架,并讨论了相关的支撑技术,给出了Web服务集成实现模型--网络通信层、消息传输层、服务描述层,服务发现层、服务保证层和服务组合层.为用户提供一个灵活;松耦合、跨平台、分布式、可扩展的基础集成服务平台.     

基于LSOA的机器人控制系统设计方法

提出一种面向服务的架构,应用于机器人控制系统,设计了一个以服务总线为中心的控制模式,提供简易的组件整合机制,实现服务的即插即用;此架构可提高控制系统的灵活性、可重构性、系统柔性等性能;基于此架构开发了一套基于二进制消息的交互机制,并对服务总线进行了轻量化设计,解决了传统SOA架构应用到控制系统导致的响应速度慢、系统庞大等特点,提高了系统的实时性。     

基于SOA的军事信息系统集成研究

为了使分布式军事信息系统能够适应实现技术、部署位置和操作流程等不确定因素,提出了一个基于SOA的柔性分布式系统集成框架。首先对SOA进行了概要阐述,进而提出军事信息系统集成要求,最后给出了系统集成框架。框架基于SOA架构、组件化思想,采用web技术实现服务封装;使用服务总线实现服务的集成和交互;利用动态加载和实时配置的方法对服务进行管理。实践表明,框架满足在分布式环境下,跨地域、跨平台的异构军事信息单元的集成和交互。     

基于SOA的网上音乐销售系统设计策略

面向服务架构(SOA)是软件工程领域的最新发展方向,使用SOA可以方便地整合各种资源,实现最大程度的软件复用.利用SOA架构的这一优势给出了一个网上音乐销售系统设计模型,解决了分布式环境下在线音乐销售的整合问题,并且应用一种新的服务组件模型架构(SCA)及企业服务总线技术实现了该模型.     

基于SOA架构的校园信息化平台的设计和实现

如何利用原有系统的资源,建立开放灵活、低代价的系统已经成为高校信息化建设的关键,面向服务的体系结构（SOA）为解决分布式环境中软件重用,扩展和提高软件开发效率提供了解决方案。文章介绍了SOA的概念和基本结构,针对SOA的实现手段之一Web服务,给出了某高校应用Web服务实现校园信息化平台的模型及系统的总体框架,并分析了实现该平台的一些关键技术。     

基于SCA的服务架构技术的研究

面向服务的架构(SOA)技术以其松耦合性和与平台、语言无关性在构建分布式企业应用系统时得到广泛推广。服务组件架构(SCA)是跟实现语言无关的组件模型,可以简化基于SOA架构的业务的创建和集成。介绍了SCA编程模型的概念、特点、框架结构,并在此基础上提出了用SCA组件模型实现和调用Web服务。这一技术恰恰是SOA架构中所需要的。     

基于SOA的医院设备控制系统设计

SOA作为一种非常流行的系统架构设计思想,在各个领域的系统设计中得到了广泛使用,本文的研究对象是一套基于SOA开发的医院设备控制系统。该设备控制系统具备了医疗设备实时监控功能,历史设备使用信息、状态信息、维护信息等的可视化展示功能,以及对医院全部设备的实时监控功能。该系统采用基于web service技术实现SOA架构思想,通过分布式的架构设计方法实现了对系统内部功能模块之间复杂逻辑关系的服务治理。此外,为解决医疗设备控制中关键的设备状态感知和故障预警问题,本文设计了一个基于actor-critic强化学习算法的设备状态感知和故障预警算法,实验表明,经过多轮迭代,该算法的预测准确率高达到97.9%,可以有效实现对医疗设备的状态感知和故障预警。经过对系统的部署、测试和验证,证明了该系统可以有效完成项目开始之初设定的功能性和非功能性需求,可以有效承担医院医疗设备管理的任务。     

基于SOA的协同软件体系架构研究

从协同软件应用系统的应用需求分析,特别是针对参与人员众多、信息交互频繁、地理分布广泛的特点,运用面向服务的架构思想解决协同软件的一些关键问题。在构建协同软件应用系统的过程中,注重以面向服务的分析与设计思想对业务流程进行总体规划与设计,在架构风格上采用SOA思想,给出一个基于SOA的协同软件体系四层架构模型,使之更加适合协同软件分布式、跨平台、异构环境的需求。     

网络数据报文捕获技术分析和研究

报文捕获是报文分析的基础,作为网络监测的关键技术,被广泛地应用于分布式实时控制系统、网络故障分析、入侵检测系统、网络监控系统、计算机取证系统等领域中.本文总结了传统的报文捕获技术和最新发展,对比研究了各种技术的不同,给出结论性分析.     

基于SOA实现企业应用集成

文中分析了企业信息系统集成的必要性和传统EAI解决方案所面临的不足.探讨了面向服务的组件结构模型及其集成思想.提出了基于面向服务架构实现应用集成开发的解决方案,并给出了一个应用微软BizTalk(r)Server实现某石油部门信息系统应用集成的开发实例.充分论证了基于SOA实现系统集成开发的可行性及优越性:只须将应用系统看作一组服务功能集合,对服务编排融合,便能够更好地重用、共享,并能分布式部署.基于SOA的应用集成正是开发响应性好、可适应的新型应用程序所首选的解决方案.     

面向服务的C2系统集成实现方式比较

分别简要概括了目前指控系统集成中主流的SOA实现方式,从实现方法、互操作性和服务质量等方面比较了CORBA、DCOM、RMI、Jini以及DDS实现方式在指控系统集成中的特点.分析了指控系统服务化实现的特点和需求,指出了当前各种实现方式在指控系统服务化集成中的优劣.提出了一种适用于分布式实时大容量数据交互环境下集成方式.     

面向并行图像处理的实时分布式操作系统的设计与实现

针对多片TMS320C64 DSP构成的多计算机体系结构的实时图像识别系统，设计并实现了面向并行图像处理的实时分布式操作系统PIPORTDOS（Parallel image processing-oriented real-time distributed operating system）．PIPORTDOS基于微内核体系结构，包括硬件抽象层、系统核心层、分布式消息通信机制和系统服务层四个层次．其多任务内核实现了基于优先级的抢先式调度、任务闻的同步和通信原语、实时的中断处理以及面向应用的缓存管理机制．为了实现对分布式并行图像处理的支持，PIPORTDOS采用了基于消息传递（Message Passing）的方式，并在实现中充分考虑了上层图像处理算法的应用需求以及DSP的硬件功能．相关性能指标表明，本文设计实现的PIPORTDOS完全可以满足系统的强实时性要求．在功能上也能适应算法对不同并行结构的需求．     

基于Petri网的分布式实时调度模型研究

Petri网作为一种可视化的规格语言,越来越多地用于实时系统的评估和分析。该文提出了一种基于Petri网的分布式实时系统模型,并对该模型中的局部调度器和消息调度器进行了描述。根据该模型可以开发相应的分布式实时调度模拟器,这样就可以在系统的开发初期,利用模拟器来验证在给定的局部调度策略和消息调度策略下,系统任务的时间约束是否能够得到有效的保障。同时该模型还可以很容易地转化为系统的快速原型。     

Extending hoare logic to real-time

Classical Hoare triples are modified to specify and design distributed real-time systems. The assertion language is extended with primitives to express the timing of observable actions. Further the interpretation of triples is adapted such that both terminating and nonterminating computations can be specified. To verify that a concurrent program, with message passing along asynchronous channels, satisfies a real-time specification, we formulate a compositional proof system for our extended Hoare logic. The use of compositionality during top-down design is illustrated by a process control example of a chemical batch processing system.     

Extending hoare logic to real-time

Classical Hoare triples are modified to specify and design distributed real-time systems. The assertion language is extended with primitives to express the timing of observable actions. Further the interpretation of triples is adapted such that both terminating and nonterminating computations can be specified. To verify that a concurrent program, with message passing along asynchronous channels, satisfies a real-time specification, we formulate a compositional proof system for our extended Hoare logic. The use of compositionality during top-down design is illustrated by a process control example of a chemical batch processing system.     

分布式实时操作系统消息机制的设计与实现

随着数字信号处理技术的迅猛发展,针对并行数字信号处理(DSP)应用自主开发了一个满足用户需要的高性能分布式实时操作系统--腾飞分布式实时操作系统(TF-RTOS).消息机制用于线程间的通信,是操作系统中的重要部分.在开发TF-RTOS过程中,从消息命令包、消息队列、消息传递过程和消息原语这4个方面设计并实现了一种直接消息传递的消息机制,该消息机制具有简化线程间通信、增强系统功能、提高系统性能的特点.     

基于SOA的站网系统

首先分析了现有站网系统的状况和现有系统存在的问题，介绍了面向服务的体系结构（SOA）参考架构模型，接着从系统体系结构的设计出发，以WEB服务和消息队列技术为实现基础，构建不同粒度的面向服务的系统结构，论证了SOA在企业系统构架中的作用。最后，对SOA在卫星地面系统信息技术发展中的作用及趋势进行了总结。     

Toward effective service composition for real-time SOA-based systems

Many application domains are increasingly leveraging service-oriented architecture (SOA) techniques to facilitate rapid system deployment. Many of these applications are time-critical and, hence, real-time assurance is an essential step in the service composition process. However, there are gaps in existing service composition techniques for real-time systems. First, admission control is an essential technique to assure the time bound for service execution, but most of the service composition techniques for real-time systems do not take admission control into account. A service may be selected for a workflow during the composition phase, but then during the grounding phase, the concrete service may not be able to admit the workload. Thus, the entire composition process may have to be repeated. Second, communication time is an important factor in real-time SOA, but most of the existing works do not consider how to obtain the communication latencies between services during the composition phase. It is clear that maintaining a full table of communication latencies for all pairs of services is infeasible. Obtaining communication latencies between candidate services during the composition phase can also be costly, since many candidate services may not be used for grounding. Thus, some mechanism is needed for estimating the communication latency for composite services. In this paper, we propose a three-phase composition approach to address the above issues. In this approach, we first use a highly efficient but moderately accurate algorithm to eliminate most of the candidate compositions based on estimated communication latencies and assured service response latency. Then, a more accurate timing prediction is performed on a small number of selected compositions in the second phase based on confirmed admission and actual communication latency. In the third phase, specific concrete services are selected for grounding, and admissions are actually performed. The approach is scalable and can effectively achieve service composition for satisfying real-time requirements. Experimental studies show that the three-phase approach does improve the effectiveness and time for service composition in SOA real-time systems. In order to support the new composition approach, it is necessary to effectively specify the needed information. In this paper, we also present the specification model for timing-related information and the extension of OWL-S to support this specification model.     

IPv6组播环境中实时信息分发系统的研究

针对实时信息分发以及传输的要求,以IPv6作为消息底层主要通信平台,构建了IPv6组播环境中的实时信息分发系统,系统主要包括信源接入、分发控制以及信息分发三个部分.通过累计确认以及扩展确认相结合的方式,给出了分发客户端和分发服务器端的信息处理流程,提出了一种基于可靠数据组播传输的分发方法,并对该方法进行了性能分析,通过一个应用实例实现了可靠的、高效的、可扩展的实时信息分发服务.