Model querying with graphical notation of QVT relations

Authors:
Dan Li;Xiaoshan Li;Volker Stolz
Affiliations:
University of Macau, China & Guizhou Academy of Sciences, Guiyang, China;University of Macau, China;University of Oslo, Norway & UNU-IIST, Macau, China
Venue:
ACM SIGSOFT Software Engineering Notes
Year:
2012

Citing 11
Cited 0

Computing graphical queries over XML data

ACM Transactions on Information Systems (TOIS)
A Visualization of OCL Using Collaborations

«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
On Querying UML Data Models with OCL

«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
On the tree-transformation power of XSLT

Acta Informatica
On Challenges for a Graphical Transformation Notation and the UMLX Approach

Electronic Notes in Theoretical Computer Science (ENTCS)
Querying business processes with BP-QL

Information Systems
Querying UML Models using OCL and Prolog: A Performance Study

ICSTW '08 Proceedings of the 2008 IEEE International Conference on Software Testing Verification and Validation Workshop
QVT-based model transformation using XSLT

ACM SIGSOFT Software Engineering Notes
VMQL: A visual language for ad-hoc model querying

Journal of Visual Languages and Computing
rCOS: a formal model-driven engineering method for component-based software

Frontiers of Computer Science in China
A graphical notation to specify model queries for MDA transformations on UML models

MDAFA'03 Proceedings of the 2003 European conference on Model Driven Architecture: foundations and Applications

Quantified Score

Hi-index	0.00

Visualization

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.