编码管理系统的应用开发.pdfVIP

计算机光盘软件与应用 2012年第 3期 ComputerCDSoftwareandApplications 软件设计开发 出第一种真正的面向对象语言Smaltalk。 那么它就是形式化 的，典型的以形式化规约语言给如。 Smalhalk语言的发布引起 了人们的广泛关注，随后产生了数 形式化方法能很好地解决在软件开发中经常出现的二义性 问 十种面向对象语言，例如著名的c++和Java。 题，因为形式化方法主要是符号系统，这种符号系统具有一定的 在面 向对象程序设计方法基础上，许多面 向对象分析和设计 数学性质。 (OOA／OOD)方法被提出，比较著名的如Wirfs—Brock方法、Booch 形式化方法也有其缺点，首先是规范所使用的数学工具与模 方法、Coad／Yourdon方法、对象建模技术 OMT(ObjectModeling 型并不能保证规范的绝对正确和安全性；其次是对于任何一种数 Technique)、面向对象软件工程ooSE(Object—OrientedSoftware 学规范，在其基本的数学意义下，针对不同的工程背景，并不是 Engineering)等。这些面向对象分析和设计方法各有各的特点，为 只有一种解释。当然，这些不是二义性问题，而是不同领域对规 了吸收它们各 自的优点，形成统一的面 向对象分析和设计方法 ， 范的解释和相容性问题。 Booch、Jacobson和Rambaugh三人合作，于2O世纪9O年代后期提 三、结论 出了统一建模语言UML(UnifiedModelingLanguage)。在UML基 计算机和网络技术的发展及其在制造业中的应用，产生许多 础上形成的面 向对象软件开发方法开始得到广泛的应用，成为 20 新的制造模式，如并行工程 ，敏捷制造和全球制造 。这些新的模 世纪9O年代直到目前占主导地位的软件开发方法，面向对象程序设 式对产品进行生命周期的设计和管理提出了进一步的要求。结构 计方法这一思维观念创新可以被称为程序设计方法的第二次飞跃。 化方法和面 向对象方法是现今主要的软件开发过程方法 。构化方 然而，在面向对象方法中，软件开发阶段的划分是比较模糊 法贯彻 自顶 向下逐步细化的 “功能分解 ”思想，其基于功能分解 的，通常要在分析、设计与实现等阶段间进行多次迭代。 的特点，使之不足明显。面向对象方法则是从问题域中客观存在 (三)形式化方法 的事物出发来构造系统，用对象作为对这些事物的抽象表示，并 随着科技的发展，计算机软件越来越多地被用来执行那些可 以此作为系统的基本构成单位，面 向对象方法和结构化方法的相 能会导致严重后果甚至危及生命的任务，例如宇宙飞船发射、铁 比有了更大的进步。 路安全监控和核反应堆监控等任务，这些系统的软件复杂性远远 · 参考文献： 超过一般软件 ，如何在软件复杂性增加的情况下仍能确保软件执 [1】王健，程虎．系统软件开发过程中的软件工程技术卟计算机 行结果安全可靠至关重要，达到这一 目标的一种途径就是使用形 研究与发展，1996，330~：263—271 式化方法。 [2]Ivar Jacobson．The Road to the Unified Software 软件工程中的形式化方法就是依靠数学模型和计算来描述和 DevelopmentProcessM[]．北京：机械工业出版社，2003 验证一个 目标软件系统的行为和特性，包括需求规格、设计和实 (3】程华农．面向智能体的化工过程运行系统分析、模型化和集 现等，形式化方法最根本的特征就是建立在严格的数学基础上， 成策略的研究[D】．广州：华南理工大学，2002 如果一个方法有 良好的数学基础 (这个基础提供一系列精确定义 4[]FichmanR．G．．Object—OrientedandConventionAnalysis 的概念，如：一致性和完整性，以及定义规范的实现和正确性)， andDesignMethodologiesJ[]．IEEEComput