基于Petri网的Web服务组合模型描述和验证

Web服务及其组合的形式化描述和验证是Web服务中一个重要的研究方向.分析了基于Petri网建模的优势,给出基于Petri网的Web服务的形式化定义和描述,对Web服务组合进行建模及元素映射,给出Petri网模型生成算法并对组合服务模型的可达性、安全性、有界性与活性等特性进行验证分析.最后是对一个具体的业务流程的建模和验证分析.由分析可知,该建模方法具有一定的表达和验证Web服务组合模型的能力.     

语义Web服务自动组合的有色网验证模型

Web服务组合是面向服务的计算模式下应用构造的主要方式,而现有的组合方法与实施框架缺乏有效的验证机制,从而产生大量无效的组合结果.针对这一问题,提出一种具有正确性分析与验证功能的Web服务自动组合系统框架.其核心是利用有色Petri网对基于OWL-S的服务组合系统进行形式化建模,通过对组合模型的模拟执行及对其动态性能的全面分析,预测组合服务的执行结果,从而提高组合的可靠性.另外,该框架采用智能Agent技术,可有效实现组合过程的自动化.     

基于Web Services的服务合成技术研究综述

从分布式发展的角度分析了基于Web服务的新一代分布式计算范式特征以及生命周期模型,指出了Web服务合成的概念、特点和目标。对服务合成的方式与分类以及Web服务合成逻辑与结构类型进行了分析,同时将常用的Web服务合成方式划分为4种策略,即:基于系统架构(framework)的静态合成策略;基于工作流(workflow)的动态合成策略;基于语义网络(semantic web)的自动服务匹配与合成策略以及基于软件体系结构生命周期的综合式服务合成策略。在此基础上,对目前Web服务合成技术的主要研究领域与发展趋势以及服务合成过程中存在的主要问题与挑战进行了分析与综述。     

一种基于SOA的指控仿真系统的分层体系结构

针对以往指控仿真系统体系结构对中心服务器的依赖程度大,提出了一种基于SOA（Service Oriented Architecture）的分层体系结构。利用这种结构,运用SCA（Service Component Architecture）方法将指控仿真系统的服务进行构建与组合,在系统交互过程中结合Web服务实现下层功能组件的透明封装和上层服务的灵活调用,从而缓解了中心服务器的数据处理压力,提高了系统的鲁棒性。仿真结果表明：技术的可行性和实用性,同时可以运用这种分层的体系结构来开发其他的具有中心服务器的异构系统。     

基于同步网的BPEL建模和验证

Web服务组合是面向服务架构的一个应用,是指将已有的Web服务组合成为新的服务。业务流程执行语言BPEL（Business Process Execution Language）是一种描述Web服务组合的语言。为了保证BPEL描述的Web服务组合的正确性,提出了分层建模和验证的思想,将BPEL流程分为逻辑层和语义层,并分别建立形式化模型和验证方法。这样不仅能保证对流程正确地建模,而且能降低建模和验证的复杂度。在逻辑层,BPEL元素映射为基于同步网的WSL_net模型。畅通性和无冗余变迁性质保证了BPEL流程基本控制流的正确性并避免了资源的浪费。语义层的建模和验证将另文给出。     

Web使能RTI关键技术研究

HLA由于缺乏与商业技术的融合等阻碍了它在商业系统中的应用,Web服务具有平台中立等良好特性,Web使能的RTI将能够促进HLA和Web服务的融合。基于互操作性分析,介绍了Web使能的RTI,设计了Web使能RTI的体系结构,分析了具体的技术问题及解决方案,实现了原型系统。实验显示,系统能够初步实现Web使能的RTI。     

面向服务的C~4ISR体系结构服务视图描述框架

C4ISR体系结构设计作为系统顶层设计的重要组成部分,是保证C4ISR系统之间可集成、互操作的关键,针对原有的C4ISR体系结构系统视图中军事资源系统之间紧密耦合难以适应作战视图中作战任务过程动态变化的问题,结合面向服务的思想对原有的体系结构描述框架进行扩展。为了保证C4ISR体系结构数据一致性,在底层体系结构基本数据元素模型分析的基础上加入服务元素,通过分析服务元素之间以及服务元素与原有的体系结构数据元素之间的关系,确定C4ISR体系结构服务视图描述框架,并对服务视图产品描述内容、数据元素模型及产品之间的关系进行分析。     

城市三维地理信息网络服务研究

城市三维地理信息系统建设仍然面临着成本过高.共享不足、以及重复建设等问题,如何利用Web服务解决以上问题是研究的重点.通过对比分析基于Web服务的三维地理信息系统,基于W3DS服务草案,设计和实现城市三雏地理信息Web服务的应用框架,体系结构以及服务接口.     

雷达预警探测系统建模与仿真研究

