第三章 元建模.pdf

第三章 元建模技术 第三章 元建模技术 1、领域特定的语言 产生及建立 2、技术基础 元建模技术概述 3、UML外廓 利用UML外廓定义元模型 4、MOF 使用元对象基础设施定义元模型 5、元建模工具现状 3.1 领域特定的语言 3.1 领域特定的语言 （ Domain-Specific Language ，DSL ） MARJAN MERNIK, et al. When and How to Develop Domain-Specific Languages ACM Computing Surveys, Vol. 37, No. 4, 2005 领域特定的语言 是用于特定应用领域的语言，与通用的（编程、建模）语言相比，在表达力、 易用性和维护性方面具有优势。 曾称：application-oriented, special purpose, specialized, task-specific, fourth- generation , or application languages. 益处： 除了定义外，用于分析、验证、优化、并行化、转换，而用通用化语言难以做 到或不易定义。 构造难点： 领域知识+语言开发技术和经验 DSL的可执行性： • 具有定义良好可执行语义，如Excel 宏语言, HTML • 应用生成器的输入语言， ATMOL用于大气建模，能据其生成代码 • 纯的声明性语言，如BNF，它具有解析器 • 不可执行的，如特定领域的数据结构表示，用于specialized editors, pretty printers, consistency checkers, analyzers, and visualizers. 例如：Microsoft Excel 宏语言是用于电子表格应用的DSL， Excel 的实现已经发在 COM库中，C++, Java和 Basic可通过COM接口结合该宏语言编程。 DSL开发阶段 决策、分析、设计、实现、部署 ——这些阶段不一定是顺序的 一、决策 一、决策 按定义衡量，新的DSL要增加表达力、易用性和维护性，减少对编程知识 的要求。 用OWL-Light描述Web本体 对同类任务用DSL描述，再自动生成代码 复杂的数据结构难易编码和维护，可使用DSL展现数据 使用DSL遍历复杂的数据结构，如 用S-XML描述XML处理 用DSL描述复杂、重复的的人机交 互的输入，如Excel宏语言编程 二、分析 二、分析 输入：诸如技术文献、领域知识、通用编程语言代码、代码库、代码框架、客 户调查等 输出：特定领域术语和语义 多数是非正式的 有些方法可用于SDL分析：DARE (Domain Analysis and Reuse Environment) , DSSA (Domain-Specific Software Architectures), FAST (Family-Oriented Abstractions, Specification, and Translation), FODA (Feature-Oriented Domain Analysis), ODE (Ontology-based Domain Engineering) or ODM (Organization Domain Modeling). F