支持过程改进的工作流仿真研究

工作流真是支持过程改进的有效技术，从建模角度介绍了以过程为核心，集成产品、资源，组织和控制评价等信息的工作流元模型。该元模型用为指导和约束具体的工作流建模，可以利用对象约束语言进行深入刻画，从执行角度解释了基于ECA规划的工作流仿真机制。按照WindowsDNA三层结构，它分用户界面层，业务逻辑层和数据库层，仿真引擎构建业业务逻辑层。在此基础就一个软件开发过程的实你，依据过程度量指标，利用仿真结果分析了各种可能的改进方案。     

基于扩展Petri网的建筑产品设计过程工作流模型

针对建筑产品设计过程工作流的动态性和不确定性的管理与控制,提出基于扩展Petri网的建筑产品设计过程工作流模型,并以一般商用办公楼的设备设计过程为例构建模型,应用CPN Tools仿真软件进行仿真分析和过程优化.结果表明,提出的工作流模型对建筑产品设计过程管理和优化具有明显效果.     

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

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

时间约束工作流模型的可调度性验证研究

工作流模型可调度验证的目的是验证工作流调度系统时间约束的合理性、对工作流系统实例的时间可达性进行仿真.首先基于可调度性定理,设计了时间约束工作流模型的可调度性验证算法,并提出时间约束修正策略.通过该算法获得可调度的时间约束工作流的时间约束集;通过时间约束修正策略,减小上述可调度性验证方法的时间复杂度.然后,进一步设计了改进的可调度验证方法,从而可获得具有最小执行时间区间的时间约束工作流的时间约束集.实验及分析显示算法具有良好的性能和效果,研究成果对于制定时间约束工作流的时间约束有较好的应用价值.     

过程挖掘的研究现状与问题综述

过程挖掘又称工作流挖掘,是工作流再设计与分析方法的一项关键技术,能够根据日志中记录的过程实例的执行信息,来重构出一个工作流过程模型,并使得日志中记录的所有轨迹符合这个过程模型的一个实例。总结了过程挖掘的研究内容、系统架构、算法以及现有挖掘工具。对过程挖掘研究目前存在的问题从日志数据、挖掘技术和挖掘结果等三个方面进行了分析和讨论。并介绍了过程挖掘的一个分支—分布式过程挖掘的相关研究内容。     

时序约束下科学工作流的动态调度研究

随着分布计算技术的迅速发展,利用广域分布的计算资源构建并执行科学工作流,已成为当前学术界和工业界关注的热点问题.为满足用户和计算控制机制的需求,往往需定义科学工作流的时序约束.但是,由于任务处理时间具有不确定性,在运行过程中容易出现时序违反.为保证科学工作流的正确执行,迫切需要能根据实时运行状态自动实现动态调度的方法.针对已有研究方法的不足,本文提出了一种基于遗传蚁群混合算法的科学工作流动态调度优化方法.首先,建立了时序约束下的科学工作流动态调度模型,该模型综合考虑了科学工作流的时间与成本优化目标,并融合了基于概率的时序约束满足性需求;然后,采用改进的遗传蚁群混合算法实现模型求解.该算法通过设计提高种群搜索导向性及保持种群多样性的策略,从求解精度及求解速度两方面提高了求解效率.最后,通过与现有方法的多组实验对比,说明了本文算法的优越性.     

改进的软件项目度量框架

将度量技术应用于软件项目的开发中,经常会出现一些问题,其中一个很重要的问题就是组织策略同项目之间的度量不一致。针对这种情况,在分析现有的两种软件项目度量框架(B和W框架)的基础上,结合两者优点提出了一种网格状的改进框架。改进框架具有严格的定义和特定的实施过程,具有比较强的操作可行性。同时,它也可以解决软件度量中的一些其它问题。     

基于控制服务的海关卡口区域可重构仿真建模

针对保税港区海关卡口区域的建模问题,从海关监管、交通特征及排队网络分析出发建立了其离散事件仿真模型.并针对建模的可重构性要求,结合对车辆服务台选择和排队控制过程的分析,提炼出实体控制规则,并在此基础上提出了实时适应资源组织形式改变的面向服务的实体控制模型.同时,提出并开发了基于Arena仿真软件的实体控制解决方案.最后,通过实验进行方案分析和比较,验证了本方法的有效性.     

基于COM的面向实体的建模方法研究

针对目前作战仿真模型体系复杂、软件可重用性差等问题,本文通过将COM技术引入到仿真模型的设计与实现中,提出了基于组件技术、面向实体(entity-oriented)的作战仿真模型的设计与实现方法,并给出了应用实例。     

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

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

