应用Pi 演算描述工作流高级模式

分析了对工作流进行形式化建模的意义,应用Pi演算对工作流高级模式进行了形式化描述。在深入研究工作流过程基本结构特征与Pi演算基本理论的基础上,提出了一种语义清晰的描述方法,该方法相比以前的方法可以更好地描述工作流的动态改变,为进一步形式化分析、描述工作流奠定了基础。最后以旅游预订业务系统为实例进行了业务过程建模。     

基于演算的工作流建模方法研究

工作流模型缺乏一种支持过程定义以及过程分析的形式化数学模型,而π演算是一种移动进程代数运算,可用于对并发和动态变化的系统进行建模.首先提出了基于兀演算的工作流建模方法,然后经过对多种建模工具的比较和分析后,利用π演算对业务流程结构进行了形式化定义,详细地阐述了各种活动和依赖关系在π演算中的表示.该方法是完全形式化的方法,具有较强的语义表达能力,便于工作流的执行、推理和仿真等.     

面向ECA规则建模的工作流管理系统构建

将工作流模型划分为3部分:过程模型、数据模型、组织模型。通过ECA规则约束有向图对工作流进行过程建模,利用有向图直观地表述流程的走向,将ECA规则作为有向图节点的属性,工作流引擎通过对ECA规则的解释导航流程。在组织模型中改进RBAC模型,解决其在细粒度权限控制上的不足。给出了工作流模型各组成部分的形式化定义,设计了基于关系数据库的引擎,提出了基于J2EE的工作流管理系统部署架构。     

基于XPDL的建模技术在软件开发过程的应用

XPDL是工作流管理联盟推出的需由开发商共同遵守的一个统一的过程定义语言规范,由它定义的接口能在开发和运行环境之间提供形式上的分离.此外,用建模工具产生的过程定义可以用于多个工作流产品.分析了软件开发过程模型和工作流基本过程定义元模型,提出了通过XPDL来描述和实现软件开发过程的工作流建模.     

改进的UML活动图在建模中的研究与实现

在分析工作流建模系统的基础上,介绍了UML语言的发展和优势以及存在的不足,提出了一种基于改进的UML活动图的工作流建模方法。通过一个具体的半导体制造企业工作中的封装测试的流程建模实例,描述了建模过程;根据角色对任务进行分配,对模型的执行做了分析。结果表明,运用改进后的UML活动图进行工作流建模,成功地改善了一些传统工作流建模过程的缺点,能比较完整、准确地描述工作流建模过程,加速了开发进程。     

XML和Java在工作流过程模型设计中的应用

工作流建模是工作流管理系统的基础和关键，而不同建模方法最终输出的过程模型描述是否标准化直接影响到工作流产品的互操作.在分析XML和Java技术特点的基础上，提出一种以XML中间文本为基础，结合XML和Java进行过程模型描述的方法，其中涉及过程模型中关键元素的XML?DTD描述、Java XML的数据绑定方法以及过程定义的存储.目的是使得跨平台应用得以按标准XML接口进行数据交换，进而较好地解决了上述问题.     

办公自动化中工作流过程定义的设计与实现

办公自动化系统建设的一个突出特点是不仅仅重视信息的充分共享,同时更强调各方面之间的相互协作。提出了符合WFMC规范的、基于3层结构的办公工作流系统结构模型,并从软件工程的角度分析了一种适合于基于工作流技术开发OA的方法,有效改善了系统的开放性、可扩展性和维护性。在此模型中提出了工作流应用数据与过程定义数据分离存储的数据存储方式,解决了过程定义模板的重用问题。从业务流程描述能力和易用性两方面考虑,实现了基于流程节点单一设计元素的过程定义设计,提高了系统对复杂流程的描述能力,简化了流程建模操作。     

一种面向重构的工作流活动状态语义描述方法

工作流活动行为的精确描述是实现工作流过程控制的基础。基于状态的工作流活动行为描述方法在当前的工作流管理系统中被普遍采用。然而,非形式化的活动状态描述缺乏精确的语义并且不易扩充,导致系统适应性较差。针对业务过程管理需求的多样性和动态性,提出了一种支持快速重构的工作流活动状态语义的形式化描述方法。在分析工作流活动与工作项的状态关联基础上,定义了活动状态配置、活动状态配置全集等用于活动状态语义描述的基本概念。通过把活动状态映射为具有相同特征的活动状态配置的集合,建立了形式化的活动状态语义,研究了在此语义下活动状态的重构机制和基本实现步骤,并通过实例验证了该机制的有效性。应用本方法能够提高工作流管理系统适应企业业务过程管理需求快速变化的能力。     

