2.绪论软件开发方法的演化与最新趋势.ppt

北京大学软件与微电子学院面向对象技术高级课程绪论:软件开发方法的演化与最新趋势 蒋严冰 目录 第一部分 引言:系统/方法/模型/语言 第二部分 历史:结构化/E-R/状态/规则… 第三部分 现状:OO/AO/Agent/… 第四部分 扩展机制与元模型 第五部分 趋势:SOA与MDA 关键词:系统 模型 方法 方法论 语言 元模型… 第一部分 引言 系统 模型 科学模型 工程模型 软件模型 方法与方法论 语言 系统 相互作用的多元素的复合体——贝塔朗菲 多元性 相关性或相干性 整体性 相互作用和相互依赖的若干组成部分结合成的具有特定功能的有机体——钱学森 由许多部分组成 部分之间存在着相互关联、相互作用、相互制约 具有某种功能的整体 整体的功能性 整体大于部分之和——亚里士多德 史记.孟尝君列传 齐闵王二十五年，复卒使孟尝君入秦，昭王即以孟尝君为秦相。人或说秦昭王曰：“孟尝君贤，而又齐族也，今相秦，必先齐而后秦，秦其危矣。”于是秦昭王乃止。囚孟尝君，谋欲杀之。孟尝君使人抵昭王幸姬求解。幸姬曰：“妾愿得君狐白裘。”此时孟尝君有一狐白裘，直千金，天下无双，入秦献之昭王，更无他裘。孟尝君患之，遍回客，莫能对。最下坐有能为狗盗者，曰：“臣能得狐白裘。”乃夜为狗，以入秦宫臧中，取所献狐白裘至，以献秦王幸姬。幸姬为言昭王，昭王释孟尝君。孟尝君得出，即驰去，更封传，变名姓以出关。夜半至函谷关。秦昭王后悔出孟尝君，求之已去，即使人驰传逐之。孟尝君至关，关法鸡鸣而出客，孟尝君恐追至，客之居下坐者有能为鸡鸣，而鸡齐鸣，遂发传出。出如食顷，秦追果至关，已后孟尝君出，乃还。 系统的结构 静态结构 系统处于尚未运行或停止运行状态时各部分之间的基本联接方式 动态结构 系统处于运行过程中所体现出来的各部分之间的相互依存,相互支持,相互制约的关联方式 时间结构 系统组成部分依赖于时间流程所体现出来的关联方式 空间结构 系统组成部分依赖于空间的分布、排列或者配置所决定的关联方式 时空结构 系统组成部分既依赖于空间又依赖于时间的关联方式 模型 模型在日常生活中无处不在 模型在科学研究与工程中广泛使用 模型对人类活动至关重要 盖伦体液论导致放血疗法 牛顿万有引力论揭开了人类探索宇宙的序幕 无模型和有模型的区别 科学模型 卡尔·波普尔（Karl Popper） 人类知识划分为七大类 第一类：常识 第二类：经验性知识 第三类：神话故事、传说 第四类：科学知识 第五类：哲学 第六类：艺术知识 第七类：宗教 科学理论和人类所掌握到的一切知识，都不过是推测和假想，人在解决问题的过程中不可避免地掺入了想象力和创造性，好让问题能在一定的历史、文化框架中得到解答。人们只能依靠仅有的数据来树立这一科学理论，然而，此外又不可能有足够多的实验数据，能证明一条科学理论绝对无误。 科学的理论就是可被证伪的理论，可证伪性是科学的不可缺少的特征，科学的增长是通过猜想和反驳发展的，科学起始于问题而又终于问题，即“问题———猜测———反驳———问题”，循环往复，这就是科学家进行科学探索的方法论模式。 他们做什么? 在工程师构造实物以前... 工程模型:某些系统简化的表示 …于是见公输盘，子墨子解带为城，以牒为械，公输盘九设攻城之机变，子墨子九距之。公输盘之攻械尽，子墨子之守围有余…《墨子.公输》 夫未战而庙算胜者，得算多也，未战而庙算不胜者，得算少也。多算胜，少算不胜，而况于无算乎！——《孙子兵法.计篇》 有用模型的特征 抽象 强调重要的方面忽略无关的方面 可理解 以一种对观察者容易理解的方式表现 可模拟 模仿其代表的事物的结构与行为 精确 忠实的反映被建模系统 预言 可用来导出关于被建模系统的正确结论 便宜 比被建模系统更便宜构造及学习 转化 模型可以转化为现实事物 模型的问题 软件模型… “…bubbles and arrows, as opposed to programs, …never crash” 关于软件模型的问题 模型的定义 微软的电子百科全书（Encarta Encyclopedia）： 1.一个对象的副本 特别是比原始对象规模小的副本。 2. 简化版本 复杂事物的简化模型，用于分析解决问题或进行预测。 J.Rothenberg 建模的本质 广义上讲，建模就是为了某一认知的目的，有效益地用某一事物代替另一事物。它允许我们为了某些特定目的，用比现实简单、安全或便宜的事物替代现实事物。模型为了特定目的替代现实；模型是对现实的抽象，是因为它不能表示现实的所有方面。模型使得我们以一种简单的方式认识改造世界，避免现实中的复杂、危险和不相关性。  软件开发中模型的作用 软件开发中模型的作用 模型的重要性 便于更好地理解我们正