Designing and Applying a Framework for Logic-Based Model Querying

Abstract

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

Topics

  • Presentations referencing similar topics