跨组织工作流模型的形式化描述及分析

Petri网是当前工作流建模中广泛采用的工具之一。跨组织工作流致力于跨越组织界限的业务重组。针对多个组织间复杂的交互过程，提出基于着色Petri网的跨组织工作流模型的形式化描述，并对着色跨组织工作流及其合理性(Soundness)做了形式化定义和分析，最后举例说明。另外．一些观点和结论对跨组织工作流建模中其它扩展类型也有所启示。     

基于着色petri网的电子商务跨组织工作流建模与分析

在现代电子商务中,企业常常跨组织进行各种商务活动。利用着色跨组织petri网对电子商务工作流进行了建模与分析。给出了电子商务着色跨组织工作流网健壮性的概念,并利用可达标识图讨论了电子商务工作流网的健壮性。     

基于角色块的工作流模型挖掘

工作流挖掘可以从工作流日志中提取信息以获取工作流模型,但以往的研究得到的工作流模型基本上是基于活动的。首先对URPA模型进行了扩展,得到基于角色块的USPA模型。在此基础上,提出了一种基于角色活动图RAD的工作流模型挖掘算法。该算法利用管理者角色,以角色块结构表示工作流模型,满足US-PA模型。     

基于Virtools/HLA的跨广域网多联邦互联研究

针对分布仿真中跨广域网的多联邦互联问题,提出了一种基于网络游戏技术(Virtools)与高层体系结构HLA相结合的解决方法.在对当前广域网分布仿真应用模式以及游戏引擎Virtools的互联机制分析的基础上,建立了基于Virtools网络模块和HLA/RTI的分层式的多联邦体系结构:基于HLA/RTI构建仿真联邦,通过嫁接成员将这些仿真联邦衔接到Virtools的虚拟会话空间Session,在服务器的协调下,进行整个系统的监控管理以及在该Session内完成联邦数据的交互.该方法一方面继承了HLA在重用性、互操作性方面的优点;另一方面,借助于Virtools增强了仿真联邦跨广域网的交互能力,以及对多联邦的监控和管理能力.对基于该方法的多联邦体系结构、嫁接成员的设计,以及基于Virtools的多联邦的监控和管理方法进行了详细介绍.实践表明该方法能够满足大规模、大范围、复杂仿真应用的需求.     

基于Swarm的跨流域调水多Agent交互和协作仿真研究

阐述和分析以供、需方聚集体Agent相互之间、Agent与环境进行交互-协作-适应为特征的跨流域调水水资源配置和调度管理的复杂适应性.引入合同网协议,设计了改进的合同网协议以及任务分派、角色分配和承诺的兑现等交互协作行为规则,以及合同网协议自动状态机与算法.提出了跨流域调水多Agent仿真模型.与基于传统系统动力学的水资源系统配置和调度管理仿真方法不同,采用复杂适应系统为科学基础的系统仿真技术,在Swarm平台上建立仿真实验系统,仿真结果验证了多Agent模型和基于合同网协议的交互协作行为规则的合理性.     

基于多Agent的企业过程建模和仿真技术研究

工作流技术和集控Petri网方法是企业过程建模和仿真的支撑技术,将二者巧妙地结合起来,能为实现过程集成提供有效的帮助。当前的大多数工作流管理系统忽视了工作流之间的资源约束关系,基于多Agent的工作流管理系统能够有效地解决这个问题。首先讨论了基于多Agent的工作流管理系统,给出了基于多Agent工作流的企业过程的建模、仿真、使能系统的模型。然后介绍了将基于多Agent的工作流模型转化为集控Petri网来实现企业过程仿真的方法以及仿真过程中时间和成本等性能参数的计算和分析方法。     

TENA与某C2系统互操作研究

C2与试验领域的互联基础设施TENA间的异构性阻碍了两类系统的互操作。报文传输服务包括端-端和跨网部署模式,相应地设计了与TENA系统的两种互联架构。网关的设计方案有单线程和多线程模式;从互操作视角来看,网关实现了通信协议、对象模型和支撑服务间的互操作。针对TENA的"拉"模式通信机制,设计了与C2系统通信时的协调机制;利用OWL建立报文的元模型,通过模型转换实现异构对象模型的互操作;利用自定义的消息代表支撑服务,解决了异构系统间服务的不匹配问题。通过原型试验得到交互实体个数、线程个数与信息交换实时性之间的规律。     

基于XML和关系数据库的可视化工作流系统

以实现一个具有可视化工作流设计和执行功能的工作流管理系统为目标,提出了一种将XML技术和关系数据库技术相结合、具有层次体系结构的工作流管理系统框架。介绍了工作流管理技术的概念、历史现状以及主要标准和技术,给出了系统的层次结构和系统组成,详细描述了系统的数据存储结构、工作流交接处理过程、XML解析方法以及利用客户端脚本技术实现工作流设计可视化的具体方法,最后在.NET平台上实现了该系统。实际应用表明,该系统能够有效实现企业项目管理中的工作流程管理。     

多策略的工作流管理系统访问控制模型

