AXML在基于Web Services的工作流过程建模中的应用

本文在分析基于WebServices的工作流技术的同时,重点研究了它的过程建模,根据它的特点,引入AXML作为其描述语言,并给出了对元素及其结构的定义,最后用一个泛工作流实例来说明AXML在基于WebServices的工作流过程建模中的应用。     

工作流系统中过程模型的应用研究

如何将实现世界中复杂的业务过程转化为可被工作流引擎识别的形式化描述，是架构工作流管理系统中的一个核心问题。文中讨论了一种过程模型的描述语言，并介绍了它在面向电子商务的协同工作系统（ECCS）中的实现。     

工作流系统中的业务过程描述及分析

过程模型是业务过程的形式化定义,它的正确性直接影响业务目标的实现。定义了一种过程描述语言并对使用这种语言描述的过程模型进行分析,之后给出了工作流执行的控制算法。     

基于Petri网的工作流模型

Petri网是一种很有效的模型描述语言，不仅能描述系统的结构特性，同时还能描述其动态特性，尤其适用于描述含有并行成分的系统，而工作流技术作为实现企业过程集成的有效手段，广泛用于各种场合。在简要介绍了Petri网和工作流基本知识的基础上，指出了基于Petri网的工作流模型的优点，讨论了将工作流模型转化为Petri网模型的基本原则，并且提出了一种扩展的Petri网模型作为一种工作流建模的工具，最后对基于Petri网的工作流模型进行了总结。     

基于对象Petri网的工作流程过程定义

文中提出了基于对象Petri网（Object Petri-Net,OPN)和基于OPN的文本描述语言LOOPN 工作流过程定义接口标准,论述了其可行性和优势,并给出了形式化描述。     

一种基于UML的实时工作流建模方法研究

实时系统由于其业务对时间要求的特殊性,使得传统工作流技术难以满足其需求.在传统工作流的基础上,针对实时系统提出了实时工作流的概念,并建立了实时工作流元模型.与传统的工作流相比,主要对工作流的时间约束和异常处理进行了考虑.在活动上扩展了启动时间和执行时间,在工作流过程上扩展了执行时间,在并发活动上扩展了并发时间约束等,此外,元模型中还考虑了活动的超时异常以及应用程序和活动之间的执行关系.为了能够利用实时工作流元模型进行实时工作流建模,通过扩展UML定义了一种实时工作流描述语言,并分别从设计要求、定义技术和profile三个方面对实时工作流描述语言进行了阐述,给出了实时工作流的建模规则.最后结合船舶指控系统的具体实例,对建模方法进行了说明.     

基于Web Service的工作流过程模型研究

工作流管理和WebService都是新兴的技术，正是将这两项技术结合起来运用于工作流过程建模上。首先分析了现有模型的弊端，接着简要介绍了WebService及其核心技术——Web服务流语言(WSFL)，在此基础上提出了一个工作流过程元模型，该模型由流程、活动、活动依赖三部分组成，重点介绍了流程建模的情况，同时也给出了另外两个部分的设计和说明。     

基于XML和Agent联邦的工作流建模方法

介绍一种基于XML和Agent联邦的工作流建模方法，目的在于建立分布式环境下灵活的，动态的工作流管理过程。该方法将工作流管理系统组织成一个可能嵌套的Agent联邦，将工作流定义为一个由Agent联邦协同完成的活动集合。面向活动分担的联合意向是Agent进行工作流规划的依据与手段，它成功地解决了工作流过程分解的静态性与工作流过程运行的动态性之间的矛盾。文中方法采用的过程建模语言是建立在XML的基础上，与传统的过程建模语言相比，它具有更强的可操作性与可扩展性。最后介绍了工作流建模环境以及利用该环境进行工作流建模的过程与步骤。     

图形化工作流过程定义工具的设计

本文提出并实现了基于图形化用户界面的工作流过程定义工具，同时，实现了完全Web化的工作流收发文管理。图形化的过程定义工具可以提高用户建模的效率，可以直观方便的创建复杂的流程定义；B／S架构可以有效改善系统的易用性和降低系统维护工作量。     

一种基于XML的工作流过程模型的实现

如何将企业复杂的业务过程转化为工作流管理系统，可识别的形式化描述是架构工作流管理系统的一个核心问题，现有的文献对工作流过程模型的研究主要是建模方法。从实际应用出发，讨论了一种建立在活动网络图基础上的工作流过程模型的设计过程。在该模型的实现上，采用面向对象的程序设计思想，实现了其对象模型描述，并在此基础上进一步探讨了对象与XML文档元素之间的映射关系及对象模型的文档描述，最后，给出了用COM和ASP实现XML文档对象模型的主要策略。     

