YA YAMTL Solutions Artur Boronat YA YAMTL Declarative M2M trafos - - PowerPoint PPT Presentation

▶
ya yamtl solutions
SMART_READER_LITE
LIVE PREVIEW

YA YAMTL Solutions Artur Boronat YA YAMTL Declarative M2M trafos - - PowerPoint PPT Presentation

Jul 30, 2023 33 likes •174 views

Tool Transformation Contest 2018 29 June 2018, Toulouse, France YA YAMTL Solutions Artur Boronat YA YAMTL Declarative M2M trafos in Xtend Inspired in ATL semantics Does not separate initialization and binding phases Resolution

slide-1
SLIDE 1

YA YAMTL Solutions

Artur Boronat

Tool Transformation Contest 2018 29 June 2018, Toulouse, France

slide-2
SLIDE 2

YA YAMTL

  • Declarative M2M trafos in Xtend
  • Inspired in ATL semantics
  • Does not separate initialization and binding phases
  • Resolution strategy
  • Rules with multiple inheritance
  • Module composition
  • Execution modes
  • Batch
  • Incremental for rule applications J
  • Dependency tracking
  • EMF change model for representing deltas
  • Forward propagation
  • But…no incremental queries L
  • And…no parallelism L
slide-3
SLIDE 3

Abstract ct Solution Approach ch

  • Map/Reduce metaphor
  • Map:
  • use transformation rules for computing scores
  • store scores per element
  • Reduce: use Xtend’s collection extensions to sort

elements (posts for Q1/comments for Q2)

  • Optimized version
  • Map:
  • use transformation rules for computing scores
  • keep only three best options (sorting for each insert)
  • Reduce: print result
  • Usually more efficient when many rule applications (e.g.

comments)

slide-4
SLIDE 4

So Solutions

  • Solution A
  • Q1: Map/Reduce
  • Q2: Optimized Map/Reduce
  • Solution B
  • Q1: Optimized Map/Reduce
  • Q2: Optimized Map/Reduce
slide-5
SLIDE 5

So Solution A Q1 (MR): : map

Compute score

slide-6
SLIDE 6

So Solution A Q1 (MR): reduce ce

configuration batch invocation “reduce” forward delta propagation invocation

slide-7
SLIDE 7

So Solution B Q1 Q1 (OMR): ): map

Optimization

slide-8
SLIDE 8

Solution B Q1 (OMR): reduce ce

slide-9
SLIDE 9

So Solution Q2 (OMR): gr graph components

slide-10
SLIDE 10

So Solution Q2 (OMR): map

slide-11
SLIDE 11

Solution Q2 (OMR): reduce ce

configuration batch forward delta propagation

slide-12
SLIDE 12

Adaptation of Bench chmark Framework

  • Change representation has been converted to EMF representation
  • LiveContestDriver:
  • Converted to Xtend for convenience
  • Load initial models and deltas
slide-13
SLIDE 13

Concl clusions

  • Correctness
  • Q1: correct J
  • Q2: correct for change sets: 1, 8 J
  • Incorrect for the rest L but only for one out of three J
  • Usability
  • Xtend J
  • Java integration J
  • Several files (map/reduce/aux) K
slide-14
SLIDE 14

Concl clusions

  • Performance
  • Run up to size 512
  • A Q1 (512, update time):
  • Initial: 309.62 ms
  • YAMTL_Solution_A;Q1;512;0;0;Initialization;Time;309622336
  • Update 20: 217 ms L
  • YAMTL_Solution_A;Q1;512;0;20;Update;Time;217959330
  • B Q1 (512, update time):
  • Initial: 2438.2108 ms
  • YAMTL_Solution_B;Q1;512;4;0;Initial;Time;2438210874
  • Update 20: 9.7339 ms J
  • YAMTL_Solution_B;Q1;512;4;20;Update;Time;9733973
  • Q2 (512, update time):
  • Initial: 7011.1708 ms
  • YAMTL_Solution_B;Q2;512;4;0;Initial;Time;7011170879
  • Update 20: 10.18 ms
  • YAMTL_Solution_B;Q2;512;4;20;Update;Time;10183543