McGill University School of Computer Science Ph.D. Candidate in the Modelling, Simulation and Design...
-
Upload
camryn-stearman -
Category
Documents
-
view
214 -
download
1
Transcript of McGill University School of Computer Science Ph.D. Candidate in the Modelling, Simulation and Design...
![Page 1: McGill University School of Computer Science Ph.D. Candidate in the Modelling, Simulation and Design Lab Eugene Syriani.](https://reader038.fdocuments.in/reader038/viewer/2022110116/551acf7b550346b2288b5ae6/html5/thumbnails/1.jpg)
McGill UniversitySchool of Computer Science
Ph.D. Candidate in the Modelling, Simulation and Design Lab
The Modular TimedGraph Transformation Language
Eugene Syriani
![Page 2: McGill University School of Computer Science Ph.D. Candidate in the Modelling, Simulation and Design Lab Eugene Syriani.](https://reader038.fdocuments.in/reader038/viewer/2022110116/551acf7b550346b2288b5ae6/html5/thumbnails/2.jpg)
MoTif
OVERVIEW
Motivation
Language
Semantic Domain
Constructs
Applications
Modelling “everything”
Examples
¿What’s next?
Scaleability2
![Page 3: McGill University School of Computer Science Ph.D. Candidate in the Modelling, Simulation and Design Lab Eugene Syriani.](https://reader038.fdocuments.in/reader038/viewer/2022110116/551acf7b550346b2288b5ae6/html5/thumbnails/3.jpg)
MoTif
MOTIVATION• Model Transformation Controlled Graph Rewriting
3
![Page 4: McGill University School of Computer Science Ph.D. Candidate in the Modelling, Simulation and Design Lab Eugene Syriani.](https://reader038.fdocuments.in/reader038/viewer/2022110116/551acf7b550346b2288b5ae6/html5/thumbnails/4.jpg)
MoTif
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)
![Page 5: McGill University School of Computer Science Ph.D. Candidate in the Modelling, Simulation and Design Lab Eugene Syriani.](https://reader038.fdocuments.in/reader038/viewer/2022110116/551acf7b550346b2288b5ae6/html5/thumbnails/5.jpg)
MoTif
DEVS META-MODEL
5
![Page 6: McGill University School of Computer Science Ph.D. Candidate in the Modelling, Simulation and Design Lab Eugene Syriani.](https://reader038.fdocuments.in/reader038/viewer/2022110116/551acf7b550346b2288b5ae6/html5/thumbnails/6.jpg)
MoTif
S
t
(s)
(s,0)s
s''
s'
Y
tty
y1
(s)
int(s)
X
x1
tx t
tx
(s,e)ext((s,e),x)
(s0,0) s0
0
ATOMIC DEVS
![Page 7: McGill University School of Computer Science Ph.D. Candidate in the Modelling, Simulation and Design Lab Eugene Syriani.](https://reader038.fdocuments.in/reader038/viewer/2022110116/551acf7b550346b2288b5ae6/html5/thumbnails/7.jpg)
MoTif
COUPLED DEVS
7
C1A1
A2
C2
![Page 8: McGill University School of Computer Science Ph.D. Candidate in the Modelling, Simulation and Design Lab Eugene Syriani.](https://reader038.fdocuments.in/reader038/viewer/2022110116/551acf7b550346b2288b5ae6/html5/thumbnails/8.jpg)
MoTif
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)
![Page 9: McGill University School of Computer Science Ph.D. Candidate in the Modelling, Simulation and Design Lab Eugene Syriani.](https://reader038.fdocuments.in/reader038/viewer/2022110116/551acf7b550346b2288b5ae6/html5/thumbnails/9.jpg)
MoTif
MOTIF META-MODEL
9
![Page 10: McGill University School of Computer Science Ph.D. Candidate in the Modelling, Simulation and Design Lab Eugene Syriani.](https://reader038.fdocuments.in/reader038/viewer/2022110116/551acf7b550346b2288b5ae6/html5/thumbnails/10.jpg)
MoTif
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 models10
![Page 11: McGill University School of Computer Science Ph.D. Candidate in the Modelling, Simulation and Design Lab Eugene Syriani.](https://reader038.fdocuments.in/reader038/viewer/2022110116/551acf7b550346b2288b5ae6/html5/thumbnails/11.jpg)
MoTif
EXAMPLES (1)
11
![Page 12: McGill University School of Computer Science Ph.D. Candidate in the Modelling, Simulation and Design Lab Eugene Syriani.](https://reader038.fdocuments.in/reader038/viewer/2022110116/551acf7b550346b2288b5ae6/html5/thumbnails/12.jpg)
MoTif
EXAMPLES (2)
(Selection Pattern)
Back-tracking
12
![Page 13: McGill University School of Computer Science Ph.D. Candidate in the Modelling, Simulation and Design Lab Eugene Syriani.](https://reader038.fdocuments.in/reader038/viewer/2022110116/551acf7b550346b2288b5ae6/html5/thumbnails/13.jpg)
MoTif
EXAMPLES (3)Synchronization Pattern
13
![Page 14: McGill University School of Computer Science Ph.D. Candidate in the Modelling, Simulation and Design Lab Eugene Syriani.](https://reader038.fdocuments.in/reader038/viewer/2022110116/551acf7b550346b2288b5ae6/html5/thumbnails/14.jpg)
MoTif
WORKFLOW
14
![Page 15: McGill University School of Computer Science Ph.D. Candidate in the Modelling, Simulation and Design Lab Eugene Syriani.](https://reader038.fdocuments.in/reader038/viewer/2022110116/551acf7b550346b2288b5ae6/html5/thumbnails/15.jpg)
MoTif
MODEL THE TRANSFORMATION SYSTEM [3]
15
APPLICATIONS:
Model E
veryth
ing
[3] Syriani E. and Vangheluwe H.: Programmed Graph Rewriting with Time for Simulation-based Design. ICMT 2007, LNCS 5063, pp. 91-106 (2008)
![Page 16: McGill University School of Computer Science Ph.D. Candidate in the Modelling, Simulation and Design Lab Eugene Syriani.](https://reader038.fdocuments.in/reader038/viewer/2022110116/551acf7b550346b2288b5ae6/html5/thumbnails/16.jpg)
MoTif
MODELLING & SIMULATION-BASED DESIGN [3]
16
APPLICATIONS:
Simulation Experiments
Synthesis of Application
Model of System
Model of Environment
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)
![Page 17: McGill University School of Computer Science Ph.D. Candidate in the Modelling, Simulation and Design Lab Eugene Syriani.](https://reader038.fdocuments.in/reader038/viewer/2022110116/551acf7b550346b2288b5ae6/html5/thumbnails/17.jpg)
MoTif
REAL-TIME TRANSFORMATIONS (GAMES)
17
APPLICATIONS:
![Page 18: McGill University School of Computer Science Ph.D. Candidate in the Modelling, Simulation and Design Lab Eugene Syriani.](https://reader038.fdocuments.in/reader038/viewer/2022110116/551acf7b550346b2288b5ae6/html5/thumbnails/18.jpg)
MoTif
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).
![Page 19: McGill University School of Computer Science Ph.D. Candidate in the Modelling, Simulation and Design Lab Eugene Syriani.](https://reader038.fdocuments.in/reader038/viewer/2022110116/551acf7b550346b2288b5ae6/html5/thumbnails/19.jpg)
MoTif
CD 2 RDBMS CASE STUDY
19
APPLICATIONS:
![Page 20: McGill University School of Computer Science Ph.D. Candidate in the Modelling, Simulation and Design Lab Eugene Syriani.](https://reader038.fdocuments.in/reader038/viewer/2022110116/551acf7b550346b2288b5ae6/html5/thumbnails/20.jpg)
MoTif
ESSENTIAL PRIMITIVE PROPERTIES
20
![Page 21: McGill University School of Computer Science Ph.D. Candidate in the Modelling, Simulation and Design Lab Eugene Syriani.](https://reader038.fdocuments.in/reader038/viewer/2022110116/551acf7b550346b2288b5ae6/html5/thumbnails/21.jpg)
MoTif
WHAT’S NEXT: SCALEABILITYHigher-order transformations
21
![Page 22: McGill University School of Computer Science Ph.D. Candidate in the Modelling, Simulation and Design Lab Eugene Syriani.](https://reader038.fdocuments.in/reader038/viewer/2022110116/551acf7b550346b2288b5ae6/html5/thumbnails/22.jpg)
MoTif
WHAT’S NEXT: SCALEABILITYDeclarative bi-directional transformations
22
![Page 23: McGill University School of Computer Science Ph.D. Candidate in the Modelling, Simulation and Design Lab Eugene Syriani.](https://reader038.fdocuments.in/reader038/viewer/2022110116/551acf7b550346b2288b5ae6/html5/thumbnails/23.jpg)
MoTif
WHAT’S NEXT: SCALEABILITYEfficiency
23
• Matching
• Implementation
• Distributed
![Page 24: McGill University School of Computer Science Ph.D. Candidate in the Modelling, Simulation and Design Lab Eugene Syriani.](https://reader038.fdocuments.in/reader038/viewer/2022110116/551acf7b550346b2288b5ae6/html5/thumbnails/24.jpg)
MoTif
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