1。2 研究现状

1。3 论文组织结构

后文组织结构大致如下: 第二章详细介绍了高层次转换操作。

第三章阐述了使用 Quine-McCluskey 算法求解过程模型转换操作的详细过程和需要注意 的问题。

第四章说明了算法的工具实现以及实验分析结果。 第五章介绍了本课题的相关工作以及对未来的展望,明确一下未来的研究目标。

2 相关内容

2。1 问题提出和相关定义

本科毕业设计说明书 第 3 页

我们在这里给出过程转换的定义。P 表示过程模型集合,C 表示过程转换集合。S,S'∈P 为两个过程模型,Δ∈C 为一个过程转换,σ=<Δ1,Δ2,。。。Δn>∈C 是作用在最初的过程模型 S 上 的一个过程转换序列。于是有:论文网

①S[Δ>S'当且仅当Δ应用在 S 上并且转换后的模型是 S'。

②S[σ>S'当且仅当∃S1,S2,。。。Sn+1∈P,S=S1,S'=Sn+1,并且 Si[Δ>Si+1,i∈{1,。。。n}。 作为例子,在图 2。1 中我们使用一个简化了的某病人看病过程模型。一个病人要去医院

看病,他第一次挂号,然后接受治疗,最终付钱结束治疗过程。现在我们假设有这样一个突 发心脏病的病人,出于人道我们必须先考虑治疗他并且允许他可以先治疗再挂号。为了在过 程模型中各自的实例级别表示这个异常的情况,需要的转换是把接收治疗活动从原先的位置 移动到和挂号活动并行的位置。这个转换产生一个新的模型 S'(S[σ>S',σ=<move(S,receive treatment,admitted,pay)>) 。 同 时 , 这 个 特 定 实 例 的 执 行 日 志 e 为 (e=<admitted,receive treatment,register,pay>)。如果我们只有过程模型 S 和它的执行日志,那我们就不可能得到这 个转换操作,因为能够产生这样的执行日志的过程模型是不唯一的。例如,一个有四条平行 分支四个活动的过程模型,也能产生这样的执行日志。相反,也不能通过转换日志推出执行 日志,因为 S'上的执行活动也是不唯一的。例如,S'也可以产生<admitted,register,receive treatment,pay>的路径。因此,在和纯执行日志相比时转换日志可以提供额外的信息。

(a)最初的过程模型 S

(b)最终的过程模型 S'

图 2。1 病人看病过程模型实例[1]

本科毕业设计说明书

2。2 高层次转换操作的优势

传统的过程模型转换操作是在边和结点上进行的基元操作,比如增删边和增删结点。在 说明了转换日志的重要性之后,我们现在来讨论为什么我们需要高层次转换操作而不是使用 传统的基元操作。图 2。2 有一个过程模型 S,包含一个平行分支,一个条件分支和一个连接 两个活动块的空活动 t(用空结点表示)。假设我们对过程模型 S 使用高层次转换操作,产 生两个新模型 S1 和 S2。

Δ1 把活动 C 从现在的位置移动到活动 A 和 B 之间的位置,执行操作为:

S[Δ1>S1,Δ1=move(S,C,A,B)

Δ2 把活动 A 移动到 B 和 C 之间的位置,执行操作为:

S[Δ2>S2,Δ2=move(S,A,B,C)

(a)最初的过程模型 S (b)Δ1 操作后的过程模型 S1

(c)Δ2 操作后的过程模型 S2

图 2。2 高层次转换操作和基元转换操作对比实例[1]

图 2。2 描述了 S 和 S1、S 和 S2 之间各自用传统操作方法运用的转换基元。对比来看,使 用高层次转换操作有以下几点好处:

上一篇:Android人脸检测技术微博客户端设计与实现
下一篇:Android的手机相册设计与实现

JSP网上书店管理系统的设计

asp.net计算机科学与技术专...

jsp+mysql轻量工作流产品设计与实现

基于安卓系统的科学计算器开发

ASP.NET企业网站建设

工作流模型活动间关系分析及原型实现

基于JBPM的工作流引擎设计与实现

我国风险投资的发展现状问题及对策分析

ASP.net+sqlserver企业设备管理系统设计与开发

LiMn1-xFexPO4正极材料合成及充放电性能研究

互联网教育”变革路径研究进展【7972字】

麦秸秆还田和沼液灌溉对...

张洁小说《无字》中的女性意识

老年2型糖尿病患者运动疗...

安康汉江网讯

网络语言“XX体”研究

新課改下小學语文洧效阅...