高品质的音视频能力是怎样的? | Qcon 全球软件开发大会·上海站邀请函 了解详情
写点什么

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

  • 2008-04-22
  • 本文字数:1038 字

    阅读完需:约 3 分钟

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

2008-04-22 00:29640
用户头像

发布了 225 篇内容, 共 55.3 次阅读, 收获喜欢 43 次。

关注

评论

发布
暂无评论
发现更多内容

我看JAVA 之 基本数据类型与封装类型

awen

Java 源码 基本数据类型

我看JAVA 之 Annotation

awen

Java 源码 jdk 注解 annotation

周末调整

IT蜗壳-Tango

七日更 28天写作 2月春节不断更 IT蜗壳

万绿丛中一点红——雷斯多夫效应

Justin

心理学 交互设计 28天写作 游戏设计

Linux入门篇 —— Linux 用户与组管理详解(system-config-users && 命令行)

若尘

Linux 命令行 用户

【管理笔记14】行销活动的意义及范围

俊毅

28天写作

Nginx中常见header配置及修改

运维研习社

nginx Linux

记忆这件“小事”「Day 7」

道伟

心理学 28天写作

LiteOS:SpinLock自旋锁及LockDep死锁检测

华为云开发者联盟

死锁 LiteOS 自旋锁 SpinLock LockDep

我看JAVA 之 Thread & ThreadLocal

awen

Java 源码 多线程

深入解读华为云细粒度文本情感分析及其应用

华为云开发者联盟

AI 华为云 情感分析 语言语义 文本情感分析

产品迭代最有力的工具:每周产品讨论会

boshi

产品策略 七日更

我看JAVA 之 枚举类型

awen

Java 源码 jdk 枚举

《经济学人》2021年2月27日刊精彩文章导读及资源下载

wbliu85

前端170面试题+答案学习整理(良心制作)

我是哪吒

程序员 面试 大前端 28天写作 2月春节不断更

(28DW-S8-Day7) 比特币原始文献略读

mtfelix

比特币 区块链 白皮书 28天写作 工作量证明

写给 Go 初学者的指北

Rayjun

Go 语言

我看JAVA 之 Class

awen

Java 源码 jdk class

28天瞎写的第二百四十五天:怎么样开始练习冥想?

树上

冥想 28天写作 正念

简单脚本监控SSL证书,并到期提醒续签

运维研习社

优雅地停止Spring Boot应用

韩斌

Linux常见IO分析工具

运维研习社

智能客服+智能助手,这波“数字员工”的业务能力太强了!

华为云开发者联盟

华为 AI 数字 智能客服 智能助手

如何学习一项技能

不在调上

探索图神经网络的网络架构和训练方法

华为云开发者联盟

神经网络 AI 图神经网络 网络架构 GNNs

多年阅读《经济学人》是一种什么体验?

wbliu85

元宵佳节快乐哦

Nydia

开源镜像仓库Harbor的镜像安全

运维研习社

Docker 安全 Harbor CI/CD

如何探索自己的职业价值观,让工作更有动力

一笑

28天写作

从萧何进入咸阳丞相府到数字化时代的决策

数列科技杨德华

28天写作

Elasticsearch 相关度评分

escray

elastic 七日更 28天写作 死磕Elasticsearch 60天通过Elastic认证考试 2月春节不断更

在模型驱动工程中结合通用语言和领域特定语言_架构_Jean-Jacques Dubray_InfoQ精选文章