Expressing model constraints visually with VMQL

Proceedings - 2011 IEEE Symposium on Visual Languages and Human Centric Computing, VL/HCC 2011

Volumn , Issue , 2011, Pages 195-202

  Störrle, Harald ^a  

^a TECHNICAL UNIVERSITY OF DENMARK   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROLLED EXPERIMENT; DE FACTO STANDARD; EXPERIMENTAL EVIDENCE; MODEL CONSTRAINTS; REPRESENTATIVE SAMPLE; TOOL SUPPORT; UML MODEL; VISUAL MODEL;

QUERY LANGUAGES;

UNIFIED MODELING LANGUAGE;

EID: 82855167242     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/VLHCC.2011.6070399     Document Type: Conference Paper

References (18)

1. P. Bottoni, M. Koch, F. Parisi-Presicce, and G. Taentzer, "Consistency Checking and Visualization of OCL Constraints," in Proc. 3rd Intl. Conf. Unified Modeling Language ("UML"'00), ser. LNCS, B. Selic, S. Kent, and A. Evans, Eds., no. 1939. Springer Verlag, 2000, pp. 294-308.
2. -, "A Visualisation of OCL using Collaborations," in Proc. 4th Intl. Conf. Unified Modeling Language ("UML"'01), ser. LNCS, M. Gogolla and C. Kobryn, Eds., no. 2185. Springer Verlag, 2001, pp. 257-271.
3. M. Cengarle and A. Knapp, "OCL 1.4/5 vs. 2.0 expressions formal semantics and expressiveness," Software and Systems Modeling, vol. 3, no. 1, pp. 9-30, 2004.
4. K. Ehrig and J. Winkelmann, "Model Transformation from VisualOCL to OCL Using Graph Transformation," Electron. Notes Theor. Comput. Sci., vol. 152, pp. 23-37, 2006.
5. A. Fish, J. Howse, G. Taentzer, and J. Winkelmann, "Two Visualizations of OCL: A Comparison," Univ. of Brighton, Tech. Rep. VMG.05.1, 2005.
6. D. Gopher and R. Braune, "On the psychophysics of workload: Why bother with subjective measures?" Human Factors, vol. 26, no. 5, pp. 519-532, 1984. (Pubitemid 15167952)
7. J. Howse and S. Schuman, "Precise Visual Modeling: A Case-Study,"Software and Systems Modeling, vol. 4, no. 3, pp. 310-325, 2005.
8. J. Howse, S. Schuman, G. Stapleton, and I. Oliver, "Diagrammatic Formal Specification of a Configuration Control Platform," Electronic Notes in Theoretical Computer Science, vol. 259, pp. 87-104, 2009.
9. S. Kent, "Constraint Diagrams: Visualizing Invariants in Object-Oriented Models," in Proc. Intl. Conf. Object-Oriented Programming, Systems, and Languages (OOPSLA97). ACM Press, 1997, pp. 327-341.
10. F. J. Lucas, F. Molina, and A. Toval, "A systematic review of UML model consistency management," Inf. Softw. Technol., vol. 51, no. 12, pp. 1631-1645, December 2009.
11. L. Mandel and M. V. Cengarle, "On the Expressive Power of OCL," in Intl. Conf. Formal Methods (FM'99), ser. LNCS, vol. 1708. Springer Verlag, 1999.
12. OMG, "OMG Unified Modeling Language (OMG UML), Superstructure, V2.2 (formal/2009-02-02)," Object Management Group, Tech. Rep., Feb. 2009.
13. R Development Core Team, R: A Language and Environment for Statistical Computing, R Foundation for Statistical Computing, Vienna, Austria, 2011. [Online]. Available: http://www.R-project.org
14. D. Stein, S. Hanenberg, and R. Unland, "Query Models," in Proc. 7th Intl. Conf. Unified Modeling Language ("UML"'04), ser. LNCS, T. Baar, A. Strohmeier, A. Moreira, and S. J. Mellor, Eds., no. 3273. Springer Verlag, 2004, pp. 98-112.
15. H. Störrle, "A PROLOG-based Approach to Representing and Querying UML Models," in Intl. Ws. Visual Languages and Logic (VLL'07), ser. CEUR-WS, P. Cox, A. Fish, and J. Howse, Eds., vol. 274. CEUR, 2007, pp. 71-84.
16. -, "A logical model query interface," in Intl. Ws. Visual Languages and Logic (VLL'09), P. Cox, A. Fish, and J. Howse, Eds., vol. 510. CEUR, 2009, pp. 18-36.
17. -, "VMQL: A Generic Visual Model Query Language," in Proc. IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'09), M. Erwig, R. DeLine, and M. Minas, Eds. IEEE Computer Society, 2009, pp. 199-206.
18. -, "VMQL: A Visual Language for Ad-Hoc Model Querying," J. Visual Languages and Computing, vol. 22, no. 1, Feb. 2011.