Table of Content

Open Access iconOpen Access

ARTICLE

crossmark

A Description Method for Formalizing Domain-Specific Modelling Language

Tao Jiang

School of Mathematics and Computer Science, Yunnan Minzu University, Kunming, China

Computer Systems Science and Engineering 2018, 33(5), 299-308. https://doi.org/10.32604/csse.2018.33.299

Abstract

Many Domain-Specific Modelling Languages (DSML) can not formally define their semantics, which inevitably brings many problems, such as accurate description and automatic verification of model properties. In this paper, we propose a formal description method of the structural semantics of DSML for verifying consistency of models built based on DSML. Firstly, domain indicating structural semantics of DSML is formally defined based on algebra, and then, we briefly describe our framework for formalizing DSML and verifying consistency of DSML and its models and use a classic case to illustrate our approach; based on this, we construct an automatic translator for formalizing DSML and its models. Finally, many successful experiments on automatic translating and automatic verifying show feasibility of our formal approach.

Keywords


Cite This Article

APA Style
Jiang, T. (2018). A description method for formalizing domain-specific modelling language. Computer Systems Science and Engineering, 33(5), 299-308. https://doi.org/10.32604/csse.2018.33.299
Vancouver Style
Jiang T. A description method for formalizing domain-specific modelling language. Comput Syst Sci Eng. 2018;33(5):299-308 https://doi.org/10.32604/csse.2018.33.299
IEEE Style
T. Jiang, "A Description Method for Formalizing Domain-Specific Modelling Language," Comput. Syst. Sci. Eng., vol. 33, no. 5, pp. 299-308. 2018. https://doi.org/10.32604/csse.2018.33.299



cc This work is licensed under a Creative Commons Attribution 4.0 International License , which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
  • 1275

    View

  • 1039

    Download

  • 0

    Like

Share Link