Initiating a Benchmark forUML and OCL Analysis ToolsMartin Gogolla, Fabian Büttner, Jordi CabotUniversity of Bremen, GermanyAtlanMod, Ecole des Mines de Nantes - INRIA, LINA, France
Context: Model-Based (Software) Engineeringhere focus on UML and OCLModel: UML class diagram + OCL constraintsVarious tools for analyzing such models exist- Test-oriented tools (USE, EMF2toCSP, mOdCL, ...)- Proof-oriented tools (HOL-OCL, KeY, ...)Tools offer various functionalities- building valid/invalid object diagrams, manually orautomatically; valid: explicit and inherent constraints- debugging invalid object diagrams by revealingfailing constraints, constraint parts or model elements- prooving consequences from stated constraints- revealing classes or associations which cannot be populated- ...Aim of planned benchmark (here 1st version)- Compare tool functionality with an agreed set ofexample models- Include models and proposals from other tool builders
Possible topics to be emphasized in further models- local constraints (single class constraints)- global constraints (many classes involved)- easy tractable constraints- hard constraints (NP hard problems)- symmetry problems- integer arithmetic- real arithmetic- string calculations- redundant constraints- sparse models (few links)- recursive operations- null value and collection operations- large models, large instances
Planned benchmark- Currently 1st version- Compare tool functionality with an agreed set ofexample models- Include models and proposals from other tool buildersemphasizing the strength of their tool- Used as input for the remaining tool builders
... waiting for contributions ...Thanks for your attention!