基于活动图模型的工作流形式化语义研究-计算机应用技术专业论文.docxVIP

基于活动图模型的T作流形式化语义研究基于活动图模型的工作流形式化语义研究 基于活动图模型的T作流形式化语义研究 基于活动图模型的工作流形式化语义研究 内容摘要 学科专业：计算机应用技术 研究方向：软件工程 指导教师：张为群教授 研究生：邹显春(99209) l工作流是一个运行的业务流程，工作流管理与工作流的控制及协同有关。工作流管 理是一个被业界广泛应用并迅速发展的技术，它的主要特点是使处理过程自动化，使人 和各种应用工具协同完成业务活动。工作流管理已在办公环境、工商业和制造业等领域 得到广泛应用。工作流管理的目的是为了让合适的人或软件在恰当的时间执行正确的工 作。工作流所关注的问题是处理过程的自动化，它根据一系列定义的规则，把文档、信 息或任务在参与者之间传递，以达到提高生产组织水平和提高效率的目的。 工作流模型的核心是业务过程的定义，包括组成过程的基本活动以及活动之间的时 序关系。但工作流技术自身存在有较多的不成熟性：在工作流的模型描述方面，缺乏支 持过程定义、过程分析的形式化的数学模型，从而缺乏对工作流的完整性、有效性、可 靠性进行分析的手段。虽然有的模型具有形式化的数学描述，但从模型能力上距离对工 作流的本质描述仍有差距。 针对以上问题，／作者将LrML引入工作流模型描述，并针对工作流的特点对其进行 扩展，提出了基于UML活动图的活动超图的工作流建模思想，这种思想不仅具有UML 活动图的特征和优点，还着重考虑了外部事件、时序以及运算控制对工作流运行路径的 影响，提高了复杂控制条件的描述能力，使其更适合工作流建模。同时对活动超图的语 法结构、约束条件及活动超图的语义进行了讨论，并为活动超图定义了适用于工作流模 型的形式化语义，从而完成工作流数学模型的建立，提出了工作流活动图形式化语义中 活动图的执行算法。为使用模型检查方法来验证与形式化语义对应的工作流功能需求奠 定了基础。 关键词： 工作流活动超图 形式化语义(步弘 基于活动图模型的工作流形式化语义研究A 基于活动图模型的工作流形式化语义研究 A Formal Semantic Study of the Work Flow Based on Activity Graph Model Abstract Major：Computer Application Direction：Software Engineering Supervisor：Prof．Weiqun Zhang Author：Xianchun Zou(99209) 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 fight task in appropriate time．The concerti 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 w