基于Pi-演算的扩展有向图工作流模型及验证

为了加强工作流模型对业务流程的描述能力,提出了一种扩展有向图工作流模型及其验证方法.针对基于有向图工作流模型的不足,提出了扩展有向图工作流模型,并给出了该模型的定义和图形符号描述.在用Pi-演算准确描述扩展有向图工作流模型的基础上,给出了用Pi-演算分析和验证扩展有向图工作流模型正确性的方法.最后,结合实验对扩展有向图工作流模型及验证方法进行了仔细分析,实验结果表明了该工作流模型及验证方法的有效性和正确性.     

工作流模型研究述评

工作流管理系统由于能够对业务过程进行建模和控制而得到广泛采用,工作流模型则是工作流管理系统理论研究和实际应用的基础.概括了工作流模型的主要研究内容,从建模方法、理论基础等方面对工作流模型的研究现状进行了综述,分析了现有工作流模型存在的不足,探讨了工作流模型的发展趋势,最后进行了总结.     

工作流网Soundness验证

工作流过程定义可以采用不同的建模方法。工作流网是Petri网技术在工作流过程定义中的具体应用。工作流过程定义模型的正确性、可靠性在工作流网模型中使用Soundness特性表达。论文在介绍工作流网、工作流网模型的Soundness概念之外,给出了自由选择和Well-structured工作流网的Soundness验证方法。     

基于WF-net的工作流模式建模与仿真

针对当前工作流模型仿真方法的不足,提出了一种基于WF-net网的扩展WF-net的工作流模式模型,并对模型进行验证与仿真.首先讲述工作流网(WF-net),然后从时间和层次两方面对基于WF-net的工作流模型进行扩展研究,提出了扩展WF-net工作流模型,并对该模型进行仿真调度策略和冲突解决策略进行选择,给出了某产品开发过程的扩展WF-net工作流模型,设计了扩展WF-net工作流模型仿真流程.为了增强模型仿真的可信度和可视性,从Petri网到扩展WF-net工作流网算法和仿真流程,经过仿真可知该模型没有死变迁,是正确的工作流模式模型.     

基于Petri网的工作流模型合理性验证

工作流管理系统具有实时性、同步和异步操作等特点,其建模方法是成功实施工作流管理的关键,而工作流模型应该完整地支持工作流定义的概念,正确、高效地反应企业的经营组织过程,为确保工作流的正确运行,必须对工作流模型的合理性进行分析和研究,因此工作流的模型分析和优化成为工作流研究的一个重点[7]。该文从各种研究资料出发,利用工作流模型的合理性定义,给出基于Petri网的工作流模型的验证步骤和方法。     

柔性工作流的可视化方法研究

工作流的可视化是工作流管理系统必不可少的重要功能.相对于刚性工作流,柔性工作流的可视化更加复杂,需要解决可视化界面与工作流的双向动态映射问题.柔性工作流的可视化涉及三个层次的模型,从下到上分别是柔性工作流模型、可视化存储模型、可视化界面模型.首先给出了基于OMG(Object Management Group)工作流管理规范的柔性工作流模型,进而给出了可视化界面模型和可视化存储模型,阐述了工作流与可视化界面之间的双向映射过程,并讨论了流程的结构完整性规则.该模型及方法较好的解决了柔性工作流的可视化问题,据此开发的工作流管理系统已经在航空二集团某厂实施并得到了用户的肯定.     

基于工作流技术的信访业务协同处理系统

本文提出了一个基于工作流技术的协同处理模型。用户可以定制工作流,并将基于角色和任务的访问控制运用于模型中,实现安全访问控制的工作流建模。利用该模型,研发了信访业务协同处理系统,介绍了系统的动态工作流管理技术、基于角色和任务的工作流访问控制与协调处理方法。     

加权的时间Petri网工作流模型研究

时间性能分析是工作流模型分析和评价的重要方面。介绍了Petri网和工作流网的基本概念,提出了加权时间扩展工作流网,对加权时间扩展工作流网的基本组件进行了时间分析,给出了平均时间的计算方法。通过网上订购商品和生产车间工作流模型,利用基本组件的时间性能分析方法,对这两个工作流模型进行了时间性能分析。     

工作流模型的扩展及其形式化描述

工作流是一类能够部分或全部由计算机支持或自动处理的业务过程,工作流模型是对工作流的抽象表示,也就是对业务过程的抽象表示。论文以过程工程理论建立的企业模型作为工作流模型的扩展思想,归纳出了工作流模型设计原则,并对现有的扩展方法进行了分析;最后提出了一种工作流模型,该模型由过程模型、活动模型、组织模型、资源模型和信息模型五个子模型组成,并给出了各子模型的形式化描述。     

智能公交系统中动态网格工作流模型研究

针对智能公交系统(ITS)车辆调度难的问题,提出了网格环境下跨越多个域和系统的车辆实时调度工作流模型的特点和要求,以得到适用于ITS车辆调度的工作流元模型;提出了采用基于Petri网的柔性工作流建模技术和自顶向下分层树形分解方法来构造工作流模型,以产生适用于ITS工作流建模的思路和方法。最后提出了一种验证模型的算法来证明其有效性。     

