integrating graph transformations and modal sequence
play

Integrating Graph Transformations and Modal Sequence Diagrams for - PowerPoint PPT Presentation

Sep 24, 2022 •33 likes •723 views

Integrating Graph Transformations and Modal Sequence Diagrams for Specifying Structurally Dynamic Reactive Systems Sabine Winetzhammer 1 , Joel Greenyer 2 and Matthias Tichy 3 1 Chair of Applied Computer Science 1 - Software Engineering, Bayreuth

  1. Integrating Graph Transformations and Modal Sequence Diagrams for Specifying Structurally Dynamic Reactive Systems Sabine Winetzhammer 1 , Joel Greenyer 2 and Matthias Tichy 3 1 Chair of Applied Computer Science 1 - Software Engineering, Bayreuth University, Germany 2 Software Engineering Group, Leibniz Universit¨ at Hannover, Germany. 3 Software Engineering Division, Chalmers | University of Gothenburg, Sweden. September 29th, 2014 Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (1/15)

  2. What’s happening...? warehouse1 warehouse2 from itemKind issuedJobs :Job request access assignedTo robot2 transport issueBy robot1 system assign job control order item to robot3 assembly1 assembly2 assembly3 worker1 worker2 Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (2/15)

  3. What’s happening...? warehouse1 warehouse2 from itemKind issuedJobs :Job request access assignedTo robot2 issueBy transport robot1 system assign job control order item to robot3 assembly1 assembly2 assembly3 worker1 worker2 Multiple physically distributed mechatronic components Interaction between these components Changes in physical and logical structure Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (2/15)

  4. What’s happening...? warehouse1 warehouse2 from itemKind issuedJobs :Job request access assignedTo robot2 issueBy transport robot1 system assign job control order item to robot3 assembly1 assembly2 assembly3 worker1 worker2 Multiple physically distributed mechatronic components Interaction between these components Changes in physical and logical structure ⇒ Structurally dynamic (distributed) reactive system Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (2/15)

  5. Class Diagram CD FactorySystem 0..1 0..1 ItemKind kind Factory itemKind ... +name:String ... Job Item 0..1 (container) carriedItem assignedTo 0..1 0..1 0..n created- issued- Job Jobs 0..1 fromLoc Agent Location +doJob(job:Job) 0..1 toLoc 0..1 +arrived(newLoc:Location) isAt isAt 0..1 AssemblyStation Warehouse Robot Worker +orderItem(ik:ItemKind) +loadItem(ik:ItemKind) +itemNotAvailable() controledRobots 0..n 0..n warehouses Environment StorageManagement TransportSystemControl +move(loc:Location) +orderItem(ik:ItemKind) +loadItemOnRobot( 0..1 +createJob(itemKind:ItemKind, r:Robot, ik:ItemKind) issuedBy fromLoc:Location, 0..1 toLoc:Location) transportSystemControl Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (3/15)

  6. Object System wh1 fromLoc ik1 itemKind assignedTo issuedJobs isAt j1:Job r1 toLoc tsc issueBy a1 w OS SmallFactory fromLoc itemKind wh1:Warehouse j1:Job ik1:ItemKind name = “Valve” issuedJobs isAt issuedBy assignedTo r1:Robot tsc:TransportSystemControl controledRobots toLoc a1:AssemblyStation w:Worker env:Environment isAt isAt Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (4/15)

  7. Modal Sequence Diagrams MSD WorkerOrdersItem w:Worker Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (5/15)

  8. Modal Sequence Diagrams MSD WorkerOrdersItem w:Worker a:AssemblyStation Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (5/15)

  9. Modal Sequence Diagrams MSD WorkerOrdersItem w:Worker a:AssemblyStation orderItem(itemKind) (c/m) Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (5/15)

  10. Modal Sequence Diagrams MSD WorkerOrdersItem sm := a.factory. storageManagement w:Worker a:AssemblyStation sm:StorageManagement orderItem(itemKind) (c/m) orderItem(itemKind) (h/e) Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (5/15)

  11. Modal Sequence Diagrams MSD WorkerOrdersItem sm := a.factory. tsc: = sm. storageManagement transportSystemControl w:Worker a:AssemblyStation sm:StorageManagement tsc:TransportSystemCtrl orderItem(itemKind) (c/m) orderItem(itemKind) (h/e) createJob(itemKind, (h/e) fromLoc, a) Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (5/15)

  12. Modal Sequence Diagrams MSD WorkerOrdersItem sm := a.factory. tsc: = sm. storageManagement transportSystemControl w:Worker a:AssemblyStation sm:StorageManagement tsc:TransportSystemCtrl orderItem(itemKind) (c/m) orderItem(itemKind) (h/e) alt createJob(itemKind, (h/e) fromLoc, a) Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (5/15)

  13. Modal Sequence Diagrams MSD WorkerOrdersItem sm := a.factory. tsc: = sm. storageManagement transportSystemControl w:Worker a:AssemblyStation sm:StorageManagement tsc:TransportSystemCtrl orderItem(itemKind) (c/m) orderItem(itemKind) (h/e) alt createJob(itemKind, (h/e) fromLoc, a) itemNotAvailable (h/e) itemNotAvailable (h/e) Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (5/15)

  14. Modal Sequence Diagrams MSD WorkerOrdersItem sm := a.factory. tsc: = sm. storageManagement transportSystemControl w:Worker a:AssemblyStation sm:StorageManagement tsc:TransportSystemCtrl orderItem(itemKind) (c/m) orderItem(itemKind) (h/e) alt createJob(itemKind, (h/e) fromLoc, a) itemNotAvailable (h/e) itemNotAvailable (h/e) Requirements Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (5/15)

  15. Modal Sequence Diagrams MSD WorkerOrdersItem sm := a.factory. tsc: = sm. storageManagement transportSystemControl w:Worker a:AssemblyStation sm:StorageManagement tsc:TransportSystemCtrl orderItem(itemKind) (c/m) orderItem(itemKind) (h/e) alt createJob(itemKind, (h/e) fromLoc, a) itemNotAvailable (h/e) itemNotAvailable (h/e) Requirements Assumptions Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (5/15)

  16. Modal Sequence Diagrams MSD WorkerOrdersItem sm := a.factory. tsc: = sm. storageManagement transportSystemControl w:Worker a:AssemblyStation sm:StorageManagement tsc:TransportSystemCtrl orderItem(itemKind) (c/m) orderItem(itemKind) (h/e) alt createJob(itemKind, (h/e) fromLoc, a) itemNotAvailable (h/e) itemNotAvailable (h/e) Requirements Assumptions Simple structural changes Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (5/15)

  17. Modal Sequence Diagrams MSD WorkerOrdersItem sm := a.factory. tsc: = sm. storageManagement transportSystemControl w:Worker a:AssemblyStation sm:StorageManagement tsc:TransportSystemCtrl orderItem(itemKind) (c/m) orderItem(itemKind) (h/e) alt createJob(itemKind, (h/e) fromLoc, a) itemNotAvailable (h/e) itemNotAvailable (h/e) Requirements Assumptions Simple structural changes & Play-out Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (5/15)

  18. Modal Sequence Diagrams MSD WorkerOrdersItem sm := a.factory. tsc: = sm. storageManagement transportSystemControl w:Worker a:AssemblyStation sm:StorageManagement tsc:TransportSystemCtrl orderItem(itemKind) CUT (c/m) orderItem(itemKind) (h/e) alt createJob(itemKind, (h/e) fromLoc, a) itemNotAvailable (h/e) itemNotAvailable (h/e) Requirements Assumptions Simple structural changes & Play-out Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (5/15)

  19. Modal Sequence Diagrams MSD WorkerOrdersItem sm := a.factory. tsc: = sm. storageManagement transportSystemControl w:Worker a:AssemblyStation sm:StorageManagement tsc:TransportSystemCtrl orderItem(itemKind) (c/m) orderItem(itemKind) (h/e) CUT alt createJob(itemKind, (h/e) fromLoc, a) itemNotAvailable (h/e) itemNotAvailable (h/e) Requirements Assumptions Simple structural changes & Play-out Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (5/15)

  20. Graph Transformation Rules GT arrived_a(newLoc:Location) LHS RHS Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (6/15)

  21. Graph Transformation Rules GT arrived_a(newLoc:Location) LHS RHS newloc:Location agent:Agent isAt assignedTo oldLoc:Location job:Job Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (6/15)

  22. Graph Transformation Rules GT arrived_a(newLoc:Location) LHS RHS newloc:Location newloc:Location agent:Agent agent:Agent isAt isAt assignedTo oldLoc:Location oldLoc:Location job:Job Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (6/15)

  23. Graph Transformation Rules GT arrived_a(newLoc:Location) short-hand notation: GT arrived(newLoc:Location) LHS RHS newloc:Location newloc:Location agent:Agent agent:Agent ++ isAt newloc:Location isAt isAt agent:Agent assignedTo oldLoc:Location oldLoc:Location -- isAt --assignedTo job:Job --job:Job oldLoc:Location Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (6/15)

  24. Graph Transformation Rules GT arrived_a(newLoc:Location) ++ isAt newloc:Location agent:Agent -- isAt --assignedTo oldLoc:Location --job:Job Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (6/15)

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend

