Designing and Applying a Framework for Logic-Based Model Querying


Querying models is one of the most essential and most elementary tasks in model-based software development. More complex activities like, for instance finding source patterns of model transformations, measuring models, or checking consistency between models, include querying models for certain properties, elements, or substructures. Logic formalisms like… (More)
DOI: 10.1109/SEAA.2010.21

7 Figures and Tables


  • Presentations referencing similar topics