By Topic

A formal representation of the structural semantics of Domain-Specific Modeling Language

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Tao Jiang ; Sch. of Math. & Comput. Sci., Yunnan Univ. of Nat., Kunming, China ; Lianglin Xiong ; WenYun Zheng

Domain-Specific Modeling has been widely and successfully used in system design and modeling of specific areas. Due to informal definition of Domain-Specific Modeling Language (DSML) and Meta-Modeling Language (DSMML), the structural semantics of DSMLs and DSMMLs cannot be strictly described and the properties based on it also cannot be systematically analyzed and validated. In response, the paper proposes a formal description method of the structural semantics of DSML and DSMML. Firstly, a formal definition of domain and meta-domain based on algebra is presented, secondly, a mapping mechanism from domain and meta-domain to the corresponding first-order logic system is established, based on this, the method of formalization of structural semantics of DSML based on first-order logic is presented, finally, the formalization automatic mapping engine is designed and relevant test is performed to show the feasibility of our formal method.

Published in:

Computer Science and Automation Engineering (CSAE), 2012 IEEE International Conference on  (Volume:3 )

Date of Conference:

25-27 May 2012