A Model Query Language for Domain-Specific Models

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. Keywords-Domain-Specific Language; model query language; model-driven development; Model-based Systems Engineering.