1 Vertical shifts Types of Transformations Moves the graph up or down Impacts only

1 Vertical shifts Types of Transformations Moves the graph up or down Impacts only

Transformation of Functions Recognize graphs of common functions Use vertical shifts to graph functions Symmetry & Use horizontal shifts to graph functions Use horizontal shifts to graph functions Transformations Use

491 views • 5 slides
DECLARATIVE MODEL TRANSFORMATIONS WITH TRIPLE GRAPH GRAMMARS https://trello.com What is bx

DECLARATIVE MODEL TRANSFORMATIONS WITH TRIPLE GRAPH GRAMMARS https://trello.com What is bx

Anthony Anjorin DECLARATIVE MODEL TRANSFORMATIONS WITH TRIPLE GRAPH GRAMMARS https://trello.com What is bx /box/? incremental updates model synchronisation change propagation bx = bidirectional transformations consistency

721 views • 61 slides
Introduction to graph-oriented programming The role of graph transformations in solving the

Introduction to graph-oriented programming The role of graph transformations in solving the

Introduction to graph-oriented programming The role of graph transformations in solving the technical debt problem Olivier Rey June 26 2018 GraphApps for STAF/ICGT 2018 Table of contents 1. Technical debt in enterprise software 2.

638 views • 49 slides
Transformations Composition of Transformations Congruence Transformations Dilations Similarity

