BT

如何利用碎片时间提升技术认知与能力? 点击获取答案

在模型驱动工程中结合通用语言和领域特定语言

| 作者 Jean-Jacques Dubray 关注 3 他的粉丝 ,译者 郭晓刚 关注 0 他的粉丝 发布于 2008年4月23日. 估计阅读时间: 3 分钟 | QCon上海2018 关注大数据平台技术选型、搭建、系统迁移和优化的经验。

Mendix公司的CTO Johan den Haan在最近的一篇博客中问了模型驱动方式(架构、开发、工程)中的一个关键问题:

模型驱动工程(Model Driven Engineering)的基本原则是“所有东西都是模型”。模型及模型的组成元素属于一等公民。最根本的改变是模型不再只作为文档供程序员阅读,它们可以直接用来驱动软件开发。

……当为了MDE而定义一种语言的时候,不免会遇到疑问——某个特定元素到底应该用领域特定语言还是通用语言来定义呢?

Johan认为:

在大多数情况下都是通用语言和领域特定语言两者择一,但我想两种方式可以结合起来各展所长。

这篇文章还很有知识性。它首先给出了模型和元模型的清晰定义,清楚地展示了OMG定义的M0、M1、M2和M3级的模型驱动架构。Johan还界定了语言学元模型(linguistic metamodel)和本体论元模型(ontological metamodel)的区别:

语言学元模型定义一个模型的语言(包括抽象句法、类型语义、静态语义和动态语义),本体论元模型定义模型的内在语义。内在语义描述被建模的资源的“内部含义”,为概念的推演提供基础。

他总结说:

本体论是定义描述性语言的基础,例如一些定义“what”而非“how”的语言。完整的建模手段两个方面[语言学和本体论]都需要。

Johan还解释了本体论元模型层次(hierarchies)的重要性。他认为这个层次应该以技术层面为底层,支撑着上一层的领域本体论,再支撑着更上一层的模型。随后他把语言学元模型和软件工件的生成联系在一起。

对于面向对象,Johan主张:

  • 保持语言定义小而简单,
  • 保持虚拟机稳定,即使在重大的(库)概念重组的情况下,
  • 给用户最大程度的剪裁能力(用户可以改变或者扩展一个库,但不可以改变核心的语言概念)

接着Johan举了“业务过程建模”的例子:

对于将BPMN(OMG,2006)和BPEL4WS(OASIS,2007)作为业务过程建模的通用语言,有着许多讨论。BPMN被用于定义分析和文档方面的业务过程,BPEL4WS则被用于定义可执行的业务过程。

他在例子中描述了一个严格的元模型层次,组成部分有一个模型层、一个领域层、一个服务层,BPEL作为抽象的、平台无关的概念,BPMN则作为语言层。他认为:

这个元模型层次使得定义一种[BPMN和BPEL之间的] 变换非常容易。

Johan最后总结:

[他所作的]设计决策非常有利于定义领域特定语言。首先,最终得到的DSL很容易变换成可工作的软件。其次,[他所]演示的方法可以结合来自通用语言和领域特定语言的概念。
查看英文原文:Combining General Purpose Languages and Domain Specific Languages for Model Driven Engineerin

评价本文

专业度
风格

您好,朋友!

您需要 注册一个InfoQ账号 或者 才能进行评论。在您完成注册后还需要进行一些设置。

获得来自InfoQ的更多体验。

告诉我们您的想法

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我
社区评论

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我

讨论

登陆InfoQ,与你最关心的话题互动。


找回密码....

Follow

关注你最喜爱的话题和作者

快速浏览网站内你所感兴趣话题的精选内容。

Like

内容自由定制

选择想要阅读的主题和喜爱的作者定制自己的新闻源。

Notifications

获取更新

设置通知机制以获取内容更新对您而言是否重要

BT