Describing Behaviour Models through Reusable, Multilevel, Coupled - PowerPoint PPT Presentation

Describing Behaviour Models through Reusable, Multilevel, Coupled Model Transformations Adrian Rutle Fernando Mac´ ıas Francisco Dur´ an Roberto Rodr´ ıguez-Echeverr´ ıa Uwe Wolter November 2, 2016 Fernando Mac´ ıas et al. Multilevel Coupled MTs

PLS example with two-level approach Fernando Mac´ ıas et al. Multilevel Coupled MTs

PLS example with multilevel approach (a) generic_plant EClass 1-1 EClass 1-1 EClass 1-1 EReference contains@1-2 out@1-2 Machine Container Part EReference EReference in@1-2 creates@1-1 EReference (b) hammer_plant (c) stool_plant Machine 1-1 Machine 1-1 Machine 1-1 Machine 1-1 Machine 1-1 Container 1-1 GenLeg GenSeat Gluer GenHandle GenHead Conveyor creates creates@1-1 creates cout@1-1 creates creates@1-1 creates@1-1 creates EReference@2 creates@1-1 1-1 1-1 1-1 Part Part Container Leg Seat Box Part 1-1 Part 1-1 Container 1-1 Handle Head Tray has@1-1 EReference@2 has@1-1 EReference@2 has@1-1 EReference@2 has@1-1 EReference@2 Part 1-1 Machine 1-1 Part 1-1 1..1 1..1 3..3 1..1 Hammer Assembler Stool (d) hammer_config_1 (e) stool_config_1 Tray 1-1 GenHead 1-1 Conveyor 1-1 cout@1-1 Tray 1-1 out@1-1 t2 GenLeg 1-1 Box 1-1 Gluer 1-1 ghead c1 cout t1 in@1-1 out@2 out@1-1 gleg b1 in@2 gluer out@2 cout@1-1 cout in@1-1 in@2 cout@1-1 cout out@1-1 out@2 in@1-1 in@2 GenHandle 1-1 Conveyor 1-1 Assembler 1-1 Conveyor 1-1 1-1 GenSeat Box 1-1 Box 1-1 out@2 out@1-1 out@1-1 ghandle c2 assembler c3 gseat b2 b3 out@2 out@1-1 out@2 Fernando Mac´ ıas et al. Multilevel Coupled MTs

PLS example with multilevel approach Tray 1-1 1-1 1-1 1-1 GenHead Conveyor cout@1-1 Tray out@1-1 t2 ghead c1 cout t1 out@2 cout in@1-1 in@2 cout@1-1 cout cout@1-1 1-1 1-1 1-1 1-1 GenHandle Conveyor Assembler Conveyor out@2 out@1-1 ghandle c2 assembler c3 out@2 out@1-1 Fernando Mac´ ıas et al. Multilevel Coupled MTs

Defining semantics for behavioural models We use model transformations: Inherently multilevel Commonality can be exploited for reusability Across languages (horizontally) Inside the same stack of languages (vertically) Generic if defined on higher levels Trade-off between genericity may lead to imprecision Fernando Mac´ ıas et al. Multilevel Coupled MTs

Defining semantics for behavioural models We use model transformations: Inherently multilevel Commonality can be exploited for reusability Across languages (horizontally) Inside the same stack of languages (vertically) Generic if defined on higher levels Trade-off between genericity may lead to imprecision Our proposal : Multilevel transformations coupled with a meta-level: precise and reusable Fernando Mac´ ıas et al. Multilevel Coupled MTs

Option 1: Two-level rule Machine 1-1 Machine 1-1 Container 1-1 GenHandle GenHead Conveyor creates creates@1-1 creates cout@1-1 EReference@2 creates@1-1 1-1 1-1 1-1 Part Part Container Handle Head Tray has@1-1 EReference@2 has@1-1 EReference@2 Part 1-1 Machine 1-1 Hammer Assembler Create an instance of ——————————————– Handle for each instance 1-1 of GenHandle GenHead 1-1 Conveyor 1-1 cout@1-1 Tray 1-1 Tray out@1-1 t2 ghead c1 cout t1 out@2 cout@1-1 cout in@1-1 in@2 cout@1-1 cout GenHandle 1-1 Conveyor 1-1 Assembler 1-1 Conveyor 1-1 out@2 out@1-1 ghandle c2 assembler c3 out@2 out@1-1 FROM TO cr:creates GenHandle Handle GenHandle gha h gha Fernando Mac´ ıas et al. Multilevel Coupled MTs

