模型规约ppt课件

.,模型规约,.,一、相关概念,1、规约（specification）规约是对某一事物所做的详细说明，其具体含义受限于它所说明的事物。如软件规约是对一个软件所应满足的要求进行完整和准确陈述的文件。在软件工程领域，有：功能规约：对软件所应具备的功能的陈述；性能规约：对软件所应具备的性能的陈述；设计规约：对软件设计所做的说明，包括软件的内部结构、组成部分以及各个组成部分之间的关系等；模型规约：对软件分析阶段所获得的各种逻辑模型进行详细说明。,.,一、相关概念,什么是模型1）根据目的对事物进行的抽象描述。2）根据实物、设计图或设想，按比例生成或按其他特征制成的同实物相似的物体。3）把一个数学结构作为某个形式语言（即包括常量符号、函数符号、谓词符号的集合）的解释时，称为模型。如果一个数学结构使得形式理论（形式系统中的一组公式或公理）中的每个公式在这个结构内都解释为真，那么这个数学结构就称为这个理论的一个模型。4）为了理解事物而对事物作出的一种抽象，是对事物的一种无二义性的书面描述。,.,一、相关概念,2、规约是给谁看的观点一：强调人在软件工程中的作用。建立需求模型：为了让设计人员对照此模型顺序地进行设计；建立设计模型：让程序员对照此模型顺序地进行进行编程。强调规约的可读性、易读性。观点二：强调程序设计自动化的目标。从软件的分析、设计到实现均由计算机进行自动处理。强调规约必须能被计算机阅读和理解。方法：形式化描述,.,3、采用何种语言自然语言、形式化语言、计算机辅助软件工程（CASE）4、规约的组织方式问题分离方式：把模型图和它的规约分别进行组织的方式；混合方式：在模型图进行必要的规约说明（UML）5、关于对象约束语言OCLUML不够精细，无法提供与规范有关的所有相关部分，如缺少描述模型中关于对象的附加约束。约束常常用自然语言描述，易造成歧义。人们开发出“形式语言”来表达无歧义的约束，但难于掌握。OCL（ObjectConstraintLanguage）是一种易读易写易掌握的形式语言，不仅用来表达约束，还能用来对UML图中的任何元素写表达式。每个表达式都能指出系统中的一个值或对象。OCL可用来定义系统建模功能的前置条件和后置条件，还可用来描述UML图中使用的控制点，或者其他图中从一个对象到另一个对象的转移。,.,二、类的规约,1、类规约对类图中每个类给出的详细和准确的定义与描述的文档，称为类规约。类规约包括对整个类的解释，对其中每个属性和操作的确切定义，以及对该类与其他类之间的关系的说明。2、目标与措施（1）目标-完整性：对每个模型元素的确切定义，以及通过它们之间的关系所体现的体系结构信息；-易读性：使模型规约中给出的信息容易被人阅读和理解；-支持软件复用：使模型规约中提供的信息容易在其他系统中复用；-支持部分模型信息的自动化处理：使尽可能多的模型信息能够在当前技术条件下被计算机阅读和理解，并自动转换为源程序。,.,（2）措施-采用分离方式-采用格式化的描述方式（设计成表，规定好相应栏目）-自然语言与形式化语言相结合（需要由人理解的模型信息，采用自然语言描述；需要由计算机自动处理和转换的模型信息，采用形式化语言描述）-在类的规约中定义类之间的关系-对于有向关系只在其源端的类中进行描述3、类规约的内容包括：类的总体说明、属性说明、操作说明（1）类的总体说明-类名（中英文）-类的解释（所起作用）-一般类（列出所有被该类直接继承的一般类）-主动性-永久性（是否需要永久存储）,.,-辅助模型（访问路径和文件名）-其他（2）属性说明-属性名、数据类型-属性解释（属性的作用）-多态性-关联、聚合或组合（如果属性的数据是另一个类的名字，则该属性的值就是那个类的对象实例，表明该属性实现了一个组合关系；如果属性的数据是指向另一个类的指针或对象标识，则表明该属性实现了一个关联或聚合关系，此处指明；）-其他（3）操作说明-操作名、输入参数、返回类型-操作解释（所完成的功能）-主动性,.,-多态性-消息发送：需要向哪些对象（接收者）发送什么样的消息（消息类型）-操作流程（活动图或流程的访问路径和名字）-其他（前置条件、后置条件、响应时间、可见性等）4、类规约的组织格式类规约的内容采用巴科斯范式来描述其语言，其符号意义如下：其中的内容可重复0次到多次；：其中的内容可缺省；|：或：其中的内容在应用时被实际内容替换,.,.,三、其他模型图的规约,用况