软件工程讲义_第10章构件级设计建模教案分析.ppt

对象约束语言 对象约束语言 该OCL语句定义一个不变量——也就是必须在一些行为之前(pre)和之后(post)存在的条件。开始的时候，前置条件建立了一个由客户指定的价格上限和交付期限，并且任务授权必须设置为”no”。确定价格上限和交付期限之后，将应用后置条件。还需要注意的是，表达式self.jobAuthorization=‘yes’并不是用来设置”yes”值，而是声明在操作结束时必须将jobAuthorization设置为”yes”。 设计传统构件 传统软件构件的构件级设计基础在20世纪60年代已经形成，Dijkstra等人提出，所有程序都可以建立在一组限定好的逻辑构造之上，这一组逻辑构造强调了“对功能域的支持”，其中每一个逻辑结构有可预测的逻辑结构(structure)，从顶端进入，从底端退出，读者可以很容易地理解过程流。 这些逻辑构造包括顺序型、条件型和重复型。这些逻辑构造是结构化编程的基础，而结构化编程是构件级设计的一种重要技术。 图形化设计表示 图10-10 流程图构造 图形化设计表示 一般来说，如果需要从一组嵌套的循环或条件中退出，完全依赖结构化的构造将导致效率降低。更重要的是，退出路径上的复杂逻辑检验将会使软件的控制流不清晰，增加出错的可能，降低可读性和可维护性。 设计人员有两种选择：(1)重新设计过程表示，保证内层嵌套的控制流中不需要退出分支;(2)以受控方式突破结