Option 1: Two-level rule Machine 1-1 Machine 1-1 Container 1-1 GenHandle GenHead Conveyor creates creates@1-1 creates cout@1-1 EReference@2 creates@1-1 1-1 1-1 1-1 Part Part Container Handle Head Tray has@1-1 EReference@2 has@1-1 EReference@2 Part 1-1 Machine 1-1 Hammer Assembler Create an instance of ——————————————– Handle for each instance 1-1 of GenHandle GenHead 1-1 Conveyor 1-1 cout@1-1 Tray 1-1 Tray out@1-1 t2 ghead c1 cout t1 out@2 cout@1-1 cout in@1-1 in@2 cout@1-1 cout Create an instance of GenHandle 1-1 Conveyor 1-1 Assembler 1-1 Conveyor 1-1 out@2 out@1-1 ghandle c2 assembler c3 out@2 out@1-1 Head for each instance of GenHead FROM TO cr:creates GenHead Head GenHead ghe h ghe Fernando Mac´ ıas et al. Multilevel Coupled MTs

Option 1: Two-level rule Machine 1-1 Machine 1-1 Container 1-1 GenHandle GenHead Conveyor creates creates@1-1 creates cout@1-1 EReference@2 creates@1-1 1-1 1-1 1-1 Part Part Container Handle Head Tray has@1-1 EReference@2 has@1-1 EReference@2 Part 1-1 Machine 1-1 Hammer Assembler ——————————————– 1-1 GenHead 1-1 Conveyor 1-1 cout@1-1 Tray 1-1 Tray out@1-1 t2 ghead c1 cout t1 out@2 cout@1-1 cout in@1-1 in@2 cout@1-1 cout GenHandle 1-1 Conveyor 1-1 Assembler 1-1 Conveyor 1-1 out@2 out@1-1 ghandle c2 assembler c3 out@2 out@1-1 FROM TO cr:creates GenHead Head GenHead ghe h ghe Fernando Mac´ ıas et al. Multilevel Coupled MTs

Option 1: Two-level rule Machine 1-1 Machine 1-1 Container 1-1 GenHandle GenHead Conveyor creates creates@1-1 creates cout@1-1 EReference@2 creates@1-1 1-1 1-1 1-1 Part Part Container Problems Handle Head Tray has@1-1 EReference@2 has@1-1 EReference@2 × Too specific Part 1-1 Machine 1-1 Hammer Assembler × Difficult to reuse ——————————————– × Each machine needs 1-1 GenHead 1-1 Conveyor 1-1 cout@1-1 Tray 1-1 Tray out@1-1 t2 ghead c1 cout t1 a new rule out@2 cout@1-1 cout in@1-1 in@2 cout@1-1 cout GenHandle 1-1 Conveyor 1-1 Assembler 1-1 Conveyor 1-1 × Each language or out@2 out@1-1 ghandle c2 assembler c3 out@2 out@1-1 hierarchy needs its set of similar rules × Leads to proliferation FROM TO cr:creates GenHead Head GenHead ghe h ghe Fernando Mac´ ıas et al. Multilevel Coupled MTs

Option 2: Multilevel rule 1-1 1-1 1-1 EClass EReference EClass EClass contains@1-2 Machine out@1-2 Container Part EReference EReference in@1-2 creates@1-1 EReference ——————————————– Machine 1-1 Machine 1-1 Container 1-1 GenHandle GenHead Conveyor creates creates@1-1 creates cout@1-1 EReference@2 creates@1-1 Part 1-1 Part 1-1 Container 1-1 Handle Head Tray Create an instance of has@1-1 EReference@2 has@1-1 EReference@2 Part 1-1 Machine 1-1 Hammer Assembler Part for each instance of ——————————————– Machine 1-1 1-1 1-1 Tray 1-1 GenHead Conveyor cout@1-1 Tray out@1-1 t2 ghead c1 cout t1 out@2 cout@1-1 cout in@1-1 in@2 cout@1-1 cout 1-1 1-1 1-1 1-1 GenHandle Conveyor Assembler Conveyor out@1-1 out@2 ghandle c2 assembler c3 out@2 out@1-1 FROM TO cr:creates Machine Part Machine p m m Fernando Mac´ ıas et al. Multilevel Coupled MTs

