摘要:Behavioral profile提供一对过程模型一致性理由的基础。正如大多数的建模语言BPMN，EPCs，或者UML活动图能够用Petri nets映射（至少部分可以）。我们也可以用behavioral profile，普遍的想法是追溯到一个进程模型行为的特定关系即捕捉专用的行为片面如一对活动的独占度或者它们潜在事件的发生顺序。这些关系，相反的，产生一个过程模型的behavioral profile。

一般而言，我们可以分辨一个进程模型活动的三个基本关系。两个活动的执行要不然发生在strict order(前后关系)，要不然exclusively（独立关系），要不然在interleaving order（交替顺序）。这些关系指定了潜在的依赖关系。一个活动不会明确的实际执行，关于我们正式的模型，我们捕捉典型的依赖关系作为WF-system transitions的关系，基于一个某开始序列的识别。我们得到的三种二元关系是Behavioral Profile行为轮廓的一种反应，我们可以根据Behavioral Profile中的三种关系来判断两个模型之间的水平一致性和垂直一致性的程度。63864

毕业论文关键词：  行为轮廓，前后关系，独立关系，交替关系

毕业设计说明书（论文）外文摘要

Title  Implementation of workflow model analysis of the relations between the activities and prototype

Abstract The notion of a behavioral profile provides the foundation to reason about

consistency of a pair of process models. As most process modeling languages such as BPMN, EPCs, or UML Activity Diagrams can be mapped to Petri nets (at least partially), we can also derive the behavioral profile for them. The general idea is to trace back the behavior of a process model to characteristic relations which capture dedicated behavioral aspects like exclusiveness of a pair of activities or their order of potential occurrence. These relations, in turn, yield the behavioral profile of a process model.

   In general, we can distinguish three fundamental relations between activities of a process model. The execution of two activities might happen either in strict order, exclusively, or in interleaving order. These relations state potential dependencies.

The actual execution of an activity is not explicitly enforced.With respect to our formal model, we capture these characteristic dependencies as relations between WF-system

transitions that are identified based on the existence of acertain firing sequence. Three two yuan relationship, we get the relation is a kind of reaction Behavioral Profile profile, we can judge the level of consistency between the two models and vertical consistency degree according to the three kinds of relationship between Behavioral in Profile.

Keywords  behavioral profile, strict order, exclusively order, interleaving order

目录

第一章 绪论 1

1.1研究背景 1

1.2研究的意义和目的 1

1.3论文主要工作 3

1.4论文的组织结构 4

第二章 背景知识 5

2.1XML简介 5

2.2 Petrinet 6

2.2.1 Petri网的结构 7

2.2.2  Petri网的基本特性如下 7

2.2.3  Petri网的规则是 8

2.3 Behavioral Profile 9

2.3.1过程建模的behavioral profiles 9

2.3.2  behavioral relations 10

2.3.3匹配过程模型间的一致性