UML课件10.pptVIP

其他建模体系 “春笋裹着浅褐色的外衣，像嫩生生的娃娃。”为这句比喻建立模型。 范畴建模 * 其他建模体系 动作建模的问题总是： 一致性 完备性问题 复杂度 这些问题都还没有解决，这个学科——建模技术和形式化方法——依然有待于进一步发展。 范畴建模 * * 面向对象建模技术 面向对象建模技术 面向对象建模技术 面向对象建模技术 信息工程与自动化学院 计算机系/计算机重点实验室 教师：陈星 第十课 元建模和其他建模体系 授课日期：2011年5月16日 ★红色部分属于大纲要求 * UML模型体系 L0：UML 基础结构,包括简单的、面向对象的语言成分。 L1：包括L0的成分，增加用例, 交互、结构活动等。 L2：包括L1的成分，增加部署、状态机等。 L3：完整的UML，除了L2以外，包括建模信息流、模板、模型包等。 UML 4级模型 * UML模型体系 UML基础结构 UML自身的知识也用UML来建模。 * UML模型体系 UML基础结构 UML的基础结构包括核心和概要。 * UML模型体系 核心包 UML基础结构 * UML模型体系 UML PrimitiveType UML基础结构 * UML模型体系 Constructs UML基础结构 * UML模型体系 UML 关于类型的定义 UML基础结构 * UML模型体系 UML 关于分类器和一般化的定义 UML基础结构 * UML模型体系 UML基础结构都可以用UML自身来描述，这种建模方法称为“元建模”（ metamodeling approach ）。 元模型：关于模型的概念体系 UML基础结构 * UML模型体系 四层模型体系和例子 使用元模型是为了模型之间可以相互沟通 UML基础结构 * UML模型体系 UML上层结构 * UML模型体系 顺序图的模型 * UML模型体系 顺序图的模型 * UML模型体系 UML动作语义 * UML模型体系 UML动作语义 UML的交互（ Interactions ） 包括： 顺序图（Sequence Diagram） 通信图（Communication Diagram） 交互纵览图（Interaction Overview Diagram ） * UML模型体系 UML建模总体思想 分解 对一个未知的事物建模，需要逐步分解其组成部分，直到最基本的已知组成。 特性 组成成分 行为方式 分类 对象的公共特性 封装 按相关领域分在不同的包中 * UML模型体系 UML的形式化语义 UML拥有很强的静态语义，但动作语义则不是很充足。因为它目标是： 正确性：可以通过元模型验证模型。 精确性：语法和语义没有含糊不清的 简洁性 一致性：用补充元模型的方式扩展 易理解性 并没有提出摆脱人工编程的目标。 UML并非建模理论和技术的全部。 * 其他建模体系 UML是软件行业界提出的技术手段，目的是统一标准，但UML并不完全是学术界的代表。 形式语义的研究，目的就是为了让形式系统能够自动处理模型，为了把人类枯燥的编程劳动中解放出来。 传统的形式语义学派： 操作语义 指称语义 公理语义 代数语义 形式语义系统 * 其他建模体系 建模理论有一条基本理念： 模型只是现实的一个反映而已，而不能把模型当成现实。（物理学家尤其有这种爱好） 传统的建模技术都有其非常成功的方面，但也只是现实问题的一个投影而已。 范畴论是上世纪40年代发展起来的一种数学理论，今天在计算机科学中拥有很多应用。 范畴系统 * 其他建模体系 数学中的范畴： 由对象集和态射集合组成。 任何一组概念都可以构成对象 态射是二元关系，从一个对象到另一个对象。 除此之外，数学范畴还需要满足以下条件： 态射是复合的 每个对象到自身有一个恒等射ID ID ?a=a ?ID 范畴系统 * 其他建模体系 “一位计算机系的学生，大二时获得了Oracle的oca证书，在大三时获得了软件设计师的资格证书和Oracle的ocp证书”，请为这句话建立模型。 “大二、大三”是什么概念，请逐步精化模型。 函子 范畴系统 * 其他建模体系 建立元模型 利用函子建立元模型与模型的关系 范畴建模 * 其他建模体系 请为有加法和乘法的算术建模 串范畴 等值态射 和对象 加法态射 乘法态射 替换态射 范畴建模 * 其他建模体系 为关系数据建立模型 为XML建立模型 范畴建模 * 其他建模体系 为表格建立模型 动态建模 请为操作“合并单元格”建立动作模型。 把上面建立的模型自动翻译成html 范畴建模 * 面向对象建模技术 面向对象建模技术 面向对象建模技术 *