模型是分析和规范软件工件的基础。本课程向学生详细介绍了不同抽象级别的不同软件模型,以及它们的用途、使用环境和可对其应用的操作。涵盖的主题包括一般建模概述和软件开发环境中的建模概述 - 建模软件行为:流程图、决策表、Petri 网;统一建模语言 (UML);元建模:元对象工具 (MOF);XML/XMI、UML 扩展:配置文件;模型转换:查询/视图/转换 (QVT) 和 Atlas 转换语言 (ATL)。将讨论一些形式语言/方法(OCL、Z、B 等)的简要概述。本课程还将讨论面向方面的建模以及模型驱动开发 (MDD)。学生将接触与这些主题相关的研究文献。