Transcript PowerPoint-presentatie

Quantitative Analysis of Model
Transformations based on
Graph Transformation
Kick-off Presentation
Roy Bouten
[email protected]
Overview
•
•
•
•
•
•
Graduation project
Model transformation based on graph transformation
Viatra2
Identified metrics
Tool to extract metrics
Further work
/ Department of Mathematics and Computer Science
16-7-2015
PAGE 1/22
Graduation project (1/2)
• Recent studies
• ASF+SDF
• ATL / QVT / Xtend
(grammarware formalism)
(modelware formalism)
• Graph transformation formalism
• Lessons learned  methodology
• Seminar
• comparative study (AGG / GrGen / Viatra2 / Henshin)
/ Department of Mathematics and Computer Science
16-7-2015
PAGE 2/22
Graduation project (2/2)
• Project goal
• The goal of this project is to enable automated quality
assessment of model transformations specified in Viatra2
• Sub-goals
•
•
•
•
•
Get familiar with Viatra2
Identify a set of metrics
Relate metrics to quality attributes
Develop a tool to extract metrics
Perform case studies to validate results
/ Department of Mathematics and Computer Science
16-7-2015
PAGE 3/22
Model Transformation based on Graph
Transformation
• Graphs occur at two levels
• instance level
• type level
• Instance graph typed over type graph
/ Department of Mathematics and Computer Science
16-7-2015
PAGE 4/22
Viatra2 (1/4)
• Integration of two specification formalisms
• Graph transformation
• Abstract state machines
• Specification of (meta)models in VTML
• Specification of model transformations in VTCL
• graph transformation rules (gt rules)
• graph transformation patterns (gt patterns)
• abstract state machine rules (asm rules)
/ Department of Mathematics and Computer Science
16-7-2015
PAGE 5
Viatra2 (2/4)
• Metamodel specified in VTML
/ Department of Mathematics and Computer Science
16-7-2015
PAGE 6/22
Viatra2 (3/4)
• Graph transformation rule specified in VTCL
/ Department of Mathematics and Computer Science
16-7-2015
PAGE 7/22
Viatra2 (4/4)
• Abstract state machine rule specified in VTCL
• seq: sequential execution of body
• iterate: execute body as long as possible
• choose/apply: execute graph transformation rule
/ Department of Mathematics and Computer Science
16-7-2015
PAGE 8
Identified metrics (1/3)
• More than 100 metrics identified
• Metrics related to:
• asm definition (+/- 40)
− asm rule (+/- 15)
− gt rule (+/- 15)
− gt pattern (+/- 15)
• dependencies (+/- 20)
/ Department of Mathematics and Computer Science
16-7-2015
PAGE 9
Identified metrics (2/3)
• Metrics related to graph transformation rules and
patterns
# model elements per gt pattern
# entities per gt pattern
# relations per gt pattern
# preserved elements per gt rule
# deleted elements per gt rule
# created elements per gt rule
# inline asm rules per gt rule
/ Department of Mathematics and Computer Science
16-7-2015
PAGE 10
Identified metrics (3/3)
• Metrics related to abstract state machine rules
McCabe’s complexity per asm rule (#edges – #vertices + 2 ⋅ #connected components)
/ Department of Mathematics and Computer Science
16-7-2015
PAGE 11
Tool to extract metrics
• Implemented in Java
• Viatra2 API
• generates AST
• Metrics model  POJO’s
• Aggregation
/ Department of Mathematics and Computer Science
16-7-2015
PAGE 12
Further work
• Relate metrics to quality attributes
• Finish tool to extract metrics
• dependencies
(+ visualization in ExtraVis)
• Perform case studies to validate results
• ??
/ Department of Mathematics and Computer Science
16-7-2015
PAGE 13
Questions
• Are there any questions?
/ Department of Mathematics and Computer Science
16-7-2015
PAGE 14/22