Binding
绑定
--------------------------------------------------------------------------------
通过将一个抽象的概念与附加特性相联系，从而使一个抽象概念具体化的过程。
例如，把一个进程与一个处理机、一种类型与一个变量名、一个库目标程序与子程序中的一个符号引用等分别关联起来。
在逻辑程序设计中，用面向对象语言将一个方法与一个消息相关联，从抽象的描述建立具体的实例。
绑定有时又译为联编、结合等。然而译为绑定既可表音，又能达义，在计算机专业英语的汉译中能达到这一境界的诚然不多。
绑定在许多计算机领域中都存在太多的实例。面向对象程序设计中的多态性特征将这一概念发挥得淋漓尽致。程序在运行期间的多态性取决于函数名与函数体相关联的动态性，只有支持动态绑定的程序设计语言才能表达运行期间的多态性，而传统语言通常只支持函数名与函数体的静态绑定[5]。
还可为绑定找到一个更通俗的实例。将配偶这一抽象概念与某位异性相关联，这一过程称作绑定。指腹为婚是为静态绑定，自由恋爱是为动态绑定。现有的面向对象程序设计语言都不允许离婚或重婚，但在一定程度上允许再婚。
□
--------------------------------------------------------------------------------
Complexity of Large Problems
大问题的复杂性
--------------------------------------------------------------------------------
随着问题规模的增长，复杂性呈非线性增加的效应。
这是区分和选择各种方法的重要因素。以此来度量不同的数据规模、问题空间和程序规模。
假如我们编写的程序只是处理全班近百人的成绩排序，选择一个最简单的排序算法就可以了。但如果我们编写的程序负责处理全省几十万考生的高考成绩排序，就必须认真选择一个排序算法，因为随着数据量的增大，一个不好的算法的执行时间可能是按指数级增长的，从而使你最终无法忍受等待该算法的输出结果。
软件设计中的许多机制正是面向复杂问题的。例如在一个小小程序中标识符的命名原则是无关重要的，但在一个多人合作开发的软件系统中这种重要性会体现出来；goto语句自由灵活、随意操控，但实践证明了在复杂程序中控制流的无序弊远大于利；结构化程序设计已取得不错成绩，但在更大规模问题求解时保持解空间与问题空间结构的一致性显得更重要。
从某种意义上说，程序设计技术发展至今的两个里程碑（结构化程序设计的诞生和面向对象程序设计的诞生）都是因为应用领域的问题规模与复杂性不断增长而驱动的。
□
--------------------------------------------------------------------------------
Conceptual and Formal Models
概念和形式模型
--------------------------------------------------------------------------------
对一个想法或问题进行形式化、特征化、可视化和思维的各种方法。
例如，在逻辑、开关理论和计算理论中的形式模型，基于形式模型的程序设计语言的风范，关于概念模型，诸如抽象数据类型、语义数据类型以及用于指定系统设计的图形语言，如数据流和实体关系图。
概念和形式模型主要采用数学方法进行研究。例如用于研究计算能力的常用计算模型有图灵机、递归函数、λ演算等；用于研究并行与分布式特性的常用并发模型有Petri网、CCS、π演算等。
只有跨越了形式化与非形式化的鸿沟，才能到达软件自动化的彼岸。在程序设计语言的语法方面，由于建立了完善的概念和形式模型，包括线性文法与上下文无关文法、有限自动机与下推自动机、正则表达式与巴克斯范式等，所以对任何新设计语言的词法分析
与语法分析可实现自动化，典型的软件工具有lex和yacc。
在形式语义方面，虽然操作语义学、指称语义学、公理语义学和代数语义学四大流派均取得不少成果，但语义分析工具目前还仅限于实验室应用。
至于程序设计语言的语用方面，由于严重缺乏概念和形式模型，人们对语言的语用知之甚少，更谈不上什么自动化工具。
□
--------------------------------------------------------------------------------
Consistency and Completeness
一致性和完备性
--------------------------------------------------------------------------------
在计算机中一致性和完备性概念的具体体现包括诸如正确性、健壮性、可靠性这类相关的概念。
一致性包括用作形式说明的一组公理的一致性、观察到的事实与理论的一致性、一种语言或接口设计的内部一致性等。正确性可看作部件或系统的行为对声称的设计说明的一致性。
完备性包括给出的一组公理使其能获得预期行为的充分性、软件和硬件系统功能的
充分性、以及系统处于出错和非预期情况下保持正常行为的能力。
一致性与完备性是一个系统必须满足的两个性质，在形式系统中这两个性质更加突出。如果你提出了一个公理系统，人们首先会质问的问题就是该系统是否一致的？该系统是否完备的？
一致性是一个相对的概念，通常是在对立统一的双方之间应满足的关系，例如实现相对于规格说明的一致性（即程序的正确性）、数据流图分解相对于原图的一致性、函数实现相对于函数原型中参数、返回值、异常处理的一致性等。
完备性也应该是一个相对的概念，通常是相对于某种应用需求而言。完备性与简单性经常会产生矛盾，应采用折衷的方法获得结论。
□
--------------------------------------------------------------------------------
Efficiency
效率
--------------------------------------------------------------------------------
关于诸如空间、时间、人力、财力等资源耗费的度量。
例如，一个算法的空间和时间复杂性理论的评估。
可行性是表示某种预期的结果（如项目的完成或元件制作的完成）被达到的效率，以及一个给定的实现过程较之替代的实现过程的效率。
对算法的时空效率进行分析是最常见的一个实例。但设计与实现算法的人力、财力等资源耗费经常会被忽略。销量好象Windows一样的商品化软件投入再多人力、财力也在所不惜，但作为普通的应用软件当然不值得这样精益求精。
与其他商品的生产一样，软件生产不能单纯追求产品的性能，同样重要的是提高产品的性能价格比。软件产业追求的目标不仅仅是软件产品运行的效率，而且还包括软件产品生产的效率。
考虑效率的最佳方法是将多个因素综合起来，通过折衷获得结论。
□
--------------------------------------------------------------------------------
Evolution
演化
--------------------------------------------------------------------------------
更改的事实和它的意义。更改时各层次所造成的冲击，以及面对更改的事实，抽象、技术和系统的适应性及充分性。
例如，形式模型随时间变化表示系统状况的能力，以及一个设计对环境要求的更改和供配置使用的需求、工具和设备的更改的承受能力。
演化要表达的实际上是生命周期的概念，软件设计活动贯穿了整个软件生命周期，包括各种类型的系统维护活动。
在工业生产的并行工程中采用了一系列称为DFX的技术，如Design For Assembling、Design For Manufacturing等，主张在设计阶段就全面考虑产品的整个生命周期。可以说在软件开发中早就采用了与DFX类似的技术，毕竟在软件生命周期中维护期占的比例更大。
□
--------------------------------------------------------------------------------
Levels of Abstraction
抽象层次
--------------------------------------------------------------------------------
计算中抽象的本质和使用。在处理复杂事物、构造系统、隐藏细节及获取重复模式方面使用抽象，通过具有不同层次的细节和指标的抽象能够表示一个实体或系统。
例如，硬件描述的层次、在目标层级内指标的层次、在程序设计语言中类的概念、以及在问题解答中从规格说明到编码提供的详细层次。
计算机学科为认知论带来的贡献并不多，相反它从其他学科（如数学、科学、工程等）中借用了许多思维方式，而这些思维方式是人类认识与改造世界的基本方法。
抽象是人类认知世界的最基本思维方式之一。罗素曾断言：发现一对鸡、两昼夜都是数２的实例，一定需要很多年代，其中所包含的抽象程度确实不易达到；至于１是一个数的发现，也必定很困难[3:p8]。
近世代数又称抽象代数，其名称与思路均很好地体现了抽象这一思维方式。在许多具体的代数系统中数学家们抽取了群、环、域等抽象代数，而在这些抽象代数中抽取共性，还可提炼出更抽象的概念——范畴[4]，范畴是这些抽象代数的一种抽象。
抽象源于人类自身控制复杂性能力的不足：我们无法同时把握太多的细节，复杂的问题迫使我们将这些相关的概念组织成不同的抽象层次。日常生活中的is-a关系是人们对概念进行抽象和分类的结果，例如苹果是一种水果，水果是一种植物等，生物学采用的界、门、纲、目、科、属、种标准生物分类方法是这一思维方式的经典应用。将这种is-a关系在程序中直接表达出来而形成的继承机制，是面向对象程序设计最重要的特征之一。
在软件设计中太容易找到不同的抽象层次，例如变量→类型、对象→类→ADT[5]、实现→规格说明（程序正确性定义的相对性）、数据流图的分解与平衡等。从绑定这一概念的定义可看出，只有在不同抽象层次的前提下才会存在绑定。
□
--------------------------------------------------------------------------------
Ordering in Space
空间有序
--------------------------------------------------------------------------------
在计算学科中局部性和近邻性概念。
除了物理上的定位（如在网络和存贮中）外，还包括组织方式的定位（如处理机进程、类型定义和有关操作的定位），以及概念上的定位（如软件的辖域、耦合、内聚等）。
正如画家或雕塑家在平面或立体上创造一件艺术杰作，空间有序追求的也是一种空间上的美感。这种美感会真实地存在（例如一份可读性极佳的源程序清单），但更多地是在思维空间之中（例如程序的结构或模块之间的关系）。四年专业训练的目标之一是培养我们良好的审美观。
在软件领域中，这种美感小至程序中的一行注释，大到逻辑上与物理上的模块构成，以致整个软件的体系结构。你是否发现结构化程序比充斥goto语句的程序在空间上更加有序，而面向对象程序通常比结构化程序更具有美感？
软件工程师的桌面上总是整洁的，因为他（她）喜欢空间有序。桌面一蹋糊涂的人可能是天才，但未必能成为一名合格的软件工程师。
□
--------------------------------------------------------------------------------
Ordering in Time
时间有序
--------------------------------------------------------------------------------
按事件排序中的时间概念。
这包括在形式概念中把时间作为参数（如在时态逻辑中）、时间作为分布于空间的进程同步的手段、时间算法执行的基本要素。
时间有序作为一种和协的美存在，其最大特点是在生命周期中表现出的对称性：有对象创建就有对象消亡，有构造函数就有析构函数，有保存屏幕就有恢复屏幕，有申请存储空间就有释放存储空间，...
时间有序与空间有序是天生的一对。程序中时间的有序应尽量与空间的有序保持一致，如果一个对象的创建与消亡分别写在两个毫无关联的程序段中，潜在的危害性是可想而知的。
在并行与分布式系统中，时间有序占有更重要的地位。对并发的同时性考虑的角度不同，导致有两大类不同的并发模型：真并发模型与交错模型。并发系统中的顺序、并发、选择（冲突）、冲撞、混惑等现象均与时间有密切关联。
□
--------------------------------------------------------------------------------
Reuse
重用
--------------------------------------------------------------------------------
在新的情况或环境下，特定的技术、概念或系统成份可被再次使用的能力。
例如，可移植性、软件库和硬件部件的重用，促进软件成份重用的技术，以及促进可重用软件模块开发的语言抽象等。
可能还没有哪一个行业的重用情况会像软件行业这样糟糕。有没有见过哪家汽车生产厂商自己采矿炼钢？有没有见过哪间家具厂自己种林伐木？但这种现象在软件行业却司空见惯。
软件重用的对象除源代码外，还包括规格说明、系统设计、测试用例等，软件生命周期中越前端的重用意义越重大。现有的许多努力都是面向源代码一级的重用，例如程序的模块化、封装与信息隐藏、数据抽象、继承、异常处理等机制，包括当前热门的CORBA、DCOM等利用构件组装软件系统的技术。
软件重用被认为是软件行业提高生产率的有效途径，然而许多技术与非技术因素阻碍了软件重用的应用与推广。从技术上看，只要形式化方法的研究（特别是作为理论基础的形式语义学）没有重大突破，软件重用就不可能有质的飞跃。而非技术因素也不可小觑，其中包括了许多社会的、经济的、甚至心理的因素，人们抵制重用的最常见借口是“not invented here”。
□
--------------------------------------------------------------------------------
Security
安全性
--------------------------------------------------------------------------------
软件和硬件系统对合适的响应及抗拒不合适的非预期的请求以保护自己的能力；计算机设备承受灾难事件（例如自然灾害、人为破坏）的能力。
例如，在程序设计语言中为防止数据对象和函数的误用而提供的类型检测和其他概念，数据保密，数据库管理系统中特权的授权和取消，在用户接口上把用户出错减少到最小的特性，计算机设备的实际安全性度量，一个系统中各层次的安全机制。
这几乎是一个不言自明的话题。例如软件系统处理异常情况的健壮性、硬件系统的容错能力、因特网应用系统防范侵入的措施等。
一个容易忽略的安全性是如何在程序设计过程中防止程序员无意犯错（这些错误通常不会是有意的）。强类型语言在这方面下的功夫远比弱类型语言多，例如数据类型声明防止了对数据的某些非法操作、函数原型声明防止了对函数调用时参数传递的误用、作用域规则防止了不同模块之间对数据的误操作。
另一个容易忽略的安全性是如何在人机交互过程中防止用户无意犯错（在大多数情
况下这些错误也不会是有意攻击）。一个用户界面友好的软件系统除了用户操作方便外，还应提供这方面的帮助，例如用户不会输入像“1999.2.29”这样的日期、在输入公民身份证号码时不会在其中输入英文字母、不会因一次误操作而造成不可挽回的损失。
□
--------------------------------------------------------------------------------
Tradeoffs and Consequences
折衷和结论
--------------------------------------------------------------------------------
计算中折衷的现实和这种折衷的结论。选择一种设计来替代另一种设计所产生的技术、经济、文化及其他方面的影响。
折衷是存在于所有计算机领域各个层次上的基本事实。例如，在算法研究中空间和时间的折衷，对于矛盾的设计目标所采取的折衷（例如易用性与完备性、灵活性与简单性、低成本与高可靠等等），硬件设计的折衷，在各种制约下优化计算能力所蕴含的折衷。
中庸之道是中国的传统哲学，折衷和结论的大意与中庸之道同。鱼与熊掌不可兼得时，必有选择与舍弃。一个省时间的算法通常占用较多空间，而省空间的算法往往在时间上并非最佳，选用哪种算法取决于程序的应用环境。
程序设计中的类属机制[5]是严格性与灵活性这一对矛盾目标的折衷结论。由于强类
型语言通过严格的类型检查提高程序的安全性，编写包容数据结构时会给程序员带来麻烦，类似的程序段可能会大量重复。Smalltalk、CLOS等语言放松了类型检查以获取灵活性，C语言采用指向空值的指针表示通用类型，但这两种折衷方式舍安全性而就灵活性。C++语言提供的类属机制同时实现了这两个目标，显然是一种更理想的折衷结论。
软件设计中还有一些专门技术是针对折衷和结论的。例如在大型程序设计中的“同一界面、不同实现”技术，可为客户程序提供适应各种不同目标的选择。这种风格还体现在分布式计算体系结构的CORBA标准中。
因篇幅问题不能全部显示，请点此查看更多更全内容