Executable UML模型驱动开发

　　作者DraganMilicev认为，肯定可以提高软件开发效率。在这一理念的支撑下，他提出了一种可以在软件开发中提高抽象层次并减少偶发复杂性的方法。本书内容全面，重点讲述了可执行的UML配置文件，以及一种通过使用建模节省大量时间并避免人为错误的有效方法。《ExecutableUML模型驱动开发》是一本有关模型驱动开发的深入教程，重点讲述了信息系统，并详细描述了该系统的含义。阅读本书后您会发现，可以通过使用对象范式、模型驱动的开发以及形式化且可执行的UML配置文件，更好地理解信息系统并实现更高效的开发。书中提供的示例有助于演示开发过程，并且展示了如何使用UML构建信息系统。此外，（（ExecutableUML模型驱动开发》还全面描述了面向对象的基本概念，进一步讨论了面向对象和信息系统开发的全面结合，以及如何处理在系统开发中面临的挑战。主要内容◆信息系统的特征及信息系统开发的过程模型◆用于构建信息系统的主流技术的优点、常见问题以及其影响开发的方式◆介绍在构建信息系统中应用的对象范式◆在构建信息系统中很可能需要使用UML的概念及各个部分读者对象本书适用于分析、指定、设计、建模、开发或测试信息系统的软件从业人员。通过学习书中内容有助于扩展他们的知识，使用可执行的uML进行模型驱动的快速应用程序开发来提高工作效率。

　　米利塞维，Dragan Milicev博士是贝尔格莱德大学电子工程学院计算机科学系的副教授。他是Serbian Object Laboratories d.o.o.（SOL，www.sol.rs）公司的创始人兼CTO，这是一家软件开发公司，致力于使用模型驱动的技术构建软件开发工具，并构建自定义应用程序和系统。在构建复杂的软件系统方面，Dragan Milicev拥有25年的丰富经验，曾在20多个学术和国际行业项目中担任首席软件架构师、项目经理或顾问。值得一提的是他曾担任大部分SOL项目及其产品的首席软件架构师和项目经理，这些SQL产品包括：SOLoist，一个用于信息系统的快速应用程序模型驱动开发架构；SOL UML Visual Debugger，世界上首批UML可视化调试程序之一，针对UML建模工具Poseidon而设计；SOL Java VisualDebugger，用于Eclipse的插件，支持使用UML对象图表对测试对象结构建模。他曾在大部分知名的科学和专业的报刊、杂志上发表论文，为模型驱动的开发和UML的理论和实践作出了巨大贡献。Dragan Milicev以前曾在塞尔维亚出版了3本有关C++、面向对象编程和UML的书籍。

第1部分 概述
第1章 信息系统建模
1.1 信息系统的定义
1.2 模型和建模范式、语言及工具
1.2.1 建模
1.2.2 建模语言
1.2.3 建模工具
1.2.4 建模范式
1.3 过程和方法
第2章 传统的IS开发方法
2.1 传统建模范式的特征
2.2 可用性方面
2.3 开发方面
2.3.1 范围中断
2.3.2 语义中断
2.3.3 开发阶段中断
2.3.4 中断的含义
2.3.5 用户界面开发问题
第3章 对象范式
3.1 面向对象建模
3.2 统一建模语言
3.2.1 UML的特征
3.2.2 UML的配置
3.3 传统的OO开发方法
3.4 所期望的面向对象信息系统的特征
3.4.1 可用性方面
3.4.2 开发方面
3.5 本书其余部分的内容
第2部分 OOISUML概述
第4章 入门
4.1 00ISUML的主要特性
4.2 00ISUML的组织
第5章 基本的语言概念
5.1 类和属性
5.1.1 需求
5.1.2 概念
5.1.3 交互表现形武
5.1.4 FAQ
5.2 关联
5.2.1 需求
5.2.2 概念
5.2.3 交互表现形式
5.2.4 FAQ
5.3 泛化／特化关系
5.3.1 需求
5.3.2 概念
5.3.3 交互表现形式
5.3.4 FAQ
5.4 操作
5.4.1 需求
5.4.2 概念
5.4.3 交互表现形式
5.4.4 FAQ
5.5 多态性
5.5.1 需求
5.5.2 概念
5.5.3 交互表现形式
5.5.4 FAQ
5.6 一致性规则
5.6.1 需求
5.6.2 概念
5.6.3 交互表现形式
5.6.4 FAQ
第6章 交互和查询
6.1 自定义表现
6.1.1 需求
6.1.2 概念
6.1.3 交互表现形式
6.1.4 FAQ
6.2 自定义行为
6.2.1 需求
6.2.2 概念
6.2.3 交互表现形式
6.2.4 FAQ
6.3 查询
6.3.1 需求
6.3.2 概念
6.3.3 交互表现形式
6.3.4 FAQ
第3部分 概念
第7章 一般概念
7.1 00ISUML的二分法
7.1.1 特化／实现和分类器／实例二分法
7.1.2 建模和执行
7.1.3 编译和解释
7.1.4 基本概念和派生概念
7.1.5 形式化概念和非形式化概念
7.1.6 结构和行为
7.1.7 核心部分和扩展部分
7.1.8 模型元素和图表
7.2 一般的语言概念
7.2.1 元素和注释
7.2.2 包
7.2.3 名称空间和可见性
7.2.4 依赖
7.2.5 多重性元素
第8章 类和数掘类型
8.1 类和数据类型的共有特征
8.1.1 类和数据类型的概念
8.1.2 作为分类器的类和数据类型
8.2 类和数据类型的不同特征
8.2.1 标识
8.2.2 特性
8.2.3 复制语义
8.2.4 生存期
8.3 实例的创建和销毁
8.3.1 动作
8.3.2 构造函数
8.3.3 创建型对象结构
8.3.4 析构函数
8.3.5 对象的传播销毁
8.4 数据类型
8.4.1 原始数据类型
8.4.2 枚举
8.4.3 内置和用户定义的数据类型
第9章 属性
9.1 作为结构特性的属性
9.1.1 作为多重性类型元素的属性
9.1.2 静态属性
9.1.3 只读属性
9.1.4 冻结属性
9.1.5 派生属性
9.1.6 属性的重新定义
9.2 对属性执行的动作
9.2.1 读取属性动作
9.2.2 写入属性动作
9.2.3 符号null
……
第10章 关联
第11章 约束
第12章 查询
第13章 操作和方法
第14章 状态机
第15章 协作和交互
第4部分 命令、表示和体系结构
第5部分 方法
第6部分 补充内容
参考文献