Transformations Composition of Transformations Congruence Transformations Dilations Similarity

Slide 1 / 145 Slide 2 / 145 Geometry Transformations 2014-09-08 www.njctl.org Slide 3 / 145 Slide 4 / 145 Table of Contents click on the topic to go to that section Transformations Translations Reflections Rotations Transformations

464 views • 25 slides
A comparative study of extrapolation methods, sequence transformations and steepest descent

A comparative study of extrapolation methods, sequence transformations and steepest descent

A comparative study of extrapolation methods, sequence transformations and steepest descent methods Computing infinite-range integrals Richard M. Slevinsky and Hassan Safouhi Mathematical Section Campus Saint-Jean, University of Alberta

517 views • 23 slides
SoilTrEC Soil Transformations in European Catchments Coordinating Action: Large-Scale Integrating

SoilTrEC Soil Transformations in European Catchments Coordinating Action: Large-Scale Integrating

SoilTrEC Soil Transformations in European Catchments Coordinating Action: Large-Scale Integrating Project Grant Agreement No. 244118 Coordinator: Steve Banwart, U. Sheffield, UK and Prof. Nikolaos Nikolaidis, Technical U. Crete SoilTrEC

455 views • 29 slides
Graph Drawing in Ti k Z Till Tantau Graph Drawing Conference 2012 The Problem: Integrating Graph

Graph Drawing in Ti k Z Till Tantau Graph Drawing Conference 2012 The Problem: Integrating Graph

Graph Drawing in Ti k Z Till Tantau Graph Drawing Conference 2012 The Problem: Integrating Graph Drawings Into Documents 3 5 6 7 8 9 2 4 f 1 f 2 h 3 h f 6 c 2 h 4 p f 3 c 1 h 1 h h 2 f 5 f 4 1 5 6 3 0 1 2 4 (b) A realization

634 views • 26 slides
Neural AMR : Sequence-to-Sequence Models for Parsing and Generation annis Konstas joint work

