MQ-2 A Tool for Prolog-based Model Querying

Vlad Acretoaie, Harald Störrle

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

157 Downloads (Pure)

Abstract

MQ-2 integrates a Prolog console into the MagicDraw1 modeling environment and equips this console with features targeted specifically to the task of querying models. The vision of MQ-2 is to make Prolog-based model querying accessible to both student and expert modelers by offering powerful query features and a tight integration with the host modeling environment.
Original languageEnglish
Title of host publicationJoint Proceedings : Co-located Events at the 8th European Conference on Modelling Foundations and Applications (ECMFA 2012)
PublisherTechnical University of Denmark
Publication date2012
Pages328-331
ISBN (Print)978-87-643-1014-6
Publication statusPublished - 2012
Event8th European Conference on Modelling Foundations and Applications (ECMFA) 2012 - Technical University of Denmark, Kgs. Lyngby, Denmark
Duration: 2 Jul 20125 Jul 2012
http://www2.imm.dtu.dk/conferences/ECMFA-2012/

Conference

Conference8th European Conference on Modelling Foundations and Applications (ECMFA) 2012
LocationTechnical University of Denmark
CountryDenmark
CityKgs. Lyngby
Period02/07/201205/07/2012
Internet address

Fingerprint Dive into the research topics of 'MQ-2 A Tool for Prolog-based Model Querying'. Together they form a unique fingerprint.

Cite this