元模型驱动的企业建模

企业建模对于企业实施先进制造战略具有重要意义。文章在研究分析了多种企业建模方法的基础上,应用元模型和模型驱动等概念和方法,提出模型驱动的企业建模方法。以元—元模型为基础,采用UML中的标识符进行企业建模。     

一种结合AADL和IMC的系统可靠性建模方法

随着嵌入式软件在安全关键领域广泛应用,系统可靠性随着其规模、复杂度和性能需求的不断提升而愈显重要。结构分析设计语言AADL是应用于嵌入式领域的体系结构建模、分析和验证的重要手段。由于AADL是一种半形式化模型,需要精确描述其语义才能进行定量分析。提出一种基于AADL的系统可靠性建模方法。首先,结合AADL模型和AADL错误模型附件,得到AADL可靠性模型;然后,提出一种模型转换方法,将AADL可靠性模型的基本元素和错误传播等特殊元素转换到交互式马尔科夫链模型IMC,进行可靠性定量分析;最后,结合法国空中交通控制系统的实例,证明该方法的可行性和有效性。     

集成化企业建模系统体系结构与实施方法研究

提出一种集成化的企业建模方法,给出了建模框架体系和基于工作流的过程视图建模方法,并设计了基于ＣＯＲＢＡ软件总线的集成化企业建模与仿真优化系统,将企业建模的生命周期加以扩展,提出４阶段生命周期的建模方法,并以工作流模型作为企业模型的核心,提出了实现企业模型到实施系统转化的两种可行方法。     

多层云建模方法的研究及应用

分析了目前复杂大系统建模方法存在的优缺点,旨在研究一种适用于我国行政递阶管理机制的建模方法。这种方法能够很好地解决系统问题中的不确定性,尤其是人为主观造成的模糊性与采样数据随机性并存的问题。鉴于以上研究目标,探讨了多层状态空间模型,并引用图论诠释了其横向关系模型,同时融合正态云发生器的原理提出了一种"分解-集结"式的不确定性智能建模方法———多层云建模方法。最后将该方法用于我国能源系统分析研究中,取得了较好的结果,证明了该方法的简单性和有效性。     

Hybrid cutting simulation via discrete vector model

Geometric cutting simulation and verification play an important role in detecting NC machining errors in mold and die manufacturing, thereby reducing the correcting time and cost on the shop floor. According to workpiece model, current researches may be categorized into view-based, solid-based, and discrete vector-based methods. Each methodology has its own strengths and weaknesses in terms of computing speed, representation accuracy, and its ability to perform numerical inspection. This paper proposes a cutting simulation methodology via a hybrid workpiece model which consists of the general discrete vector model and its simplified model. Workpiece modeling scheme, cutting simulation via tool swept surface modeling and vector intersection, and some case studies of mold and die machining are presented in this paper.     

灰色Verhulst 预测模型的数乘特性

为揭示灰色Verhulst模型的建模精度在系统原始特征序列数乘变换前后的变化规律,降低其建模复杂性,研究了灰色Verhulst模型的建模参数在系统原始特征序列经过数乘变换前后的量化关系以及数乘变换对该模型建模精度的影响程度.研究结果表明,灰色Verhulst模型的建模精度与系统原始数据序列的数乘变换无关.利用数乘变换能降低原始数据的量级,简化建模过程,而不会改变灰色Verhulst模型的建模精度.     

基于系统六元的装备保障仿真建模方法研究

计算机仿真技术由于其经济性等优点,在军事领域得到了广泛应用。为了提高模型的通用性,美国国防部提出了建模与仿真通用技术框架。文中描述了建模与仿真通用技术框架的组成,指出了其问题域界定不清晰等缺陷。通过六元抽象建模方法,将装备保障仿真建模过程归纳为概念建模、对象建模和执行模型设计三个过程,建立了统一的模板,验证了统一建模过程的优点,推动了规范化建模过程的发展。     

基于PETRI网的工作流模型分析与应用

目前,工作流的建模和分析工具有很多,由于Petri网具有坚实的理论基础和易于使用的图形表示,因而是一种理想的建模和分析工具。论文着重讨论基于Petri网的工作流模型的分析技术,对其基本的过程和所涉及的问题进行了分析,尤其对模型正确性的判定等问题,进行了详细的阐述。在文章最后,将给出一个应用的实例:全国高校网上招生录取系统。     

线性组合预测模型及其应用

预测的关键是建立合理的预测模型。不同的预测模型各有长处，通过对不同预测模型的线性组合可以得到效果更好的线性组合预测模型。本文以福建城镇居民恩格尔系数为研究对象，分别建立线性回归预测模型、灰色系统预测模型、遗传神经网（GABP）预测模型，并在此基础上建立线性组合预测模型。实证研究表明，线性组合预测模型预测效果较好。     

聚合作战建模研究

该文首先说明聚合作战模型建模的必要性，然后归纳了聚合作战模型的特征，给出模型的一般抽象结构及其组分的一些实用的建模方法。最后探讨了聚合作战模型一致性的有关问题。通过研究，明确了聚合作战模型建模的整体框架、主要方法和存在的问题，为进一步研制和开发聚合作战模型打下基础。