业务过程建模及其形式化验证

针对业务过程建模复杂、模型一致性难以保证的问题,提出一种求精式业务过程建模及其形式化验证方法.结合语义本体技术、基于统一建模语言(UML)的扩展机制,实现对业务过程中的不同关注点进行多视角地可视化建模.业务过程建模是一个“整体抽象过程→声明式过程→命令式过程”多阶段的求精过程.引入环境本体的概念,以软件交互对环境状态的影响来描述软件行为和能力,并在此基础上给出了模型相关定义及其形式化语义.结合一个简化的产品交易系统实例详细论述如何采用声明式形式化语言Alloy进行业务过程模型定义和模型求精的形式化验证.实例表明,采用分阶段求精式业务过程建模方法,并围绕模型语义通过Alloy语言进行形式化验证,可以有效地提升建模过程的灵活性和保证模型规范的一致性.     

电子政务中基于规则库的柔性化工作流模型

工作流技术在电子政务系统中的应用范围非常广泛.提出了电子政务中统一的工作流体系结构及基于规则库的柔性化工作流模型RW;给出了RW的形式化定义,并描述了工作流执行算法和工作流柔性化过程修改策略.     

一种基于有色Petri网的工作流网模型

使用工作流网（WF-nets）描述工作流的业务流程时，可能产生由于托肯含义的不确定性而导致的工作流逻辑的二义性。在分析产生这种二义性原因的基础上，定义了一种基于有色Petri网的工作流网模型CWF-nets，给出了严格的定义和变迁发生机制，并分析了其正确性。利用CWF-nets可以准确描述业务流程的工作流逻辑，且这种逻辑结构与工作流具体案例的属性数据无关，避免了上述问题。     

基于Petri网工作流过程模型合理性验证方法

为保证工作流建模过程的正确性,对基于Petri网的过程建模中存在的潜在错误进行了归纳和总结,分析了合理的工作流过程模型应该满足的条件和要求,并针对自由选择网提出了一种有效的合理性验证算法。实验证明,该算法在实际应用中具有可操作性,有较强的现实意义。     

基于UML的供应链订单管理系统设计

分析了供应链管理面向需求的特点,结合软件工程和面向对象技术,设计了基于UML类图和顺序图的供应链订单管理系统模型,并运用UML活动图描述订单处理的工作流程.     

基于Petri网的高校办公自动化工作流研究

分析了高校办公自动化子系统工作流的基本结构和建模步骤,对公文流转的Petri工作流模型、工作流的路由、公文信息和公文的流程处理信息进行设计,并结合实例,探讨了该模型实现公文流转的过程。     

基于IDEF模型的供应链战略联盟的构建

供应链战略联盟是一种新的企业合作模式,构建供应链战略联盟是一项庞大而复杂的系统工程.如何快速构建供应链战略联盟是企业成功的核心内容.在深刻分析了IDEF模型和供应链运行模式基础上,采用IDEF建模分析和设计方法有效地对供应链战略联盟进行了构建,并详细阐述了建模过程和建模原则.     

Petri网在OA系统工作流中的应用

Petri网既有严格的数学描述,又有直观的图形表示,是理想的工作流建模工具.本文以OA系统中收发文管理流程为例,提出了一个基于Petri网工作流建模的方法并进行了模型的正确性验证.     

基于工作流的毕业设计及实习管理系统设计与实现

文章研究开发的毕业设计及实习管理系统以工作流参考模型为基础,采用了基于petri网的工作流建模技术、XPDL模型规范和工作流引擎技术,提出了将实践教学工作流管理子系统分成工作流管理系统与业务流相对独立来构建的总体设计方案,设计了工作流引擎,实现了自定义流程和修改流程功能,提高了系统的灵活性和适应性。     

基于MVC模式的资源访问代码的自动生成

针对当今快速多变的电子商务环境对工作流软件的灵活性和扩展性要求越来越高这一现象,通过深入分析传统工作流服务网格结构的优缺点,提出了基于MVC模式动态工作流模型的快速实现方法.新方法分离了业务流程开发和资源管理,在对BPEL4WS语言业务流程描述能力进行扩展的基础上,提取业务流程和资源访问流之间的业务流程数据映射关系,自动生成代码,将服务网格和资源网格有效桥接起来.分析结果表明,该方法实现了对用户的透明性和开发的灵活性,同时在软件项目开发中能够更好地进行项目管理、控制软件开发周期和降低返工率.