Abstract

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.

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.