VMQL: A visual language for ad-hoc model querying

Journal of Visual Languages and Computing

Volumn 22, Issue 1, 2011, Pages 3-29

  Störrle, Harald ^a  

^a TECHNICAL UNIVERSITY OF DENMARK   (Denmark)

Author keywords

Domain specific languages (DSL); End user modelers; Model querying; Object constraint language (OCL); Unified modeling language (UML)

Indexed keywords

EID: 79651472391     PISSN: 1045926X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jvlc.2010.11.004     Document Type: Article

References (49)

1. D.H. Akehurst, B. Bordbar, On querying UML data models with OCL, in: M. Gogolla, C. Kobryn (Eds.), Proceedings of the Fourth International Conference Unified Modeling Language (
2. V. Amaral, S. Helmer, G. Moerkotte, Formally specifying the syntax and semantics of a visual query language for the domain of high energy physics data analysis, in: M. Erwig, A. Schürr (Eds.), Proceedings of the IEEE Symposium on Visual Languages and Human Centric Computing (VL/HCC'05), IEEE Press, 2005, pp. 251-258.
3. U. Aßmann (Ed.), Proceedings of the Second Working Conference on Model Driven Architecture: Foundations and Applications (MDAFA 2004), Available at: 〈〉, updated papers appeared later as Lecture Notes in Computer Science, vol. 3599, Springer, 2004. http://www.ida.liu.se/~henla/mdafa2004.
4. B. Beckert, U. Keller, P.H. Schmitt, Translating the object constraint language into first-order predicate logic, in: Proceedings of the Second Verification Ws (VERIFY), vol. 2, 2002, pp. 2-7.
5. Beeri C., Eyal A., Kamenkovich S., Milo T. Querying business processes with BP-QL. Information Systems 2008, 33(6):477-507.
6. P. Bottoni, M. Koch, F. Parisi-Presicce, G. Taentzer, A visualisation of OCL using collaborations, in: M. Gogolla, C. Kobryn, (Eds.), Proceedings of the Fourth International Conference on Unified Modeling Language (
7. S. Burmester, H. Giese, J. Niere, M. Tichy, J.P. Wadsack, R. Wagner, L. Wendehals, A. Zündorf, Tool Integration at the Meta-Model Level within the FUJABA Tool Suite, International Journal of Software Tools for Technology Transfer (STTT) 6 (3) (2004) 203-218, Available at: http://www2.cs.uni-paderborn.de/cs/ag-schaefer/Veroeffentlichungen/Quellen/Papers/2004/STTT-BGN+04.pdf.
8. Cengarle M., Knapp A. OCL 1.4/5 vs. 2.0 expressions formal semantics and expressiveness. Software and Systems Modeling 2004, 3(1):9-30.
9. R. Chen, A.-W. Scheer, Modellierung von Prozeßketten mittels Petri-Netz-Theorie, Technical Repoert, IWI-Heft 107, Institut für Wirtschaftsinformatik, Universität Saarbrücken, 1994.
10. J. Chimiak-Opoka, E. Arslan, H. Moesl, F.-J. Peer, An advanced OCL editor based on eclipse OCL, in: J. Cabot, M. Gogolla, P. Van Gorp (Eds.), Proceedings of the 8th OCL Ws. Concepts and Tools, vol. 15, Electronic Communications of the European Association for the Study of the Science and Technology (EASST), Available at: 〈〉, 2008. http://squam.info/ocleditor/.
11. J. Chimiak-Opoka, M. Felderer, C. Lenz, C. Lange, Querying UML models using OCL and prolog: a performance study, in: A. Faivre, S. Ghosh, A. Pretschner (Eds.), Ws. Model Driven Engineering, Verification, and Validation (MoDeVVa'08), 2008, pp. 81-89.
12. Coad P., Yourdon E. Object-oriented Analysis 1992, Yourdon Press. second ed.
13. Davis R. Business Process Modelling with ARIS: A Practical Guide 2001, Springer Verlag.
14. D. Dotan, R.Y. Pinter, HyperFlow: an integrated visual query and dataflow language for end-user information analysis, in: M. Erwig, A. Schürr (Eds.), Proceedings of the IEEE Symposium on Visual Languages and Human Centric Computing (VL/HCC'05), IEEE Press, 2005, pp. 27-34.
15. J. Edenhauser, MX-model exchange tool, Master's Thesis, Innsbruck University, 2008.
16. M. Erwig, A. Schürr (Eds.), Proceedings of the IEEE Symposium on Visual Languages and Human Centric Computing (VL/HCC'05), IEEE Press, 2005.
17. GDV, Versicherungsanwendungsarchitektur des Gesamtverbandes der Deutschen Versicherungswirtschaft e. V. Final Edition, Das Objektorientierte Fachliche Referenzmodell, Version 2.0, Available at: 〈〉, 2001. http://www.gdv.de/vaa.
18. M. Gogolla, C. Kobryn, (Eds.), Proceedings of the Fourth International Conference on Unified Modeling Language (
19. Hevner A., March S., Park J., Ram S. Design science in information systems research. MIS Quarterly 2004, 28(1):75-105.
20. Junginger S., Kühn H., Strobl R., Karagiannis D. Ein Geschäftsprozessmanagement-Werkzeug der nächsten Generation-ADONIS: Konzeption und Anwendungen. Wirtschaftsinformatik 2000, 42(5):392-401.
21. A. Kalnins, J. Barzdins, E. Celms, Basics of model transformation language MOLA, in: Ws. Model Driven Development (WMDD 2004).
22. A. Kalnins, J. Barzdins, E. Celms, Model Transformation Language, in: U. Aßmann (Ed.), Proceedings of the Second Working Conference on Model Driven Architecture: Foundations and Applications (MDAFA 2004), pp. 12-26, Available at: 〈〉, updated papers appeared later as Lecture Notes in Computer Science, vol. 3599, Springer, 2004. http://www.ida.liu.se/~henla/mdafa2004.
23. G. Keller, M. Nüttgens, A.-W. Scheer, Semantische Prozessmodellierung auf der Grundlage "Ereignisgesteuerte Prozessketten (EPK)", Technical Repoert 89, Institut für Wirtschaftsinformatik, Uni Saarbrücken, Available at: 〈〉, 1992. http://www.iwi.uni-sb.de/iwi-hefte/heft089.pdf.
24. Kent S. Constraint diagrams: visualizing invariants in object-oriented models. Proceedings of the International Conference on Object-Oriented Programming, Systems, and Languages (OOPSLA'97) 1997, 327-341. ACM Press.
25. E. Kindler, R. Wagner, Triple graph grammars: concepts, extensions, implementations, and application scenarios, Technical Report tr-ri-07-284, Software Engineering Group, Department of Computer Science, University of Paderborn, Available at: 〈〉, June 2007. http://www2.cs.uni-paderborn.de/cs/ag-schaefer/Veroeffentlichungen/Quellen/Papers/2007/tr-ri-07-284.pdf.
26. L. Mandel, M.V. Cengarle, On the expressive power of OCL, in: International Conference on Formal Methods (FM'99), Lecture Notes in Computer Science, vol. 1708, Springer Verlag, 1999.
27. Martin J.A., Odell J.J. Object-Oriented Analysis and Design 1992, Prentice Hall.
28. Nardi D., Brachman R.J. An Introduction to Description Logics 2003, Cambridge University Press, pp. 1-40.
29. NIST IDEF, Integration definition for function modeling, Technical Report, Computer Systems Laboratory, National Institute of Standards and Technologies (NIST), 1993.
30. J. Oldevik, UML model transformation tool (UMT), Overview and user guide, v0.8, Technical Report, SINTEF, 2004.
31. OMG, UML 2.0 OCL Specification (OMG Final Adopted Specification, ptc/2003-10-14), Technical Report, Object Management Group, October 2003.
32. OMG, OMG Unified Modeling Language (OMG UML), Superstructure, V2.2 beta (ptc/08-05-04), Technical Report, Object Management Group, May 2008.
33. OMG, OMG Business Process Modeling Notation (OMG BPMN), V1.2 (formal/2009-01-03), Technical Report, Object Management Group, Available at: 〈〉, downloaded at February 23rd, November 2009. http://www.omg.org/spec/BPMN/1.2.
34. R. Prieto-Diaz, Classification of Reusable Modules, vol. I-Concepts and Models, ACM Press, 1989, pp. 99-124.
35. QVT-Partners, Revised submission for MOF 2.0 Query/Views/Transformations RFP (version 1.1, 2003-08-18), Technical Report, OMG, August 2003.
36. P. Schmitt, Iterate logic, in: R. Kahle, P. Schroeder-Heister, R. Stärk (Eds.), Proceedings of the International Seminor: Proof Theory in Computer Science (PTCS), Lecture Notes in Computer Science, vol. 2183, Springer, 2001, pp. 191-201.
37. A. Schürr, Introduction to PROGRESS and an Attribute Graph Grammar Based Specification Language, in: M. Nagl (Ed.), Proceedings of the 15th International Ws. Graph-Theoretic Concepts in Computer Science (WG'89), Lecture Notes in Computer Science, vol. 411, Springer Verlag, 1989, pp. 151-165.
38. A. Schürr, F. Klar, 15 years of triple graph grammars, Research challenges, new contributions, open problems, in: H. Ehrig, et al. (Eds.), International Conference on Graph Transformation (ICGT'08), Lecture Notes in Computer Science, vol. 5214, Springer Verlag, 2008, pp. 411-425.
39. D. Stein, Personal communication by email, February 10th, 2009.
40. D. Stein, S. Hanenberg, R. Unland, A graphical notation to specify model queries for MDA transformations on UML models, in: U. Aßmann (Ed.), Proceedings of the Second Working Conference on Model Driven Architecture: Foundations and Applications (MDAFA 2004), 2004, pp. 60-74 (Proceedings subsequently appeared as Lecture Notes in Computer Science, vol. 3599).
41. Stein D., Hanenberg S., Unland R. Query models. Proceedings of the Seventh International Conference on Unified Modeling Language (
42. Stein D., Hanenberg S., Unland R. On relationships between query models. Proceedings of the European Conference on Model Driven Architecture-Foundations and Applications (ECMDA-FA 2005), Lecture Notes in Computer Science 2005, vol. 3748:77-92. Springer Verlag.
43. Störrle H. UML 2 erfolgreich einsetzen 2005, Addison-Wesley.
44. H. Störrle, A PROLOG-based approach to representing and querying UML models, in: P. Cox, A. Fish, J. Howse (Eds.), International Ws. Visual Languages and Logic (VLL'07), CEUR-WS, vol. 274, CEUR, 2007, pp. 71-84, Available at: http://ftp.informatik.rwthaachen.de/Publications/CEUR-WS.
45. Störrle H. Large scale modeling efforts: a survey on challenges and best practices. Proceedings of the IASTED International Conference on Software Engineering (IASTED-SE'07) 2007, 382-389. Acta Press. W. Hasselbring (Ed.).
46. H. Störrle, A logical model query interface, in: P. Cox, A. Fish, J. Howse (Eds.), International Ws. Visual Languages and Logic (VLL'09), vol. 510, CEUR, 2009, pp. 18-36.
47. Störrle H. VMQL: a generic visual model query language. Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'09) 2009, 199-206. IEEE Computer Society. M. Erwig, R. DeLine, M. Minas (Eds.).
48. H. Störrle, Structuring very large domain models: experiences from industrial MDSD projects, in: Proceedings of the Fourth European Conference on Sw. Architecture (ECSA'10), ACM, 2010, pp. 49-54 (Companion Volume).
49. M. Winder, MQ-Eine visuelle Query-Schnittstelle für Modelle, Bachelor's Thesis, Innsbruck University, 2009.