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

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

基于共享模型的工作流表单系统设计

表单是应用系统中信息传递的主要载体.分别分析了表单系统和工作流系统的运行过程,分析了传统表单工作流系统中表单与工作流的结合方式,研究了基于建模的方式对表单模型和工作流模型进行定义,并在建模过程中对二者进行结合,同时采用分域的方式对工作流表单进行划分并在同一流程模型中共享同一表单,并提出了一种基于共享模型的工作流表单系统的开发方法,该方法采用表单引擎和工作流引擎技术,分离表单数据和工作流数据的处理,按表单模型和流程模型的结合点定义使工作流引擎处理表单数据,对该方法的过程和特点也进行了详细的介绍.      

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

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

基于工作流的集成质量管理系统设计

针对传统的面向功能的质量管理系统流程控制能力的不足,分析了工作流技术在实现质量过程管理、过程控制和过程重组方面的优势,基于工作流技术设计了支持过程管理和控制、面向飞机制造领域的集成质量管理系统模型,研究了基于J2EE (Java 2 Enterprise Edition)架构的三层体系结构,通过将工作流中间件与系统框架集成,建立了支持工作流管理的使能技术平台,该平台提供了工作流建模工具和工作流执行服务以及系统开发、运行环境,实现了过程管理和信息管理的集成;描述了基于XML(eXtensible Markup Language)的系统集成方法,提高了质量系统与其它系统的集成能力.该设计已应用于某大型飞机制造企业的质量管理系统.     

基于能力的工作流任务组织化

为解决一般工作流模型中"活动-成员"的紧耦合链,改进任务分配的柔性和适应性,提出了工作流活动和成员的能力概念.描述了能力本体模型和基于能力的任务组织化原则,建立了"活动-能力-成员"三层结构的过程元模型,给出了一系列能力匹配策略的形式化描述.上述概念和方法在开放边界工作流系统ABCflow中得到应用和验证.      

基于UDDI的应用服务注册中心的设计与实现

Web服务是当前基于Web的分布式计算与应用的关键技术基础.通用描述发现集成协议(UDDI)是Web服务的核心技术标准,提供了Web服务的信息注册查找规范,解决了Web服务的描述、发布以及查找问题.UDDI规范仅提供了标准接口及数据结构,缺乏对UDDI注册中心的安全性、可管理性等明确的定义和实现机制.基于Web服务及UDDI技术分析,设计实现了基于UDDI的应用服务注册中心(ASC).ASC由ASC客户端、ASC服务器、ASC管理控制台组成,支持Web服务的发布、查找、管理等操作.根据实际应用需求,设计并实现了发布者声明关联匹配算法,扩展了UDDI标准的应用编程接口,提供了安全、管理等功能,形成了一个具有较强安全性和易管理性的应用服务注册系统.     

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

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

基于工作流的复杂系统虚拟样机项目管理系统

复杂系统虚拟样机是一个协同工作过程,为了对其业务过程和业务数据进行有效管理、改善虚拟样机效率,建立了一个基于工作流的项目管理系统.该系统具有系统管理、项目管理、工作流管理、文档管理、消息管理和信息交互管理等功能.介绍了其层次化、模块化的项目管理系统体系结构,重点介绍了工作流管理系统的体系结构,其模型组成元素和多实例化、流程的动态创建及修改等建模机制,以及工作流运转机制,并给出了该项目管理系统在某虚拟样机开发平台中的应用实例.      

Web服务运行管理平台安全结构的研究与实现

使用安全管理域等基本概念分析了Web服务运行管理平台WSR(Web Service Runtime)的应用模式和安全需求.提出了基于链式处理结构的WSR安全结构.该结构支持多种新型安全技术和规范,灵活、可配置,为WSR及其所管理的Web服务提供了较为全面的安全保护.      

面向工作流系统的生态组织模型研究

为了解决传统组织模型结构柔性差和缺乏主动变化的问题,总结了目前研究工作的缺陷,提出生态组织模型.描述了生态组织模型的基本要素,体现了对环境关联因素和实体变化特征的描述,建立了组织元模型和形式化描述.提出在工作流系统生态环境下描述和预测组织对象关联程度和变化倾向的研究方法论.引入序方法做为组织势态分析的数学工具,并且设计了一组预示实体变化倾向的势态参数.上述研究内容已经在开放边界工作流系统ABCflow中得到应用和验证.      

以功能需求为驱的资源聚合方法与实现

针对面向服务的体系结构(SOA,Service Oriented Architecture)环境中资源聚合的特点,提出以功能需求为驱动的资源聚合机制,在这一机制中,资源不再是静态的组件对象,应用流程与任务模型实现了分离,任务所需的功能成为关注重点与组织对象.聚合机制由3层构成:通过底层服务信息集合汇聚满足需求的资源服务;通过中间层的功能需求描述定义资源服务所具备的各种功能与属性;通过上层上下文环境满足任务执行过程中资源服务之间的约束.在模型内部,通过逻辑数据,维护异构服务接口之间的数据依赖关系.利用该机制实现以功能需求为驱动的应用构造.基于该机制的工作流系统NGGWf(National Geology Grid Workflow)已应用于国家地质调查应用网格中的地质勘测.      

一种支持工作流模式的扩展工作流网

为了满足企业用户对工作流模型在描述能力和分析能力上的要求,提出了一种 支持工作流模式的扩展工作流网(EWF_net,Extended WorkFlow net).EWF_net是在工作 流网(WF_net,WorkFlow net)的基础上增加一些机制扩展而成的,它改善了WF_net对于动态工作流模型的描述能力,直接支持所有工作流模式,特别是多实例 、取消、高级同步等WF_net不能直接描述的模式.EWF_net通过引入控制变量 来描述工作流模型的相关数据信息;通过引入一类特殊的变迁——传递变迁,来 支持模型的动态路由.在Petri网分析技术的基础上提出EWF_net的形式化的正确性分析方 法.该方法由一致性分析和对应的WF_net的合理性分析2部分组成.最后,通过一个应用实例 来说明EWF_net强大的描述和分析能力.      

基于仿真器的嵌入式软件单元测试方法

介绍了一种基于仿真器的嵌入式软件测试方法,通过构造链接器分析目标文件,生成内存映像,加载到仿真器执行测试.该方法特别适合嵌入式软件的单元测试,支持对不完整的代码进行测试,同时引入了交互式脚本执行机制,支持采用高级脚本语言而不是嵌入式专用汇编语言设计桩函数和测试用例,降低了测试人员的培训代价.航天某院等单位的应用结果显示,该方法能有效提升嵌入式软件的单元测试效率,有较高的实际推广价值.     

卫星控制系统时序建模分析方法研究

分析国内外卫星控制系统时序分析与设计方法和方法的现状,阐述了对时序进行数学建模的重要性.提出了针对时序设计过程的数学建模分析方法和时序描述的工作流图方法,通过系统性的时序建模,可求解出时序过程中的所有时间参数,以便用于时序分析和指导时序测试.