Option 2: Multilevel rule 1-1 1-1 1-1 EClass EReference EClass EClass contains@1-2 Machine out@1-2 Container Part EReference EReference in@1-2 creates@1-1 EReference ——————————————– Machine 1-1 Machine 1-1 Container 1-1 GenHandle GenHead Conveyor creates creates@1-1 creates cout@1-1 EReference@2 creates@1-1 Part 1-1 Part 1-1 Container 1-1 Handle Head Tray has@1-1 EReference@2 has@1-1 EReference@2 Part 1-1 Machine 1-1 Hammer Assembler ——————————————– 1-1 1-1 1-1 Tray 1-1 GenHead Conveyor cout@1-1 Tray out@1-1 t2 ghead c1 cout t1 out@2 cout@1-1 cout in@1-1 in@2 cout@1-1 cout 1-1 1-1 1-1 1-1 GenHandle Conveyor Assembler Conveyor out@1-1 out@2 ghandle c2 assembler c3 out@2 out@1-1 FROM TO cr:creates Machine Part Machine p m m Fernando Mac´ ıas et al. Multilevel Coupled MTs

Option 2: Multilevel rule 1-1 1-1 1-1 EClass EReference EClass EClass contains@1-2 Machine out@1-2 Container Part EReference EReference in@1-2 creates@1-1 EReference ——————————————– Problems Machine 1-1 Machine 1-1 Container 1-1 × Too generic GenHandle GenHead Conveyor creates creates@1-1 creates cout@1-1 EReference@2 creates@1-1 × Not precise Part 1-1 Part 1-1 Container 1-1 Handle Head Tray has@1-1 EReference@2 has@1-1 EReference@2 × All machines will Part 1-1 Machine 1-1 Hammer Assembler create parts ——————————————– × All parts can be 1-1 1-1 1-1 Tray 1-1 GenHead Conveyor cout@1-1 Tray out@1-1 t2 ghead c1 cout t1 out@2 created directly cout@1-1 cout in@1-1 in@2 cout@1-1 cout 1-1 1-1 1-1 1-1 GenHandle Conveyor Assembler Conveyor out@1-1 out@2 ghandle c2 assembler c3 × Any machine can out@2 out@1-1 create any part FROM TO cr:creates Machine Part Machine p m m Fernando Mac´ ıas et al. Multilevel Coupled MTs

Describing Behaviour Models through Reusable, Multilevel, Coupled - PowerPoint PPT Presentation

Describing Behaviour Models through Reusable, Multilevel, Coupled Model Transformations Adrian Rutle Fernando Mac as Francisco Dur an Roberto Rodr guez-Echeverr a Uwe Wolter November 2, 2016 Fernando Mac as et al.

Overview What are multilevel models? Linear mixed models Symbolic and numeric phases

Agenda 1. More on multilevel R formulas 2. Generalized Multilevel Models 3. GMLM in R 1 More

brms: Bayesian Multilevel Models using Stan Paul Brkner 2018-04-09 1 Why using Multilevel

Models in Magnetism: Models in Magnetism: Introduction Introduction E. Burzo Faculty of

Regression tree-based diagnostics for linear multilevel models Jeffrey S. Simonoff New York

Multilevel Models Session 2: Random intercept models Outline Two level random intercept

Multilevel Models Session 3: Random coefficient models Outline Random coefficient models

Multilevel Logistic Models And MLM for Categorical Outcomes October 24 2020 (updated: 25 October

Models in Magnetism E. Burzo Faculty of Physics, Babes-Bolyai University Cluj-Napoca, Romania

Context aware factors in rearchitecting two-level models into multilevel models Mira Balaban,

How to assess the fit of multilevel logit models with Stata? Meeting of the German Stata User

PM-11: Multilevel Models, Credibility Theory, and Ratemaking Fred Klinker, ISO CAS Ratemaking

Joint longitudinal and time-to-event models for multilevel hierarchical data Sam Brilleman 1,2 ,

Multilevel Item Response Theory Models: An Introduction Caio L. N. Azevedo, Department of

Mixed models in R using the lme4 package Part 5: Generalized linear mixed models Douglas Bates 8

Pedestrian Models Based on Rational Behaviour CROWDS: Models and Control Centre International de

Mixed models in R using the lme4 package Part 4: Theory of linear mixed models Douglas Bates 8 th

Complexity and optimization of the Gibbs Sampler for multilevel linear models Giacomo Zanella

The CHull procedure for selecting among multilevel component solutions Eva Ceulemans, K.U.Leuven

A First Look at Multilevel and Longitudinal Models York University Statistical Consulting Service

Time-multi-scale parameter identification of models describing material fatigue

Multilevel Models for Estimating the Number of Deaths in Armed Conflict (in Colombia) Shira

Multilevel Monte Carlo for the continuous time Markov chain models arising in biology David F.

Session 14 Introduction to Behaviour that Challenges SECTION 5: 1 Behaviour Behaviour that is