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

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

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

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

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

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

基于Petri网的UML状态迁移策略

分析了统一建模语言(UML,Unified Modeling Language)状态图相关语义,阐述了Petri网基本特征和它所具有的建模事件并发、同步、冲突能力.为得到UML状态图无二义性的、可执行的和可验证的模型,在着色Petri网和层次化Petri网研究成果基础上,研究提出层次着色Petri网(HCPN,Hierarchical Colored Petri Net).HCPN中不同层的着色网CPN通过库所子网或变迁子网相关联.通过实例说明如何借助这些关联从HCPN中的CPN合并得到标注Petri网.标注Petri网可用于指导基于事件驱动的仿真过程,而标注Petri网转换得到的基本Petri网可用来进行特性分析,从而对所描述的UML状态图模型给出合理的评价,有利于建模系统的改进.      

Petri网在维修工作分析中的应用研究

分析了当前维修工作分析方法中存在的问题,在论述了Petri网技术优点的基础上,提出采用层次化的时间-着色Petri网技术来建立维修工作描述模型.探讨了Petri网描述逻辑条件与时序关系的方法,并给出了维修工作建模的程序.通过一个实例研究说明了Petri网技术在确定保障资源工作中的应用.      

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

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

基于扩展Petri网的除冰软件安全需求建模和验证

Petri网是形式化的系统建模方法,以严格的数学基础来保证系统的正确构建,但在支持复杂软件建模和自动化验证方面存在不足.扩展了Petri网的形式语义,区别定义了状态型和数值型库所,区别定义了变迁的激发和抑制状态,引入了无前置、一元和组合判断规则,同时根据形式化定义将模型自动转换为检验程序实施安全性验证.最后给出了以上方法在典型安全关键软件-除冰系统上的应用,过程和结果表明扩展的模型和方法增强了Petri网对复杂软件系统的建模能力,提高了软件的安全性,从模型到验证代码的自动转换解决了完善模型时人工修改相应代码的工作量和因此而引入人为错误的重复工作量的问题.     

扩展的基于角色的访问控制模型

提出了一种扩展的基于角色的访问控制RBAC(Role Based Access Control)模型--RTBAC (Role & Task Based Access Control)模型.该模型在RBAC96模型之上引入了任务和任务实例的概念,形式化地定义了任务和任务实例的层次结构,界定了传统会话同任务实例之间的关系以及任务实例同权限之间的关系,并且提供了几种辅助函数.该模型可以更为自然地描述业务流程和访问控制策略,更适合分布式协作应用,特别是工作流和组合服务.基于该模型定义了一种新的动态职责分离约束--基于任务的动态职责分离约束,并且同传统动态职责分离约束进行了比较.该约束可以更准确地刻画访问控制相关的系统运行时上下文的范围,从而提高运行时访问控制的效率.     

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

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

基于构型项的飞机研制建模技术

飞机制造业的业务过程是一个复杂的、动态的、数据量大的系统工程.如何建立简单完整的产品研制模型一直是业务过程优化(BPI,Business Process Improvement)中的难题.通过借鉴波音公司关于飞机构型管理和产品结构模块化的相关思想,强调构型管理技术在飞机研制的全生命周期过程中的重要性,明确构型项(CI,Configuration Item)准确的数学定义.依据构型管理简化产品的信息模型和Petri 网(PN,Petri Net)描述、优化产品过程模型的特点,将Petri 网理论与构型项结合起来保证全生命周期过程中飞机研制模型的一致性和完整性.提出CI-PN模型来描述整个飞机研制的信息和过程模型,并给出对翼盒研制过程模型描述、分析和优化的实例.      

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

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

基于QoS真实性与工作流模型的Web服务选择

基于服务质量的Web服务选择方法往往假定服务提供者与使用者提供的质量数据均为真实可靠,而这一假设在实际中很难保证.为此,提出一种同时基于服务质量数据真实性与工作流模型的服务选择方法.对服务提供者发布的质量数据,根据服务运行数据的统计结果重新计算其客观质量值;对来自服务使用者的主观评价,通过工作流组织模型计算使用者间的信任度,并结合信任度计算当前用户的服务评价值.通过服务质量模型的建立,结合两种数据选出最优Web服务.实验证明该方法能够有效改善不可靠的质量数据对Web服务选择造成的影响,使服务选择结果更加准确.      

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

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

工作流模型时间与费用性能评估算法

对无环工作流模型的时间与费用性能参数进行分析,通过引入循环结构的提取算法,实现对有环工作流模型的时间与费用性能评估.利用改进的Tarjan算法和七元组来提取和存储每一个循环结构的参数信息.分析所有的七元组,计算所有标志节点的进度与费用值.有环结构中的循环结构在被提取完之后,会转化为无环结构,利用无环模型的算法即可进行进度与费用的评估.实验证明:算法能很有效地评估复杂模型的进度与费用性能,算法执行效率高,计算结果准确.