提出了一种雷达预警探测系统的建模与仿真导视图,分析了系统建模过程及仿真系统的组成形态,讨论了面向服务体系(SOA)的软件体系结构,该体系结构运用组件技术建立组件模型,并结合Web服务技术中包装与发布机制将组件对象模型包装成服务模型,从而提高了网络环境中的异构组件对象模型的可重用性、互操作性、可配置性及应用系统的集成度.     

一种基于Globus工具箱的HLA RTI Web服务化方法

高层体系结构(HLA)能够简化各种仿真组件之间以及仿真组件与指挥控制系统的互操作,Web服务具有平台中立和松散耦合等优势,结合HLA与Web服务,实现HLARTI的Web服务化能够扩展HLA技术在广域网范围的应用.提出了一种用以实现HLARTI Web服务化的方法,给出了基于Globus工具箱的实现.该方法通过一个RTI工厂服务为联邦成员创建RTI服务,RTI服务作为有状态的Web服务实现,将RTI功能作为Web服务提供给联邦成员使用.实验显示,在不对防火强进行额外的配置的条件下,该方法能够顺利的实现联邦成员和RTI在广域网范围跨越防火器的通信.同时,方法简化了联邦成员迁移机制的实现,仿真系统负载平衡更容易实现.     

同步合成Petri 网系统可回复性的保持性

着重研究同步合成操作中可回复性的保持性.讨论了在同步合成操作中系统间动态、并发的行为关系,即语言关系.提出一种基于最小可回复路径及它们并发合成的方法.进一步,给出了一个合成系统有可回复性的充分必要条件.此外,提出了在同步合成操作中有可回复性的条件.最后给出一些例子来说明所提出的方法在建模和分析大系统时的有效性.     

基于Petri网的Web服务的创建与描述

为了更好的支持Web服务组合的Petri网系统的自动生成,提出了在发布Web服务的时候即建立该服务的PNML(Petri Net Markup Language)+OWL(Ontology Web Language)的方法,在建立Web服务领域本体的基础上,通过创建Web服务的Petri网模型,为Petri网中库所元素添加相应的语义标记,得到Web服务的类似OWL-S(Ontology Web Language for Services)的服务描述,不仅提高了对Web服务操作语义描述的能力,同时为Web服务组合的Petri网系统的自动生成奠定了基础。     

Study on the Medical Image Distributed Dynamic Processing Method

To meet the challenge of implementing rapidly advanced, time-consuming medical image processing algorithms, it is necessary to develop a medical image processing technology to process a 2D or 3D medical image dynamically on the web. But in a premier system, only static image processing can be provided with the limitation of web technology. The development of Java and CORBA (common object request broker architecture) overcomes the shortcoming of the web static application and makes the dynamic processing of medical images on the web available. To develop an open solution of distributed computing, we integrate the Java, and web with the CORBA and present a web-based medical image dynamic processing methed, which adopts Java technology as the language to program application and components of the web and utilies the CORBA architecture to cope with heterogeneous property of a complex distributed system. The method also provides a platform-independent, transparent processing architecture to implement the adva     

Petri网系统合成操作的活性保持性研究

合成操作是Petri网系统建模中一种重要的自底向上建模方法,而在Petri网系统的合成过程中,保性性质是一个重要的研究问题.本文综述了我们对Petri网系统两种合成操作(共享合成、同步合成)活性保持性的研究工作.与以往研究不同,侧重从并发语言的角度讨论.定义了相应合成操作的路径并发合成运算,以此建立两种合成操作Petri网系统的并发语言关系式.这些语言关系式可用于判定相应合成操作Petri网系统的活性与无死锁性,同时给出合成的Petri网系统活性与无死锁性的充要条件.最后分别给出条件使得合成的Petri网系统有活性保持性质.     

共享合成Petri 网系统的活性保持性

讨论了能对资源共享问题进行建模的共享合成操作.重点研究共享合成Petri网系统的活性保持性,同时还讨论了在共享合成过程中系统的并发行为关系即并发语言关系.给出相应的语言关系式,它可用于判定合成系统的活性.进一步,给出了判定合成系统有活性的充分必要条件.最后,提出了合成系统保持子系统活性的条件.     

基于Web服务和HLA的分布式建模与仿真环境

HLA为分布式建模仿真提供了技术支持,但只限于局域网的仿真应用.Web服务提供了一种新的分布式计算模式,支持跨平台、互操作性和重用性.融合Web服务和HLA/RTI仿真技术,可以实现Internet环境下复杂系统的多学科协同建模和仿真应用.本文分析了下一代分布式建模仿真技术的特点,提出了一种基于Web服务和HLA的复杂系统协同建模仿真的框架,研究了基于Web服务的仿真引擎封装、学科邦元适配器、仿真系统集成等问题,设计了系统的总体结构,基于该框架的原型系统正在实现阶段.