简单数学业务规则的一种可执行说明性定义方法-计算机软件与理论专业论文.docxVIP

中山人学坝I+学位论文 中山人学坝I+学位论文 简单数学业务规则的一种可执行说州十牛定义方法 简单数学业务规则的一种可执行说明性定义方法 专 业：计算机软件与理论 硕士生：冯波 指导教师：李磊教授 摘要 本文定义了用于描述简单数学业务规则的基于逻辑的简单MBR语言和简单MBR 程序，证明简单MBR程序存在一个最小模型，而且这个最小模型是有限的，简单 MBR程序的说明性语义也由这个最小模型给定，并给出了构造简单MBR程序最小模 型的完备的算法。简单MBR程序在广东国旅管理信息系统中的应用表明，与传统 程序相比，简单lllBR程序可以在程序外部说明性地定义简单数学业务规贝0，更易 于理解、易于维护。 关键词： 业务规则；说明性定义；逻辑；数学演算 生些叁兰堡!：兰垡堡兰 生些叁兰堡!：兰垡堡兰 蔓苎墼堂些墨塑型塑=壁!垫堑亟望丝塞墨查鲨 An ExecutabIe Method of Declarative Dennition fbr Simple MathematicaI BuSiness Rules Major：Computer Sonwarc aIld Theory N姗e：FENGBo Supefvisor：Prof U“ Abstract This paper pmposes Io垂c．based sirnpIe MBR langtlage and siHlple MBR pm簪锄s for de6ning sinlple mamematical business nlles． This paper proves that mcre cxists a leaSt model for each simple hj[BR pro铲枷柚d me le觞t modelis flllite，suggests that the declaratjve semantic ofa simple MBR progr锄shouldbe definedby its least model A complete algori山m is proposed to∞ns缸1lct tlle least model．Simple MBR pr0铲锄s’ application in GuaIlgdong CITS MIS also shdws that si瑚Iple MBR proj卿ms declaratiVely deflne simple mam咖aticalblIsiness nlles outside codes柚d is easier to be understood粗d maintained than t阻d“ionaI progmms． Key words：Business Rules；Doclarative Definition；Logic；Mathematical Calculation n !坐叁兰些!：兰丝堡墨 !坐叁兰些!：兰丝堡墨 塑兰墼堂些箜塑型竺二塑兰垫笪塑型丝塞兰查!生 第1章引言 1．1传统软件设计方法在软件进化上的局限性 尽管在计算机出现以前人们就已经通过制定各种规则来对企业进行管理，然 而直到二十世纪八十年代术所谓“遗留代码”(Legacy Code【l】)问题的出现，业 务规则才逐渐引起软件开发人员的重视。 造成遗留代码问题的～个重要原因是由于传统的软件设计方法不能适应软件 进化(Evolution)的要求。传统的软件设计方法总是用过程代码去实现业务规则，而 业务规则一旦被转化为过程代码，其语义就不再为那些负责业务规则完整性的业 务人员以及业务分析人员所熟悉，更重要的是，要保证业务规则的代码形式和文 档形式的语义的一致性也不是一件容易的事情，代码的行为比起它们建模的过程 更加不可预测。因此，一旦软件投入运行，对于基本代码的任何后续修改都将困 难重重【2】。另一方面，当今市场和技术～直在迅速地变化着，这不但要求企业必 须不断地做出调整以适应这种变化，同时也要求支撑企业业务的应用软件必须不 断地做出相应调整以适应企业的这种变化[3】，也就是应用软件应该能够不断地“进 化”，而这其中最重要的就是业务规则的调整。显然，对于用传统软件设计方法设 计的应用软件，如果要实现“进化”，唯～的办法就是直接修改代码。然而应用软 件在经过经年累月的反复修改之后，不但软件代码和相应文档都越来越庞大，越 来越复杂以至于难以理解和维护，而且业务规则代码与相应文档的语义分歧也会 越来越大。在这种情况下，程序员会逐渐对文档失去信心而只相信程序代码【1】， 使得应用软件进化成为一件举步唯艰而且代价高昂的事情，这就产生了“遗留代 码”问题。 近年来，人们对传统软件设计方法在软件进化上的局限性也认识得更加深刻 [2，4】： ● 丌发