DSL（Domain Specific Language）介绍-低调大师

DSL（Domain Specific Language）介绍

2017-11-15 644

前面介绍过模型驱动开发（MDD）、软件工厂（Software factory）、特定领域建模 DSM（Domain Specific）等都是高抽象的开发方法，这些方法使用的语言都是特定领域语言（DSL）。相比于通用目的语言(C#/C++/JAVA/Delphi等）而言，DSL是一种为了特定任务而设计的开发语言，例如SQL是一种专门处理数据库的语言，本篇将介绍一下DSL。

一种语言

　　我们熟知的编程语言（如C#、Ruby等）是一种通用语言，MDA基于UML语言，而模型驱动开发（MDD）基于DSL。DSL是一种基于特定领域的语言，它使工作更贴近于客户的理解，而不是实现本身，这样有利于开发过程中，所有参与人员使用同一种语言进行交流。

DSML

　　DSML是特定领域模型语言（domain-specific modelling language），之前介绍的MetaEdit+使用的DSM方法中使用的就是DSML，它是一种可以用来构建图形模型的一种DSL，DSM的GOPPRR就是一个用来构建DSML语言的元模型。

DSL涉及内容

问题域、问题空间
语法、语义
案例、方法、工具

DSL架构

DSL脚本（DSL Script）：每一个DSL的核心都是一个域模型，它定义了这一语言所代表的各种概念，这些概念的属性，以及它们之间的关系
- 在问题域中用于构建、配置或者其他用途的一种语言
- 可以是文本，也可以是图形，或者两者混合使用
  - 图形语言不只是图表，否则使用Visio之类的画图软件就行了，它实际上是要创建模型，这个模型要能够从概念上描绘你正在创建的系统，并对其内容进行图表化的表示。一个模型可以同时由多个图表来表示，每个图表表示模型的某个方面
  - 文本语言用户输入，可以快速的打字。
  - 文本语言的优势在于可以进行比较和合并，而图形表达式可以更容易的看出内容之间的关联。
  - 相对来说，文本语言比图形复杂
语义模型（Semantic Model）
- DSL脚本的一种内存完整表示
- 有时候这个就是抽象语法树（AST）
- 分离Parse和Generate
生成代码（Generated Code）:DSL的一个最重要的应用是用来生产简单的文本形式的工件，例如源代码、数据库脚本
- DSL脚本的一种可执行表示
- 解释语义模型

DSL应用的优点

高级别的重用：如果仅适用通用编程语言，则每次只能解决一个问题，但如果应用特定领域开发方法设计并实现一些特殊语言，每个特殊语言可以高效地解决一类相似的问题
使用DSL的软件架构可以跨接软件工程过程各阶段之间的鸿沟，特别是通过代码生成可以很好的进行设计和实现阶段的衔接
让领域专家参与开发过程，不仅仅是需求阶段，架构阶段也需要参与
通过在问题空间工作，可以让不熟悉如何实现技术的人，包括商业人士，也能够更了解模型
使用DSL表达的模型，可以在问题空间这个较高的抽象层次进行验证，这意味着可以在开发周期的更早期发现因为理解和表述而造成的错误。
一个模型中具备了重要的业务知识，将解决方案从一种技术迁移到另一种技术，或在同一技术的不同版本之间迁移，就变的相对容易。一般通过适当修改生成器或解释器就可以做到。

样式（Styles）

　　之前在信息系统开发平台OpenExpressApp:【OpenTest】之如何实现自动化测试框架介绍了在OEA上使用Ruby语法实现的一个自动化测试语言，这个就属于内部DSL。而在OpenExpressApp对建模支持的初步计划中介绍的MetaModelEngie属于外部DSL。

　　外部DSL可以摆脱内部DSL寄宿语言的限制，可以重新设计一种新的语言，但是增加了学习新的语言的学习成本，并且需要工具的支持。

设计DSL

　　为了降低风险，我们并不是马上就从头开始开发框架及其DSL，而是应该从现有的可以在某些应用中使用的代码开始，逐步的对其进行参数化，逐步的发现那些在不同应用中变化的部分，然后使这些部分依赖于DSL。

　　自上而下的方法倾向于快速建立一个完整且自包含的模型，具有更长远的考虑，有助于保证结构的一致性。但是从另一方面看，这种方法容易导致在概念层设计出很复杂的模型，并且该模型难于实现。因此在实际应用中，将自上而下和自下而上两种方法交替使用会更有效。采用渐进的方式可以避免早期投入过大风险，但是需要定期进行一致性检查。

　　在《Visual Studio DSL工具特定领域开发指南》书中对设计DSL做了如下步骤：

识别可变性与发现DSL：DSL是用你的框架具体的实现你的体系架构模式中可变的部分
开发领域模型捕获可变性
定义标记：在适当的地方使用常见标记法或与标记法相关的约定
开发验证的约束：识别树形之间的依赖性，认出快照中的强制或禁止的循环
开发并演进框架：理解你的DSL针对的代码体系结构，并在框架中编写它
测试DSL：包括验证的约束与规则、生成器与命令、以及生成的代码
演化和移植DSL：确保旧的模型在新版本的DSL中能够使用
识别好的DSL：范围、最小性、常见标记法，适度的冗余，合理的使用句法空间，使用用户术语

应用场景

......

书籍

Martin Fowler花了几年时间写了一本DSL的书籍《Domain Specific Languages》，我还没有看，感兴趣的可以先看看它在网站上写的系列文章 Domain Specific Languages

Best Practices for DSLs and Model-Driven Development

读书笔记：Visual Studio DSL工具特定领域开发指南

DSL的演进

本文转自 jingen_zhou 51CTO博客，原文链接：http://blog.51cto.com/zhoujg/403112，如需转载请自行联系原作者

微信关注我们

原文链接：https://yq.aliyun.com/articles/409966

转载内容版权归作者及来源网站所有！

低调大师中文资讯倾力打造互联网数据资讯、行业资源、电子商务、移动互联网、网络营销平台。持续更新报道IT业界、互联网、市场资讯、驱动更新,是最及时权威的产业资讯及硬件资讯报道平台。

ASP.NET企业开发框架IsLine FrameWork系列之三--七种武器

接上文 IsLine FrameWork Provider介绍其中IsLine.Data、IsLine.AppLog是我要重点介绍的，不过现在先来简单说说各个Provider的作用。 DataProvider 与其他框架一样，DataProvider为项目提供了与数据库交互的能力，它的优点在这里不再阐述，这里只说一下它与其他框架的数据访问层不同的地方。 DataProvider同时兼容SQL SERVER与ORACLE两种数据库，并开放IDBOperater接口，用户只要实现IDBOperater接口工厂，就可以为DataProvider提供实例，从而实现使用第三种数据库，而无须修改数据库调用关键字。除此之外，DataProvider提供了静态访问与实例访问两种方式，针对不同的ADO.NET容器，用户可以选择不同的方式，而且提供统一的Dispose()方法，用户只需一次调用，即可关闭所有的Reader；而静态调用则不需对其做任何资源释放操作。静态访问与实例化访问是根据面向连接与非连接的工作方式区分的。 DataProvider还为用户提供了RecordProvider，通...

2017-11-16

639

随着网络主权概念的逐渐明晰，“自主可控”已经成为信息化部署的关键词。我国正在大力推动政府、国防、金融、交通等关键领域的信息化产品尽快实现国产化，并发布了多个重要政策来保障国产化实施。而除了服务器、数据库等核心IT设备之外，移动信息化系统同样在中国信息化整体布局中扮演着越来越重要的角色，其发展必须实现高度的“自主可控”。移动信息化系统的“风险” 随着移动互联网的快速发展，越来越多的移动设备应用于政企的业务创新与拓展之中，组织需要搭建移动信息化系统来降低移动设备应用的风险，提高移动信息化能力。然而，众多国外品牌的移动信息化系统却无法实现安全可信、自主可控的要求，这给移动信息化系统内的重要信息带来了重大的风险。首先，风险来在于移动信息泄密风险。由于政企移动业务的发展，移动信息化系统内存储着大量的机密信息，这些信息一旦从不可控的服务器中泄露到外界，将带来重大损失。而且，无法满足自主可控需求的移动信息化系统，可能暗藏着大量的漏洞与后门，攻击者很容易通过系统的“缺口”来盗取信息。其次，移动信息化系统开始成为政企信息化整体部署的重要组成部分。其连接包括组织服务器、PC等信息终端，攻击者很有可能...

2017-11-16

469

资源下载

更多资源

Mario

马里奥是站在游戏界顶峰的超人气多面角色。马里奥靠吃蘑菇成长，特征是大鼻子、头戴帽子、身穿背带裤，还留着胡子。与他的双胞胎兄弟路易基一起，长年担任任天堂的招牌角色。

Nacos

Nacos /nɑ:kəʊs/ 是 Dynamic Naming and Configuration Service 的首字母简称，一个易于构建 AI Agent 应用的动态服务发现、配置管理和AI智能体管理平台。Nacos 致力于帮助您发现、配置和管理微服务及AI智能体应用。Nacos 提供了一组简单易用的特性集，帮助您快速实现动态服务发现、服务配置、服务元数据、流量管理。Nacos 帮助您更敏捷和容易地构建、交付和管理微服务平台。

Spring

Spring框架（Spring Framework）是由Rod Johnson于2002年提出的开源Java企业级应用框架，旨在通过使用JavaBean替代传统EJB实现方式降低企业级编程开发的复杂性。该框架基于简单性、可测试性和松耦合性设计理念，提供核心容器、应用上下文、数据访问集成等模块，支持整合Hibernate、Struts等第三方框架，其适用范围不仅限于服务器端开发，绝大多数Java应用均可从中受益。

Sublime Text

Sublime Text具有漂亮的用户界面和强大的功能，例如代码缩略图，Python的插件，代码段等。还可自定义键绑定，菜单和工具栏。Sublime Text 的主要功能包括：拼写检查，书签，完整的 Python API ， Goto 功能，即时项目切换，多选择，多窗口等等。Sublime Text 是一个跨平台的编辑器，同时支持Windows、Linux、Mac OS X等操作系统。