A formal definition of the structural semantics of Domain-Specific Modeling languages

The 2nd International Conference on Information Science and Engineering Pub Date : 2010-12-01 DOI:10.1109/ICISE.2010.5689083

Tao Jiang, Xin Wang, Yong Yu

{"title":"A formal definition of the structural semantics of Domain-Specific Modeling languages","authors":"Tao Jiang, Xin Wang, Yong Yu","doi":"10.1109/ICISE.2010.5689083","DOIUrl":null,"url":null,"abstract":"As a Model-Driven Development methodology (MDD) for the specific domain, Domain-Specific Modeling (DSM) has been widely and successfully used in system design and analysis of specific areas. In spite of its general important, due to informal definition of Domain-Specific Modeling Language (DSMLs), the structural semantics of DSMLs cannot be strictly described and the properties based on it also cannot be analyzed and validated. In response, the paper proposes a formal definition method of the structural semantics of DSMLs. Firstly, a formal definition of domain indicating structural semantics of DSMLs based on algebra is presented to unify DSMLs and its models in the domain, secondly, a mapping mechanism from domain to the corresponding first-order logic system is established to finish analysis and validation of properties of domain such as consistency based on first-order logical inference, based on this, the method of formalization and consistency analysis and validation of structural semantics of DSMLs based on first-order logic is presented, finally, the formalization automatic mapping engine for model and metamodel is introduced to show the application of formalization of structural semantics in analysis and validation of properties of models.","PeriodicalId":206435,"journal":{"name":"The 2nd International Conference on Information Science and Engineering","volume":"15 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2010-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"The 2nd International Conference on Information Science and Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICISE.2010.5689083","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 2

Abstract

As a Model-Driven Development methodology (MDD) for the specific domain, Domain-Specific Modeling (DSM) has been widely and successfully used in system design and analysis of specific areas. In spite of its general important, due to informal definition of Domain-Specific Modeling Language (DSMLs), the structural semantics of DSMLs cannot be strictly described and the properties based on it also cannot be analyzed and validated. In response, the paper proposes a formal definition method of the structural semantics of DSMLs. Firstly, a formal definition of domain indicating structural semantics of DSMLs based on algebra is presented to unify DSMLs and its models in the domain, secondly, a mapping mechanism from domain to the corresponding first-order logic system is established to finish analysis and validation of properties of domain such as consistency based on first-order logical inference, based on this, the method of formalization and consistency analysis and validation of structural semantics of DSMLs based on first-order logic is presented, finally, the formalization automatic mapping engine for model and metamodel is introduced to show the application of formalization of structural semantics in analysis and validation of properties of models.

查看原文本刊更多论文

领域特定建模语言的结构语义的正式定义

领域特定建模(domain - specific Modeling, DSM)作为一种针对特定领域的模型驱动开发方法，在特定领域的系统设计和分析中得到了广泛而成功的应用。尽管领域特定建模语言(Domain-Specific Modeling Language, DSMLs)具有普遍的重要性，但由于DSMLs的定义不正式，无法严格描述DSMLs的结构语义，也无法分析和验证基于DSMLs的属性。为此，本文提出了一种dsml结构语义的形式化定义方法。首先，提出了基于代数的表示dsml结构语义的领域的形式化定义，统一了dsml及其在领域中的模型;其次，建立了从领域到相应一阶逻辑系统的映射机制，在此基础上基于一阶逻辑推理完成了对领域一致性等性质的分析和验证;提出了基于一阶逻辑的dsml结构语义形式化、一致性分析与验证方法，最后介绍了模型与元模型形式化自动映射引擎，说明了结构语义形式化在模型属性分析与验证中的应用。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

The 2nd International Conference on Information Science and Engineering

自引率

0.00%

发文量