一种基于XML的工作流过程定义语言

主要阐述在FlowStep中所使用的基于XML的工作流过程定义语言。FlowStep是一种基于Web的分布式工作流管理系统。在本系统的工作流过程建模中,根据不同类型的任务,分别定义其XML文件,并最终生成一个可以被工作流引擎解释的工作流过程定义。     

信息系统UML建模研究

UML作为一种面向对象的标准建模语言,在信息管理系统的建模领域得到了广泛的应用.概述了UML中多种模型图的使用方法和适用范围,分析了UML系统建模的主要过程和特点,并以一个实验预约系统为例详细介绍了系统用例模型,静态模型和动态模型的设计过程,同时重点探讨了在一般信息系统建模过程中普遍适用的系统类筛选、动态方法定义等相关技术.     

基于XML的Petri网流程描述及构造

工作流过程定义可以采用不同的建模方法,由于Petri网有坚实的理论基础和易于使用的图形表示,因而是一种理想的建模和分析工具,XPDL是基于XML技术的工作流过程定义语言。文中提出了六种基本的Petri网流程模块,给出了由Petri网向XPDL转换的方法以及由XPDL构造Petri网的方法。     

基于UML短信息计费系统设计

Unified Modeling Language（UML）又称统一建模语言或标准建模语言,是一种面向对象的建模语言,它是运用统一的、标准化的标记和定义实现对软件系统进行面向对象的描述和建模。UML的目标是以面向对象图的方式来描述任何类型的系统,具有很宽的应用领域。其中最常用的是建立软件系统的模型,故本文从这个方面入手,分析设计了一个基于UML的短信息计费系统。     

一种基于XML的软件过程定义语言SPDL的设计

定义软件过程是软件企业使用CMM提高其能力成熟度的一个关键问题。论文参考工作流过程定义语言WPDL,充分考虑软件过程的特点,提出了一种软件过程定义语言SPDL。SPDL遵循CMM标准,它由XML扩展得到,用XML Schema描述,用SPDL进行过程建模,实现了一个基于CMM的软件质量保障平台。     

智能决策支持系统中图形建模的实现

随着智能决策支持系统研究和应用的日益深入,模型建立环境已经成为ＩＤＳＳ生成器的一个必备工具,传统的建模方式已不能适应当前软件发展的潮流和决策的需要,本文在分析现有的建模环境和模型部件的基础上,提出并实现了一个基于图形和面向对象技术的建模系统。     

Model-driven engineering of process control software – beyond device-centric abstractions

This paper presents a new, two-level, model-driven engineering approach to industrial process control software. The first level (infrastructure engineering) is concerned with the following: the definition of the development process and guidelines, the definition of a domain-specific modeling language, the specification of the model transformations, and the development of a tool suite. This tool suite enables modeling of the process control software and the automatic code generation for programmable logic controllers. In the second level (application engineering), the process control software is engineered using the results of the infrastructure level. The approach is demonstrated on excerpts from an industrial project.     

面向对象的工作流建模工具的设计与实现

在工作流技术和方法的基础上,深入研究了WfMC工作流参考模型、工作流常用建模方法和过程定义语言,采用面向对象的建模方法对工作流进行建模,最后结合实例验证了设计器在处理复杂的工作流过程中具有一定的应用价值,从而为今后工作流的动态执行模型的建立打下了良好的基础.     

一种系统生物学建模语言的开发

本文设计并实现了一种用于系统生物学研究的交互式解释型语言——B语言及其运行环境。根据系统生物学标记语言(SBML)的标准定义设计B语言的建模语法，介绍了B语言解释器和运行环境的开发过程，最后通过仿真实例对B语言与Matlab语言的仿真方式进行了比较，结果表明B语言可更快速获得仿真结果。     

基于RUP和UML的商场会员卡信息系统建模

Rational统一过程RUP是先进实用的软件开发过程,统一建模语言UML是功能强大的可视化建模语言。本文结合商场会员卡信息系统,遵循RUP的生命周期阶段,采用UML进行系统建模。在系统建模过程中各模型建立时,可进行相应的推导和转换。将RUP和UML结合起来指导软件开发,可提高软件开发的质量、效率和可维护性。