Mitglied im:

Anmelden

News

22.04.2015
Mit großer Freude präsentiere ich Ihnen den Jahresbericht des...
16.07.2014
Promotionsvortrag von Dipl.-Wirt.-Inf. Björn Schindler am 21.07.2014 um 13:...
10.06.2014

Promotionsvortrag von M. Sc. Stefan Ruehl am 16.06.2014 um 10:00 Uhr

Patrick Dohrmann and Sebastian Herold

Designing and Applying a Framework for Logic-Based Model Querying

SSE-DH10

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 full first-predicate logic or description logics provide the well-understood foundation for implementing efficient  model  querying  mechanisms.  Regarding  the  specific purpose of querying models, a more efficient but less expressive logic formalism might be more useful than in other use cases.

In this paper, we will introduce a framework which enables us to easily realize meta model independent query tools based on different subsets of first-order logic. We show the application of  the  framework  by  checking  a  UML  design  model  for architectural properties.

Seitenangaben

264-272

Jahr

2010

Booktitle

36th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2010)

Adressen

Lille, France

URL

http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=5598094

Bibtex file

Download this publication as bibtex file

Forschungsvideos

16.07.2013
Scribbler: From Coll...
Scribbler is a paint program which supports only basic operations like...