UML (Unified Modeling Language) 。￥ 统一建模语言是可视化的设计说明语言 -统一了Booch、Rumbaugh和Jacobson的表示方法 ·Booch:描述对象集合和它们之间关系的方法 ·Rumbaugh:对象建模技术(OMT) ·Jacobson:用例方法 一统一描述系统的硬件和软件，对系统的功能建模 -可自动产生实际设计的HDL或C++代码 I-Logix公司的Rhapsody系列产品 一用于建立软件系统模型，也可以描述非软件系统 ·机械系统，企业机构，业务过程，信息系统 ·NASA火星探路者：运用Rhapsody在VxWorks.上开发 一通过表达系统的需求使软件系统的模型文档化 llxx@ustc.edu.cn 6/112
UML(Unified Modeling Language) • 统一建模语言是可视化的设计说明语言 – 统一了Booch、Rumbaugh和Jacobson的表示方法 • Booch：描述对象集合和它们之间关系的方法 • Rumbaugh：对象建模技术（OMT） • Jacobson：用例方法 – 统一描述系统的硬件和软件，对系统的功能建模 llxx@ustc.edu.cn 6/112 – 可自动产生实际设计的HDL或C++代码 • I-Logix公司的Rhapsody系列产品 – 用于建立软件系统模型，也可以描述非软件系统 • 机械系统,企业机构,业务过程,信息系统 • NASA火星探路者：运用Rhapsody在VxWorks上开发 – 通过表达系统的需求使软件系统的模型文档化
UML方法 Rumbaugh Booch Jacobson Odell Meyer 分类 预先和后续的条件 变 UML Shlaer-Mellor Harel 对象生命周期 状态图表 Gamma et al. Wirfs-Brock 框架、模式、注释 响应能力 如@百博 Embly Fusion 单元素类 操作描述，消息编号方式 llxx@ustc.edu.cn 7/71
UML方法 llxx@ustc.edu.cn 7/71
A Historical Perspective USTC 可lG INCOSE US D.O.D OO Programming 日0och ADA Bell Labs Eiffel SysML Smalltalk XEROX PARC Simula Wirfs-Brock C++ SPEM acC.ecC.... ooS MOF UML BPMN Shlaer/Mellor XMI Structured Method: Coad/Yourdon DDS SA&SD Entity Modelling OM Event Modellingi Martin/Odell MDA yrs'60 yrs'70 yrs'80 ys'90 yrs2000 llxx@ustc.edu.cn 8/71
A Historical Perspective OO Programming : ADA Eiffel Smalltalk Booch Wirfs-Brock Bell Labs US D.O.D SysML INCOSE llxx@ustc.edu.cn 8/71 XMI yrs ’60 yrs ’70 yrs ’80 yrs ’90 yrs2000 Smalltalk Simula C++ Shlaer/Mellor Coad/Yourdon Wirfs-Brock Jacobson: OOSE Martin/Odell Rumbaugh: OMT XEROX PARC ecc. ecc..... Structured Method: SA&SD Entity Modelling Event Modellingi MDA UML SPEM DDS BPMN MOF
UML Roots and Evolution:UML2 -------…2009 UML 2.3 --------2005 UML 2.0(MDA) 2003 UML 1.5(Action Semantics) UML 1.4 (bug fixes) UML 1.3(profiles) UML 1.1(First OMG Standard) 1996 Rumbaugh Booch Harel Jacobson Semantic Foundations of OO(Nygaard,Goldberg,Meyer, Stroustrup,Harel,Wirfs-Brock,Reenskaug,...) 9/71 1967
UML Roots and Evolution: UML2 llxx@ustc.edu.cn 9/71
UML的概念模型 UML的视图 - 用例视图-表示系统的功能和场景（用例图） 一结构视图-表示系统的静态或空闲的状态（类图/对象图） 行为视图-表示系统的状态变化（顺序/协作/状态/活动图） - 实现视图-表示系统的逻辑元素的分布（组件图) - 环境视图-表示系统的物理元素的分布（部署图） 对系统的功能建模 一用例模型：解释用户的要求 结构视图 实现视图 类模型：描述其静态结构 用例 - 交互模型：描述消息流 视图 一状态模型：表示对象的动态行为 行为视图 环境视图 实现模型：工作单元分布 部署模型：进程分配。应用与环境 (OS+HW)绑定 llxx@ustc.edu.cn 10/112
UML的概念模型 • UML的视图 – 用例视图–表示系统的功能和场景（用例图） – 结构视图–表示系统的静态或空闲的状态（类图/对象图） – 行为视图–表示系统的状态变化（顺序/协作/状态/活动图） – 实现视图–表示系统的逻辑元素的分布（组件图） – 环境视图–表示系统的物理元素的分布（部署图） llxx@ustc.edu.cn 10/112 – 环境视图–表示系统的物理元素的分布（部署图） • 对系统的功能建模 – 用例模型：解释用户的要求 – 类模型：描述其静态结构 – 交互模型：描述消息流 – 状态模型：表示对象的动态行为 – 实现模型：工作单元分布 – 部署模型：进程分配。应用与环境（OS+HW）绑定 用例 视图 结构视图 行为视图 实现视图 环境视图