Abstract
Many Domain-Specific Modeling Languages (DSML) cannot formally define their semantics, leading to difficulties in identifying user-defined domain constraints. In this study, we propose a user-defined mechanism of domain constraints based on the formalization of structural semantics of DSML. First, we formally define concepts and decision methods of consistency and validity of domain constraints. Subsequently, we establish concepts and reasoning methods of domain-based model consistency. Thus, several domain constraint instances are defined and different models instances’ consistency are reasoned based on formalization of software architecture domain metamodel to illustrate our approach. Finally, our formal definition mechanism of domain constraint is added to our automatic translator for formalizing DSML and its models to automatically reason about domain constraints built based on DSML.
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 callMore From: International Journal of Pattern Recognition and Artificial Intelligence
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.