针对RBAC模型中没有明确定义模型的非法信息流,也没有提供信息流控制策略,会带来严重的信息泄露问题,对传统的军用安全模型加以改进,并推广到工作流管理系统中,提出了一种基于安全信息流和角色的多策略工作流管理系统访问控制模型,给出了模型的形式化定义、检测系统中合法信息流的算法.新模型为每个角色增加安全类,同时也为每个客体分配一个安全类,在基于角色进行访问控制的同时根据安全信息流进行访问控制,可以很好地解决目前基于角色的工作流管理系统访问控制模型中的信息泄露问题,增强系统的安全性.将该方法应用于开发的工作流 管理系统中,收到了很好的效果.     

基于HLA/RTI的分布式组织活动建模研究

提出一种基于HLA的分布式组织活动建模方法。企业边界随着管理技术手段的进化在不断扩大,地域分散与组织活动并发是突出特点。HLA对分布和异构交互活动的时序处理等问题给出了解决方案,其中的RTI模型较好地解决了交互与时序处理问题。我们结合HLA/RTI规范与分布式组织活动特点,抽象了分布式组织中结点的活动模型,然后按照FOM与SOM规则,设计了分布式组织活动的联邦对象与仿真对象,并讨论了进行集成交互的方法。所设计模型为分布式组织管理仿真研究提供了新的途径。     

继承式跨组织工作流设计在B2B电子商务模式中的应用

根据面向对象的编程思想，在Petri网进行工作流模型设计的基础上，提出了在B2B电子商务模式中的一种继承式跨组织工作流设计的建模方法，从而达到在B2B电子商务中加强商业伙伴有效合作的同时，又对自身流程的有效控制的效果，起到促进B2B电子商务发展的最终目的，文章中以实例做了分析论证。     

基于网格的先进分布式仿真综述

当前的先进分布式仿真技术部分解决了模型的互操作和重用问题,但是它在支持强健的系统性能、仿真资源管理和仿真活动协作方面存在缺陷。网格技术支持动态异构环境、资源的优化管理和强健的系统性能,将网格技术应用于先进分布式仿真领域能够弥补现有先进分布式仿真技术存在的这些缺陷。该文提出了基于网格的先进分布式仿真,从仿真系统性能增强、仿真资源管理、仿真技术集成与机构协作、以及仿真网格四个方面综述了相关的研究成果,在仿真资源管理中提出了一种仿真资源分类方法,接着概述了基于网格的先进分布式仿真技术在国防军事、工业、生物医学和环境等方面的应用现状,最后展望了发展方向。     

基本对象模型(BOM)在HLA仿真系统中的应用

为了促进在世界范围政府部门和非政府部门的仿真互操作能力,仿真互操作标准组织(SISO)引进BOM支持和提高仿真组件的重用性。BOM作为一种促进互操作性、重用性和可组合性的实现机制,鼓励灵活、快速、有效地开发和管理模型。通过研究BOM模板规范和体系结构,设计基于BOM的通用HLA仿真框架,实现通过基于BOM的仿真模型组件快速组合和重用,从而构建具有功能可扩展性和规模可控性的多样性联邦成员和联邦,提高分布式仿真系统的重用性和互操作性。     

基于HLA/RTI的维修保障仿真系统及势态显示实现

维修保障系统是由装备维修所需硬件、软件、人力以及管理组成的复杂系统，为了实现维修保障过程的协同和交互，提高维修保障仿真效率，在分析了其结构组成和特性的基础上，建立了基于HLA（High Level Architecture）／RTI（Run-Time Infrastructure）的堆修保障仿真系统及联邦成员组成，根据各成员的属性和交互关系设计和开发了联邦和仿真对象模型（FOM／SOM，Federation／Simulation Object Model），并完成了FOM中对象类、交互类及属性的映射，最后利用Vr—link和PVD（Plan View Display）等工具实现了维修保障仿真系统中各联邦成员的信息交互和势态显示。     

并行离散事件仿真中模型互操作技术及优化

模型互操作技术允许单独开发的仿真模型在一个集成的仿真环境中互操作,是基于HLA标准的分布式仿真系统中的一项关键技术.并行离散事件仿真(PDES)技术也使用对象模型来表示真实世界中的实体,这些实体模型也有互操作和重用的需要.我们在PDES环境KD-PADSE中开发了-种基于对象和事件的模型互操作机制,它使用对象代理技术为PDES系统提供了与HLA中类似的对象模型的"公布"和"定购"操作.并且,我们对该机制进行了优化以支持类集群环境的PDES运行.初步性能实验显示,在集群环境中,优化后的DDM性能比未优化前最高可以提高12倍.     

分布交互仿真/高层体系结构中作战想定的可视化生成系统

对DIS／HLA中作战想定的可视化生成和加载进行了研究，着重分析了基本模型的管理，模型的实例化参数化，代码自动生成，文档自动生成以及模型数据的自动加载等。并研究了实体模型的可重用性和作战想定可视化生成系统的互操作性。最后针对导弹攻防对抗仿真系统开发了作战想定的可视化生成系统，它基于高效的数据管理方法并提供对信息管理系统的无缝连接，论文不仅研究和实现了作战想定的可视化生成系统，,同时为DIS／HLA的各种支撑系统的可视化研究提供了重要的参考依据。