Neural AMR : Sequence-to-Sequence Models for Parsing and Generation annis Konstas joint work

Neural AMR : Sequence-to-Sequence Models for Parsing and Generation annis Konstas joint work with Srinivasan Iyer, Mark Yatskar, Yejin Choi, Luke Zettlemoyer AMR graph Generate from AMR graph text Decoder Encoder text Attention AMR

1.32k views • 116 slides
Graph Theory and Modal Logic Yutaka Miyazaki Osaka University of Economics and Law (OUEL) Aug.

Graph Theory and Modal Logic Yutaka Miyazaki Osaka University of Economics and Law (OUEL) Aug.

Graph Theory and Modal Logic Yutaka Miyazaki Osaka University of Economics and Law (OUEL) Aug. 5, 2013 BLAST 2013 at Chapman University Yutaka Miyazaki Graph Theory and Modal Logic Contents of this Talk Yutaka Miyazaki Graph Theory and

627 views • 43 slides
Learning to Groove with Inverse Sequence Transformations Jon Gillick, Adam Roberts, Jesse Engel,

Learning to Groove with Inverse Sequence Transformations Jon Gillick, Adam Roberts, Jesse Engel,

Learning to Groove with Inverse Sequence Transformations Jon Gillick, Adam Roberts, Jesse Engel, Douglas Eck, David Bamman contact: jongillick@berkeley.edu Google AI / Magenta Questions How well can we model drum performances with

384 views • 12 slides
W HAT IS EHD? Introduction EHD without cross-flow Modal Dielectric fluid Non-modal EHD with

W HAT IS EHD? Introduction EHD without cross-flow Modal Dielectric fluid Non-modal EHD with

Introduction S TABILITY OF PLANAR SHEAR FLOW EHD without cross-flow Modal IN THE PRESENCE OF ELECTROCONVECTION Non-modal EHD with cross-flow Modal F. Martinelli 1 , M.Quadrio 1 , 2 & P .Schmid 1 Non-modal Conclusions 1 LadHyx, cole

790 views • 35 slides
Transformations Composition of Transformations Congruence Transformations Dilations

Transformations Composition of Transformations Congruence Transformations Dilations

Slide 1 / 154 Slide 2 / 154 Geometry Transformations 2014-09-08 www.njctl.org Slide 3 / 154 Slide 4 / 154 Table of Contents click on the topic to go to that section Transformations Translations Reflections Rotations

581 views • 45 slides
Transformations Composition of Transformations Congruence Transformations Dilations

Transformations Composition of Transformations Congruence Transformations Dilations

Slide 1 / 154 Slide 2 / 154 Geometry Transformations 2014-09-08 www.njctl.org Slide 3 / 154 Slide 4 / 154 Table of Contents click on the topic to go to that section Transformations Translations Reflections Rotations

643 views • 26 slides
From Data to Effects Dependence Graphs: Source-to-Source Transformations for C CPC 2015 Nelson

From Data to Effects Dependence Graphs: Source-to-Source Transformations for C CPC 2015 Nelson

Motivation Limitations of the Data Dependence Graph Effects Dependence Graph Impact on Existing Code Transformations Conclusion From Data to Effects Dependence Graphs: Source-to-Source Transformations for C CPC 2015 Nelson Lossing 1 Pierre

662 views • 26 slides
A Preliminary Study of Compiler Transformations for Graph Applications on the EMU System

A Preliminary Study of Compiler Transformations for Graph Applications on the EMU System

A Preliminary Study of Compiler Transformations for Graph Applications on the EMU System Prasanth Chatarasi and Vivek Sarkar Habanero Extreme Scale Software Research Project Georgia Institute of Technology, Atlanta, USA 1 Prasanth Chatarasi

550 views • 20 slides
Consistent Triplets in Graph Clustering for Protein Sequence Analysis HwaSeob Joseph Yun

Consistent Triplets in Graph Clustering for Protein Sequence Analysis HwaSeob Joseph Yun

Consistent Triplets in Graph Clustering for Protein Sequence Analysis HwaSeob Joseph Yun Department of Computer Science Rutgers University April 26, 2006 1 / 41 Outline 1. Motivating biological problem 2. Prior work on graph clustering 3.

