TY - GEN
T1 - A model query language for domain-specific models
AU - Guo, Jiangmin
AU - Ding, Jie
AU - Lu, Jinzhi
AU - Wang, Guoxin
N1 - Publisher Copyright:
© 2020 IEEE.
PY - 2020/12
Y1 - 2020/12
N2 - Model queries play a crucial role in the Model-driven development processes, particularly for Domain-Specific Modeling (DSM) and Model-based Systems Engineering (MBSE). The model queries are also regarded as the cornerstone for model-driven development activities, such as code generation, model transformation, and model constraints checking. The GOPPRR metamodeling approach is widely used to formalize the domain-specific models. Based on this approach, the KARMA language has been proposed to formalize models, metamodels, and code generation but lacks support for the model querying. This paper proposed one query language based on the GOPPRR metamodeling approach extended from the KARMA language to realize the unified query formalisms for multi-domain models. Finally, a case in a vehicle tracking system development is used to verify the availability of model query language, which is implemented in a domain modeling tool, MetaGraph.
AB - Model queries play a crucial role in the Model-driven development processes, particularly for Domain-Specific Modeling (DSM) and Model-based Systems Engineering (MBSE). The model queries are also regarded as the cornerstone for model-driven development activities, such as code generation, model transformation, and model constraints checking. The GOPPRR metamodeling approach is widely used to formalize the domain-specific models. Based on this approach, the KARMA language has been proposed to formalize models, metamodels, and code generation but lacks support for the model querying. This paper proposed one query language based on the GOPPRR metamodeling approach extended from the KARMA language to realize the unified query formalisms for multi-domain models. Finally, a case in a vehicle tracking system development is used to verify the availability of model query language, which is implemented in a domain modeling tool, MetaGraph.
KW - Domain-specific language
KW - Model query language
KW - Model-based systems engineering
KW - Model-driven development
UR - https://www.scopus.com/pages/publications/85106942193
U2 - 10.1109/ICMCCE51767.2020.00266
DO - 10.1109/ICMCCE51767.2020.00266
M3 - Conference contribution
AN - SCOPUS:85106942193
T3 - Proceedings - 2020 5th International Conference on Mechanical, Control and Computer Engineering, ICMCCE 2020
SP - 1207
EP - 1213
BT - Proceedings - 2020 5th International Conference on Mechanical, Control and Computer Engineering, ICMCCE 2020
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 5th International Conference on Mechanical, Control and Computer Engineering, ICMCCE 2020
Y2 - 25 December 2020 through 27 December 2020
ER -