【作者】 邹显春；

【导师】 张为群；

【作者基本信息】 西南师范大学 ， 计算机应用技术， 2003， 硕士

【摘要】 工作流是一个运行的业务流程，工作流管理与工作流的控制及协同有关。工作流管理是一个被业界广泛应用并迅速发展的技术，它的主要特点是使处理过程自动化，使人和各种应用工具协同完成业务活动。工作流管理已在办公环境、工商业和制造业等领域得到广泛应用。工作流管理的目的是为了让合适的人或软件在恰当的时间执行正确的工作。工作流所关注的问题是处理过程的自动化，它根据一系列定义的规则，把文档、信息或任务在参与者之间传递，以达到提高生产组织水平和提高效率的目的。 工作流模型的核心是业务过程的定义，包括组成过程的基本活动以及活动之间的时序关系。但工作流技术自身存在有较多的不成熟性：在工作流的模型描述方面，缺乏支持过程定义、过程分析的形式化的数学模型，从而缺乏对工作流的完整性、有效性、可靠性进行分析的手段。虽然有的模型具有形式化的数学描述，但从模型能力上距离对工作流的本质描述仍有差距。 针对以上问题，作者将UML引入工作流模型描述，并针对工作流的特点对其进行扩展，提出了基于UML活动图的活动超图的工作流建模思想，这种思想不仅具有UML活动图的特征和优点，还着重考虑了外部事件、时序以及运算控制对工作流运行路径的影响，提高了复杂控制条件的描述能力，使其更适合工作流建模。同时对活动超图的语法结构、约束条件及活动超图的语义进行了讨论，并为活动超图定义了适用于工作流模型的形式化语义，从而完成工作流数学模型的建立，提出了工作流活动图形式化语义中活动图的执行算法。为使用模型检查方法来验证与形式化语义对应的工作流功能需求奠定了基础。更多还原

【Abstract】 Work flow is a running business process whose management is related to the control and cooperation of work flow. The management of work flow is a technology which has been widely used in the field and has been developed rapidly. The main features of it are to automatize the process and to cooperate the people with all kinds of applied tools in order to complete the business activity. The management of work flow has been widely used in office environment, industry and commerce, manufacturing and so on. The purpose of the management of work flow is to make the appropriate people or software execute right task in appropriate time. The concern of work flow is the automation of management process which improves the level of productive organization and efficiency by transmitting documents, information or tasks among the participants according to a series of defining rules.The core of work flow model is the definition of business process which includes the basic activities and the temporal relation between them. However, the technology of work flow in itself is of much immaturity. In the model description of work flow, the technology of work flow is lacking in the formal mathematical model which supports the process definition and analysis. Consequently, it is lacking in the measures to analyze the integrity, validity and reliability of work flow. Although some models have formal mathematical description, there is still some distance between the mathematical description and the basic description of work flow as viewed from the model ability.Taking account of those problems, the author imported UML into the description of work flow and expanded it according to its features, and also put forward the idea of work flow modeling of super activity graph based on the UML activity graph. This idea not only had the features and advantages of the UML activity graph, but also improved the descriptive ability of complicated control condition to make it more suitable for work flow modeling, allowing for the influence of outside accidents, temporal sequence and operation control onthe work flow operation path. Meanwhile, the semantics of syntactical structure, constraint condition and super activity graph were discussed. This idea defined the formal semantics appropriate for work flow for super activity graph and completed the establishment of the mathematical model of work flow. Apart from that, the executive algorithm of the activity graph in the formal semantics of work flow activity graph were put forward. This idea provided the foundation for the justification of the corresponding work flow functional requirement to the formal semantics by means of model examination.更多还原