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

为了满足企业用户对工作流模型在描述能力和分析能力上的要求,提出了一种 支持工作流模式的扩展工作流网(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强大的描述和分析能力.      

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

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

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

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

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

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

机械产品装配关系建模

针对机械产品装配结构和装配关系描述问题,提出了面向机械产品装配过程的"装配树"概念.以设计装配图、产品结构树为基础,结合装配过程、装配层次结构和装配顺序特征构建了"装配树"模型,并解决了产品结构树的功能延伸和描述完备性问题.在产品"功能-结构"映射关系明确的前提下,提出了以产品功能为中间转换载体的装配树层次结构建模思路,给出了"装配树"构建方法和步骤.最后以某型柱塞式喷油泵泵油系部件装配树构建为例,验证了"装配树"概念的可行性和构建方法的可操作性.     

PLS概念模型及其应用

工作流技术重点关注如何将已经抽象的企业业务模型描述成计算机可理解和自动处理的流程及其自动处理所需要的各种资源或条件,而并不关心如何对业务进行抽象才能最恰当地反映企业的实际需要.针对此问题,提出了一套通用的点线面一体化业务分析概念模型,即PLS模型(Point-Line-Surface Conceptual Model),定义了用PLS模型分析系统所涉及的各种元素,并分析了PLS模型元素和EPC(Event-driven Process Chains)元素间的映射关系,从而通过PLS构建的系统可以用EPC描述.为验证模型的实用性,以南水北调中线干线工程建设管理信息系统为例,详细阐述了如何利用PLS模型分析企业业务并用EPC描述.      

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

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

软件协同开发活动管理的3个方面

针对网上软件协同开发活动,就如何建立一个支持它的开发环境和信息系统、如何在工作组内进行任务划分、如何进行协同管理等方面进行了研究,提出了协同活动管理中对象性、关系性和任务性这3个方面的分析模型,并进行了较为深入的设计和讨论.它以软件组件对象为核心描述了对象模型;以"最后离开者关门原则"讨论了关系模型;以任务划分方法分析了任务模型.     

PVM系统的统一并行调试对象模型

研究了PVM(Parallel Virtual Machine)系统,利用活动(action)概念具体定义了PVM应用程序的活动,从而描述出一种新型的PVM调试对象模型,使得在调试的各阶段能够对相同的调试对象采用不同的调试方法,简化了调试工作.     

民用飞机系列商载航程匹配设计

民用飞机产品开发的模式已从"单型飞机"的概念向"飞机系列"概念转化.根据模块化和通用性的策略,发展了飞机系列化设计方法,给出了飞机系列主要参数的设计原则和飞机系列经济性的描述方法,建立了飞机系列商载航程匹配设计模型.分析了商载和航程的匹配关系对飞机系列经济性的影响,利用Pareto多目标遗传算法,完成了某一民用飞机系列商载和航程的匹配设计,对不同设计方案的参数进行了比较分析,取得了较好的设计结果.     

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

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

复杂工程系统综合设计优化环境

建立了系统整合、流程统一、参数优化、协同设计的综合设计优化环境.通过 分析复杂工程系统的特点,建立了具有高可扩展性的多层体系架构.阐述了组成该环境的4 个关键模块:项目组织与管理模块,保证项目进度和质量;以设计结构矩阵为表达形式、以 工作流参考模型为运行机制的过程建模与执行模块,提供跨部门的任务流转;基于组件技术 ,实现人员、数据和工具在网络上紧密集成的设计任务单元模块,为系统设计提供简洁一致 的任务模型;以产品数据管理(PDM,Product Data Management)为信息基础结构的产品数 据模型,提供单一数据源.最后给出了技术实现和运行机制.该环境的原型系统已成功地经 过了气动、结构、控制和总体设计等领域的设计与优化技术测试试验.      

Remote-sensing technology applied to forest assessment in California

Remote-sensing technology has been thoroughly evaluated for the analysis of California forest policy. A statewide, 1.6-acre-resolution, digital land-cover data base of Landsat Multispectral Scanner (MSS) classification has been produced. Three major resource regions have been analyzed in detail and one of them geographically integrated with 12 other physical and socioeconomic data layers to model fire and reforestation problems, using a geographic information system (GIS). A study of GIS design criteria has been conducted and the California Department of Forestry, the cooperator in all of these studies, is presently evaluating the alternatives and implementing certain aspects of them.     

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

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

BACnet与Internet的互联

对比分析了目前2种BACnet(楼宇自动控制网络数据通信协议)与Internet的互联技术,即B/IP PAD(BACnet/Internet协议包封装/拆装设备)和BACnet/IP,并指出了这2种技术所存在的问题.提出了一种基于BACnet网关的互联模型,此网关工作在BACnet网络层,需要配置一个独立的IP地址和一个BACnet网络号,同时也必须维护一个对等网关的IP地址与BACnet网络号的本地数据库.该模型通过BACnet网关来完成不同协议之间的语义转换、广播及管理等功能,为BACnet网络与Internet之间提供了统一的网络接口,增强了楼宇控制网络与Internet融合的能力,并大大简化了BACnet网络与Internet的互联过程.在研究此模型的体系结构和工作流程的基础上探讨了该模型的实现方法.