Model querying with graphical notation of QVT relations
Authors: 
Dan Li, Xiaoshan Li, Volker StolzAuthors Info & Claims
Pages 1 - 8
Abstract
As a standard high-level model transformation language, QVT Relations defines a graphical notation, which provides a concise, intuitive way to specify transformations. However, QVT Relations relies only on the textual language OCL for model querying, leading to verbose and complicated OCL expressions. Here, we present a graphical model query facility based on the checking semantics and pattern matching of QVT Relations. The query facility also borrows from QVT Relations the graphical notation. In addition we propose an approach to map the queries into XSLT to facilitate their execution. We have developed a tool for designing the queries and automatically generating the XSLT programs.
References
[1]
D. Akehurst and B. Bordbar. On Querying UML Data Models with OCL. UML 2001-The Unified Modeling Language. Modeling Languages, Concepts, and Tools, volume 2185 of Lecture Notes in Computer Science:91--103, Springer, 2001.
[2]
C. Beeri, A. Eyal, S. Kamenkovich, and T.Milo. Querying business processes with BP-QL. Information Systems, 33(6):477--507, 2008.
[3]
P. Bottoni, M. Koch, F. Parisi-Presicce, and G. Taentzer. A Visualization of OCL using Collaborations. UML 2001-The Unified Modeling Language. Modeling Languages, Concepts, and Tools, volume 2185 of Lecture Notes in Computer Science:257--271, Springer, 2001.
[4]
J. Chimia-Opoka, M. Felderer, C. Lenz, and C. Lange. Querying UML models using OCL and Prolog: A performance study. In Software Testing Verification and Validation Workshop, ICSTW'08, pages 81--88. IEEE, 2008.
[5]
S. Comai, E. Damiani, and P. Fraternali. Computing graphical queries over XML data. ACM Transactions on Information Systems (TOIS), 19(4):371--430, 2001.
[6]
Eclipse Foundation. Eclipse Modelling Framework. http://www.eclipse.org/modeling/emf/.
[7]
W. Janssen, A. Korlyukov, and J. Van den Bussche. On the treetransformation power of XSLT. Acta Informatica, 43(6):371--393, 2007.
[8]
W. Ke, X. Li, Z. Liu, and V. Stolz. rCOS: a formal model-driven engineering method for component-based software. Front. Comput. Sci. in China, 6(1), 2012.
[9]
D. Li, X. Li, Z. Liu, and V. Stolz. Interactive Transformations from Object-Oriented Models to Component-Based Models. In Proc. of Formal Aspects of Component Software (FACS'11). University of Oslo, Norway, July 2011.
[10]
D. Li, X. Li, and V. Stolz. QVT-based model transformation using XSLT. SIGSOFT Softw. Eng. Notes, 36:1--8, Jan. 2011.
[11]
D. Li, X. Li, and V. Stolz. Solving the TTC 2011 Compiler Optimization Case with QVTR-XSLT. In Proceedings Fifth Transformation Tool Contest, Zürich, Switzerland, volume 74 of Electronic Proceedings in Theoretical Computer Science, pages 54--69, 2011.
[12]
medini QVT, ikv++ Technologies, http://projects.ikv.de/qvt.
[13]
ModelMorf, AModel Transformer, http://www.tcs-trddc.com/.
[14]
Object Management Group. Meta Object Facility (MOF) Core Specification. http://www.omg.org/spec/MOF/2.0/PDF, Jan. 2006.
[15]
Object Management Group. MOF 2.0/XMI Mapping, v2.1.1. http://www.omg.org/spec/XMI/2.1.1/PDF, 2007.
[16]
Object Management Group. Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification, Version 1.1, December 2009.
[17]
Object Management Group. Unified Modeling Language: Superstructure, version 2.4.1, August 2011.
[18]
Object Management Group. OCL Specification Version 2.3.1, January 2012.
[19]
D. Stein, S. Hanenberg, and R. Unland. A graphical notation to specify model queries for MDA transformations on UML models. In MDAFA, volume 3599 of Lecture Notes in Computer Science, pages 77--92. Springer, 2004.
[20]
D. Stein, S. Hanenberg, and R. Unland. Query models. In UML 2004-The Unified Modeling Language. Modelling Languages and Applications, volume 3273 of Lecture Notes in Computer Science, pages 98--112. Springer, 2004.
[21]
H. Störrle. A PROLOG-based Approach to Representing and Querying Software Engineering Models. In Proceedings of the VLL 2007 workshop on Visual Languages and Logic, Idaho, USA, September, pages 71--83, 2007.
[22]
H. Störrle. A Logical Model Query Interface. In Proceedings of the VLL 2009 workshop on Visual Languages and Logic, Dalhousie, Canada, September, pages 18--36, 2009.
[23]
H. Störrle. VMQL: A visual language for ad-hoc model querying. Journal of Visual Languages & Computing, 22:3--29, 2010.
[24]
E.Willink. On Challenges for a Graphical Transformation Notation and the UMLX Approach. Electronic Notes in Theoretical Computer Science, 211:171--179, 2008.
[25]
WWW Consortium. XML Path Language (XPath) 2.0, W3C Recommendation. http://www.w3.org/TR/2007/REC-xpath20- 20070123/, January 2007.
[26]
WWW Consortium. XSL Transformations (XSLT) Version 2.0, W3C Recommendation, January 2007.
Recommendations
Mapping visual notations to MOF compliant models with QVT relations
SAC '07: Proceedings of the 2007 ACM symposium on Applied computingModel-centric methodologies rely on the definition of domain-specific modeling languages for being able to create domain-specific models. With MOF the OMG adopted a standard which provides the essential constructs for the definition of semantic language ...
An approach and tool for synchronous refactoring of UML diagrams and models using model-to-model transformations
WRT '12: Proceedings of the Fifth Workshop on Refactoring ToolsWhen refactorings are applied to software models that are specified using the Unified Modeling Language (UML), the actual model and the graphical presentation of the model using a diagram need to be distinguished. While UML refactoring tools exist, they ...
Domain-specific model verification with QVT
ECMFA'11: Proceedings of the 7th European conference on Modelling foundations and applicationsModel verification is the process of checking models for known problems (or anti-patterns). We propose a new approach to declaratively specify and automatically detect problems in domain-specific models using QVT (Query/View/Transformation). Problems ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Copyright © 2012 Authors.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 16 July 2012
Published in SIGSOFT Volume 37, Issue 4
Check for updates
Author Tags
Qualifiers
- Research-article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 94Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 31 Dec 2024
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in