369 views • 21 slides
Convex Bisimilarity and Real-valued Modal Logics Matteo Mio, CWIAmsterdam Matteo Mio Chocola

Convex Bisimilarity and Real-valued Modal Logics Matteo Mio, CWIAmsterdam Matteo Mio Chocola

Convex Bisimilarity and Real-valued Modal Logics Matteo Mio, CWIAmsterdam Matteo Mio Chocola ENS Lyon, 2013 Probabilistic Nondeterministic Transition Systems (PNTSs) a.k.a, Probabilistic Automata, Markov Decision Processes, Simple

753 views • 63 slides
Stanford CS193p Developing Applications for iPhone 4, iPod Touch, & iPad Fall 2010 Stanford

Stanford CS193p Developing Applications for iPhone 4, iPod Touch, & iPad Fall 2010 Stanford

Stanford CS193p Developing Applications for iPhone 4, iPod Touch, & iPad Fall 2010 Stanford CS193p Fall 2010 Today: Grab Bag Finish Shutterbug Map Demo Add thumbnails UITextField and UITextView Editable text fields (unlike UILabel which

610 views • 15 slides
CMU Informedia @ TRECVID 2010 Known item Search Lei Bao 1,2 , Arnold Overwijk 1 , Alexander

CMU Informedia @ TRECVID 2010 Known item Search Lei Bao 1,2 , Arnold Overwijk 1 , Alexander

CMU Informedia @ TRECVID 2010 Known item Search Lei Bao 1,2 , Arnold Overwijk 1 , Alexander Hauptmann 1 1 School of Computer Science, Carnegie Mellon University 2 Institute of Computing Technology, Chinese Academy of Science Outline

417 views • 13 slides
The Next 700 Modal Type Assignment Systems Andreas Abel Talk presented by Andrea Vezzosi

The Next 700 Modal Type Assignment Systems Andreas Abel Talk presented by Andrea Vezzosi

The Next 700 Modal Type Assignment Systems Andreas Abel Talk presented by Andrea Vezzosi Department of Computer Science and Engineering Chalmers and Gothenburg University, Sweden Types for Proofs and Programs Annual Meeting 2015 Tallinn,

317 views • 19 slides
Introduction to modal logic Lus Soares Barbosa Jos Proena HASLab - INESC TEC Universidade

Introduction to modal logic Lus Soares Barbosa Jos Proena HASLab - INESC TEC Universidade

Introduction to modal logic Lus Soares Barbosa Jos Proena HASLab - INESC TEC Universidade do Minho Braga, Portugal February/March 2018 Whats in a logic? Modal Logic Bisimulation and modal equivalence Richer modal logics A logic

823 views • 59 slides
Introduction to Hybrid Logic Patrick Blackburn Department of Philosophy, Roskilde University,

Introduction to Hybrid Logic Patrick Blackburn Department of Philosophy, Roskilde University,

Introduction to Hybrid Logic Patrick Blackburn Department of Philosophy, Roskilde University, Denmark NASSLLI 2012, University of Austin, Texas What we did yesterday... What we did yesterday... We talked about boxes and diamonds, and showed

1.47k views • 118 slides
Modal dal Logic ic Submitted to Prof . Lubomr Popelnsk, Masaryk University Prepared by

Modal dal Logic ic Submitted to Prof . Lubomr Popelnsk, Masaryk University Prepared by

Outline Introduction Kripke's Formulation of Modal Logic Frames and Forcing Modal Tableaux Soundness and completeness Modal Axioms and special Accessibility Relations Modal dal Logic ic Submitted to Prof . Lubomr Popelnsk, Masaryk

582 views • 34 slides
NuMI/NOvA Horn 1 Stripline Vibration Measurements Kris Anderson Fermi National

NuMI/NOvA Horn 1 Stripline Vibration Measurements Kris Anderson Fermi National

NuMI/NOvA Horn 1 Stripline Vibration Measurements Kris Anderson Fermi National Accelerator Lab 25-September-2014 NBI Workshop 2014 Overview Some Background Information Regarding Horn 1 Stripline Analysis 400kW

580 views • 34 slides

More recommend