基于全局流程集成平台的约束机制研究与应用-计算机软件与理论专业论文.docxVIP

中出丈学颟士学位论文 中出丈学颟士学位论文 基于垒局流程集藏平台豹约京辊毒《研究尊斑用 第1章引言 1．I研究的背景 自从软件危机111’f2J提出以来，软件工程就一蕊成为了研究的热点。虽然嗣 前计算机软件工程研究取得了重要的进展，但是依然是失败的计算机软件工程 寨爨嚣多，甚至露予庭瘸最广泛豹蕊惑系统遣楚鲦藏强。 一个信息系统可以从六个维度进行评价：系统质量、信息质最、可用性、 用户满意度、对个体影响以及对机构的影响[41。系统的质量是缀底层次，同时 毽是最基本豹要求。疲瘸获终豹结稳，壹接关系蘩疲惩系统瓣震潼。孽专赛楚瓣 于业务系统。 业务系统同管理信息系统【5J．【6l最大的不同是：除了管理工业社会(以下简称 柱会)，謦翔金选羲誊浚密等，运终巾产生豹信惑之舞，还要管爨享圭会懿运僚， 特别是运作程序，或者称为流程。如果说信息系统管理了社会遮作的结果，则 业务系统还管理了社会动作的行为。 多数藏秘企盈藤经骏表鞠，柔拣怒企盈在捌熬交纯熬珲境串求褥生存粒发 展的一个非常重要的因索。同样地，任何机构要在信息时代获得竞争优势，必 须对自身的业务流程进抒不断地优化。 1．2基于流程的开发现状 传统懿娩务系统嚣发多数将滚毯疆编霹强饕霞璐中。这氇意昧羞壁务滚稷 的多变性ISl，将导致业务系统的开发、维护过程异常复杂【9】。 文献吲提出一种朴豢且有效地解决业务逻辑硬编码的方法。其核心概念 threaded code，覆撵一粪蜜瑷痘羧瓿懿‘泽器熬按零。包莛：塞缓字褥率编译； 将目标编译成一个抽象的语法树，并解释该语法树等。 当前具裔代表性的基于流程的开发多数都借鉴了虚拟机翻译器的思想。采 矮对整务滚箨送孬建摸；褥滚程接述袋特定夔语法缭构体；运嚣辩解耩结擒体 的语义，从而实现业务流程。 申出丈学磺士学位论文 申出丈学磺士学位论文 基于全局流程集成平台的约束视蒯研究与应用 然而聚用这种方法，关键在于系统分析和设计阶段建立能够有效描述业努 遘程动态变豫熬摸型。漉程搂型零麓菇～个鞍复杂豹垒篷翔谖系统，存在诲多 不完全、不确定的成分，流程元素关系也不易量化，难以用定激的数学方程描 述【241。 多年熬来，关于滚糕建摸激及鏊予滚程鹚堑务系统鹃研究Z终取褥了键多 成果。众多学者从管理学、计算机科举或两者的交叉学科的角度去分析并解决 问题；提出了许多有现实意义的模型；大部分实现了对应的系统。这些研究翠 絮主要寒潦予大鍪毒l造王鼗；蒡逐激为商韭、骚务撂蜇涎揆支祷。这方嚣豹磷 究主要有： Chert于1976年掇出的用于数据建模驰E。R模型110l被认为是流程建横 熬藏身。 文献【11】系统地阐述了一种建立加工制造她的体系结构模型的方法 IDEFO。其基本内容是结构化分析与设计技术SADT的激动模型方法。 文簸fl翅戆焦色滤动鎏RAD摸嫠获滚程参与翥酌角度入手，强诱流糕 由多个角色交互、协同完成目标。 1992年Seheer[13]等人提出事{牛驱动的流程链模型EPC，并应用于大型 系统SAP R／3114]审。 文献【15】定义了的工作流管理系统的参考模型。 文献[16]Gregory等讨论了两种工作流建横方法：基于滔动和基于遴 讯瓣建模方法。 文献【17】中乔非等人将Petd阿模型引入流穰建模的研究领域，从而提 高流凝描述的严密性、抽象能力和计算枧化舷力。 1．3研究的内容 奉逡文綦予ee th大学较箨磅究所稀究涤题《全筠滚程集或乎鸯》。是关手软 件工程领域的应用开发框架的研究和应用。其意义在于：通过提高开发框架对 流程的描述能力和解释能力，降低在框架上进行应用拜发的复杂度；导致应熙 开发速痍黎援离霸鑫标系统豹强)|圭缝。 本研究课题的重点在于流程的描述模型；模型必颁能表达一般的业务流程， 2 中出大学硕士学位论文 中出大学硕士学位论文 基予全局流程集成平台的约束机制研究与艘用 支持流程之间的交互。流程的插述模型直接决定了平台可以为开发人员提供俺 耱霞番l。i蕤过磅究缝藏爨懿讨论激发狻证，确定慕翊改送了豹商隈获态垂动撬 作为流程的描述模型；也就是本论文提出的流程自动机(Process Automaton)。 流程期劝机采用状态表示流程特定的驻留点；使用边表示龆致流程进展盼 事锌，事{警戒功鸯垒发警皴附热在边上动作静挠行。～个流程翡执行在流程窘渤 机上反映为一个(状态，动作)对的序列。流程自动机的新特蚀在于是：一、 每个流程附加一个变量爨圪二、每条边附加了关于V集约束，该约束采用流 程约束语嘉PCL搐述。获蔼流程自动机可瑷自动检查约束，羧粼状态转换。 本论文彤式化地定义了流程约束语言PCL和流程自动机。阐述了全局流攫 集成平台GBPIP对流稷鑫动机的实现。并且定义7一个PCL的实现事件约束语 言PCL，掇予搐述GBPIP流程中状态转换豹约束。传统