Querying UML Models using OCL and Prolog: A Performance Study

  • Authors:
  • Joanna Chimiak_Opoka;Michael Felderer;Chris Lenz;Christian Lange

  • Affiliations:
  • -;-;-;-

  • Venue:
  • ICSTW '08 Proceedings of the 2008 IEEE International Conference on Software Testing Verification and Validation Workshop
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

The size of Unified Modeling Language (UML) models used in practice is very large and ranges up to hundreds and thousands of classes. Querying of these models is used to support their quality assessment by information filtering and aggregating. For both, human cognition and automated analysis, there is a need for fast querying. In this context performance of model queries becomes an important issue. We investigated performance characteristics of two differ- ent querying engines: one using the Object Constraint Lan- guage (OCL) and the other using Prolog. Our comparison is based on equivalent queries in both languages. We ap- plied the queries to 118 models of a size up to 10000 classes to analyze model load and evaluation time. Our preliminary results show that if execution time of queries is linear then Prolog is faster. For one of the presented cases, the execu- tion time in Prolog was nonlinear and thus higher. Further studies should focus on a performance analysis reflecting expressiveness aspects. Our experimental material is ac- cessible to enable future replications of this study.