Download presentation

Presentation is loading. Please wait.

Published byCamryn Stearman Modified over 3 years ago

1
McGill University School of Computer Science Ph.D. Candidate in the Modelling, Simulation and Design Lab Eugene Syriani

2
OVERVIEW Motivation Language Semantic Domain Constructs Applications Modelling “everything” Examples ¿What’s next? Scaleability 2

3
MOTIVATION Model Transformation Controlled Graph Rewriting 3

4
SEMANTIC DOMAIN The Discrete Event System Specification [1] (DEVS) formalism Highly compositional simulation framework DEVS: – Blocks – Ports – Events Semantics: Parallel composition of blocks 4 [1] Zeigler B.P., Multifacetted Modelling and Discrete Event Simulation/ Academic Press, London (1984)

5
DEVS META-MODEL 5

6
S t (s) (s,0) s s'' s' Y t tyty y1y1 (s) int (s) X x1x1 txtx t txtx (s,e) ext ((s,e),x) (s 0,0) s0s0 0 ATOMIC DEVS

7
COUPLED DEVS 7 C1 A1 A2 C2

8
MoTiF MAPPED ONTO DEVS [2] Blocks – Atomic: encapsulate a graph rewriting rule – Coupled: encapsulate a set of rules, scoping Events – Inport: receive the host graph – Outport(s): send the transformed graph 8 [2] Syriani E. and Vangheluwe H.: Programmed Graph Rewriting with DEVS. AGTIVE 2007, LNCS (2008)

9
MOTIF META-MODEL 9

10
LANGUAGE CONSTRUCTS AtomicRule (ARule): transformation rule application ForAllRule (FRule): apply rule on all matches (parallel independent) StarRule (SRule): apply rule as long as possible TransactionalRule (XRule): control backtracking enabled Selector: At most 1 rule is applied Synchronizer: synchronize (merge) “threads” of rule applications CoupledRule (CRule): parallel composition of inner models 10

11
EXAMPLES (1) 11

12
EXAMPLES (2) (Selection Pattern) Back-tracking 12

13
EXAMPLES (3) Synchronization Pattern 13

14
WORKFLOW 14

15
MODEL THE TRANSFORMATION SYSTEM [3] 15 APPLICATIONS: [3] Syriani E. and Vangheluwe H.: Programmed Graph Rewriting with Time for Simulation-based Design. ICMT 2007, LNCS 5063, pp. 91-106 (2008)

16
MODELLING & SIMULATION-BASED DESIGN [3] 16 APPLICATIONS: Finding the optimal game speed [3] Syriani E. and Vangheluwe H.: Programmed Graph Rewriting with Time for Simulation-based Design. ICMT 2007, LNCS 5063, pp. 91-106 (2008)

17
REAL-TIME TRANSFORMATIONS (GAMES) 17 APPLICATIONS:

18
ANTWORLD SIMULATION CASE STUDY [4] 18 APPLICATIONS: [4] Eugene Syriani and Hans Vangheluwe. Using MoTif for the AntWorld Simulation Tool Contest. In: Arend Rensik and Pieter Van Ghorp (eds.) Workshop on Graph-Based Tools (GraBaTS 2008). Best Live Solution (GUI). Leicester (2008).

19
CD 2 RDBMS CASE STUDY 19 APPLICATIONS:

20
ESSENTIAL PRIMITIVE PROPERTIES 20

21
WHAT’S NEXT: SCALEABILITY Higher-order transformations 21

22
WHAT’S NEXT: SCALEABILITY Declarative bi-directional transformations 22

23
WHAT’S NEXT: SCALEABILITY Efficiency 23 Matching Implementation Distributed

24
REFERENCES http://www.cs.mcgill.ca/~esyria Upcoming SoSym article Eugene Syriani and Hans Vangheluwe. Using MoTif for the AntWorld Simulation Tool Contest. In: Arend Rensik and Pieter Van Ghorp (eds.) Workshop on Graph-Based Tools (GraBaTS 2008). Best Live Solution (GUI). Leicester (2008). Eugene Syriani and Hans Vangheluwe. Programmed Graph Rewriting with Time for Simulation-Based Design. In Alfonso Pierantonio, Antonio Vallecillo, Jean Bézivin, Jeff Gray (eds.): ICMT 2008. LNCS, vol. 5063, pp. 91-106. Springer-Verlag, Zürich (2008). Eugene Syriani. Programmed Graph Rewriting: MoTif, Presentation for COMP 763: Modelling and Simulation Based Design (2008). Eugene Syriani and Hans Vangheluwe: Programmed Graph Rewriting with DEVS. In A. Schürr, M. Nagl, and A. Zündorf (Eds.): AGTIVE 2007. LNCS, vol.5088, pp. 136-152. Springer-Verlag, Kassel (2008). 24

Similar presentations

Presentation is loading. Please wait....

OK

Test B, 100 Subtraction Facts

Test B, 100 Subtraction Facts

© 2018 SlidePlayer.com Inc.

All rights reserved.

By using this website, you agree with our use of **cookies** to functioning of the site. More info in our Privacy Policy and Google Privacy & Terms.

Ads by Google

Ppt on bunking lectures Ppt on l&t finance holdings limited Ppt on latest technology in mechanical engineering Ppt on phonetic transcription generator Ppt on american vs british accents Ppt on any one mathematician Ppt on diode circuits and rectifiers Ppt on time management and stress management Ppt on management by objectives approach Ppt on stock exchanges in india