17、演进中的SDL标准自动化工具及GRL模型变更影响分析

演进中的SDL标准自动化工具及GRL模型变更影响分析

1. SDL标准相关研究

在SDL规范建模方面，基于UML的建模方式有一定优势，但在可执行代码生成或模型导出时，还是应基于SDL模型，可通过TUML - to - SDL转换获得。相关的SDL元模型、派生的UML概要文件、相关的M2M转换以及实现派生方法的组件已公开，可作为未来标准化活动的输入。自动派生未来SDL的UML概要文件对标准化有益，它比手动规范更高效且不易出错。

1.1 相关工作

• SDL元模型和UML概要文件
  • Alanen和Porres研究了上下文无关文法与元模型的关系，可从计算机语言的语法规则自动派生“初始”元模型。XText框架也实现了类似方法。
  • Fischer等人引入“抽象概念”减少手动修改SDL生成元模型的工作量，但“抽象概念”与生成的元类之间的关系需手动建模。
  • Prinz等人和Scheidgen分析了SDL元模型的静态和动态语义，分别用OCL约束定义静态语义，用ASM形式化或专用动作语言形式化动态语义，但未考虑自动派生SDL的UML概要文件。
  • Grammes分析了现有SDL的UML概要文件，提议创建OCL约束来捕获静态语义，但不能确保描述与SDL静态语义匹配，且未基于元模型，无法应用标准化MDE技术。
  • Werner提出“通信系统”的UML概要文件，其静态语义用OCL约束定义，通过XSLT指定与SDL抽象语法的映射，但存在与Grammes方法相同的限制。