loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2008 IEEE International Conference on Software Testing Verification and Validation Workshop
Querying UML Models using OCL and Prolog: A Performance Study
Lillehammer, Norway
April 09-April 11
ISBN: 978-0-7695-3388-9
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.
Citation:
Joanna Chimiak_Opoka, Michael Felderer, Chris Lenz, Christian Lange, "Querying UML Models using OCL and Prolog: A Performance Study," icstw, pp.81-88, 2008 IEEE International Conference on Software Testing Verification and Validation Workshop, 2008
Usage of this product signifies your acceptance of the Terms of Use.