软件可靠性度量实例研究

为适应软件的不同特点和使用阶段,必须根据软件的具体情况,考虑在软件开发的整个生命周期中,从不同角度对可靠性进行度量和评价。在现有软件可靠性度量的基础上,选择改造了9个可用于评价软件可靠性的度量,在航天软件中进行了应用,并详细阐述了各个度量的目标、方法和过程,最后对度量结果进行了综合分析以及给出了对软件的改进建议。     

Research and design on a kind of CASE environment architectural style based on ToolBus

1.INTRODUCTION CASEenvironment,whichencompassesasetoftool suitesandtoolintegrationframeworks,isakindof complexsystemsoftware.It’sthemajorchallenges totheCASEenvironmenttosupporttheopenness distributionandteamworkbasedontheInternet SimilartosoftwarearchitectureofOS(operatingsys tem),softwarearchitectureofcurrentCASEenvi ronmentalsocanbedividedintothreetypes:mono lithic,layeredandToolBusstructures. Untilnow,mostCASEenvironmentshavebeen implementedinmonolithicorlayeredstructure…     

基于路径QoS加权分解的工作流调度算法

采用有向无环图DAG(Directed Acyclic Graph)描述的工作流在QoS约束下的调度问题是一类典型的NP难问题。分析了DAG工作流调度问题的调度目标,提出了一种基于路径QoS加权分解的工作流调度算法,通过将工作流的全局QoS约束分解为单个任务的局部QoS约束,将整个工作流的全局优化问题转化为单个任务的局部优化问题,降低了问题的复杂度。在对整个DAG工作流的QoS约束进行分解时,算法对工作流的每条路径的QoS约束进行分解,并以任务可选能力服务间的单位QoS增益之和作为权值,将单条路径的QoS约束分解到组成路径的每个任务。仿真结果表明,与其他基于QoS分解的DTL、DBL等算法相比,该算法具有更高的调度效率,能够找到更好的调度方案。     

Applying process mining approach to support the verification of a multi-agent system

Using agent development tools to construct an agent-based system is a well applied approach.However,the development tools usually do not have the function to check the feasibility about the workflow of the agent system during it implementation stage.Therefore,to develop an evaluation approach to analyze the feasibility of a developing agent system such that the improper workflow of an agent system can be found in the early design stage is a necessary task to reduce the risk of implementation.In this research,a Petri Net(PN) based three-stage evaluation approach was developed.In the conceptual stage,the pitfall of the current agent system developing process was examined and an improvement analysis process was specified.Then,in the system design stage,an evaluation approach which extracted the process log file from a developing agent system into a PN model in terms of a process mining approach-α algorithm was proposed.This model was simulated in a PN simulation package.The agent system performance was evaluated in terms of analyzing the deadlock phenomena of the PN model.Finally,in the implementation stage,the proposed concept was implemented by using an agent developing tool JADE and a PN simulation tool CPN.An agent-based robotic assembly system was used to examine the possible deadlock of the agent system.     

基于UML的炼钢物流仿真系统分析与设计

针对目前炼钢物流仿真系统的研究和应用现状,在确定系统开发目标的基础上,以统一建模语言UML为建模工具,对炼钢物流仿真系统进行功能需求分析及用例建模,并完成了系统的类图设计,以及作为动态模型的活动图和序列图的设计,最终开发了炼钢物流仿真软件。以攀钢炼钢厂的工艺流程为实例进行的仿真试验表明,该系统可为炼钢生产提供一种有效的辅助决策手段。     

基于虚拟现实技术的某型导弹仿真训练系统研究

详细讨论了基于虚拟现实技术的某型号导弹仿真训练系统，从硬件和软件两个方面研究了仿真训练系统的具体设计、各功能模块以及所采用的技术和工作原理，分析了系统的工作流程、硬件组成和软件设计；最后，研究了仿真训练系统的总体结构和具体实现，详细介绍了组成系统的控制台和仿真训练单元的功能和应用。该系统能完全模拟导弹的训练过程，满足部队的需要。     

基于高层体系结构对象模型的联邦成员软件框架自动生成研究与实现

在基于HLA／RTI的联邦开发中，降低成员软件开发者需要理解HLA／RTI的程度，简化联邦成员软件的开发过程是一个急需解决的问题。本文不典型成员的软件结构和程序流程进行了分析，设计了一种基于HLA对象模型（FOM／SOM）的联邦成员软件框架实现方法，并实现了一种能够自动生成联邦成员软件框架的工具FedWizard，使用该工具可生成联邦成员的C＋＋框架代码。