Multi-View Modeling and Pragmatics in 2020 Position Paper on - - PowerPoint PPT Presentation
Multi-View Modeling and Pragmatics in 2020 Position Paper on Designing Complex Cyber-Physical Systems Reinhard von Hanxleden (U Kiel), Edward A. Lee (UC Berkeley), Christian Motika (U Kiel), Hauke Fuhrmann (Funkwerk) 17th Monterey Workshop,
Position Paper on Designing Complex Cyber-Physical Systems Reinhard von Hanxleden (U Kiel), Edward A. Lee (UC Berkeley), Christian Motika (U Kiel), Hauke Fuhrmann (Funkwerk)
17th Monterey Workshop, March 19–21, Oxford, UK
Context missing
Quickly loose details
Model hierarchy translates into a cluttered screen
. . . or too little!
Editing can be sloooow . . .
Designing Complex Cyber-Physical Systems—(Some) Issues Background: Models + Views, Pragmatics, Auto-Layout Three Trends Wrap-Up Models and Views Modeling Pragmatics Key to Separate Models and Views: Automatic Layout
Designing Complex Cyber-Physical Systems—(Some) Issues Background: Models + Views, Pragmatics, Auto-Layout
Models and Views Modeling Pragmatics Key to Separate Models and Views: Automatic Layout
Three Trends Wrap-Up
Reinhard von Hanxleden et al. Multi-View Modeling and Pragmatics in 2020 Slide 10
Designing Complex Cyber-Physical Systems—(Some) Issues Background: Models + Views, Pragmatics, Auto-Layout Three Trends Wrap-Up Models and Views Modeling Pragmatics Key to Separate Models and Views: Automatic Layout
Models Models represent knowledge. A model could be a single object (rather uninteresting), or it could be some structure of objects. Views A view is a (visual) representation of its model. It would ordinarily highlight certain attributes of the model and suppress others. It is thus acting as a presentation filter. Controllers A controller is the link between a user and the
for relevant views to present themselves in appropriate places on the screen.
Trygve Reenskaug. Models – Views – Controllers. Xerox PARC technical note, 1979
Reinhard von Hanxleden et al. Multi-View Modeling and Pragmatics in 2020 Slide 11
Designing Complex Cyber-Physical Systems—(Some) Issues Background: Models + Views, Pragmatics, Auto-Layout Three Trends Wrap-Up Models and Views Modeling Pragmatics Key to Separate Models and Views: Automatic Layout
Pragmatics: relation of signs to their users + Syntax: relations between signs + Semantics: relations between signs and the things they refer to = Semiotics: how meaning is constructed and understood
Charles Morris. Foundation of the Theory of Signs. University of Chicago Press, 1938
Pragmatics of modeling languages =def practical aspects of handling a model in a model-based design flow
Reinhard von Hanxleden et al. Multi-View Modeling and Pragmatics in 2020 Slide 12
Designing Complex Cyber-Physical Systems—(Some) Issues Background: Models + Views, Pragmatics, Auto-Layout Three Trends Wrap-Up Models and Views Modeling Pragmatics Key to Separate Models and Views: Automatic Layout
Hauke Fuhrmann and Reinhard von Hanxleden. On the Pragmatics of Model-Based Design. 15th Monterey Workshop 2008, Budapest, Hungary, September 24–26, 2008
Reinhard von Hanxleden et al. Multi-View Modeling and Pragmatics in 2020 Slide 13
Designing Complex Cyber-Physical Systems—(Some) Issues Background: Models + Views, Pragmatics, Auto-Layout Three Trends Wrap-Up Models and Views Modeling Pragmatics Key to Separate Models and Views: Automatic Layout
Reinhard von Hanxleden et al. Multi-View Modeling and Pragmatics in 2020 Slide 14
Designing Complex Cyber-Physical Systems—(Some) Issues Background: Models + Views, Pragmatics, Auto-Layout Three Trends Wrap-Up Trend 1: Agile, Domain-Specific Development Processes Trend 2: Novel Input Devices Trend 3: The Move to the Cloud
Designing Complex Cyber-Physical Systems—(Some) Issues Background: Models + Views, Pragmatics, Auto-Layout Three Trends
Trend 1: Agile, Domain-Specific Development Processes Trend 2: Novel Input Devices Trend 3: The Move to the Cloud
Wrap-Up
Reinhard von Hanxleden et al. Multi-View Modeling and Pragmatics in 2020 Slide 15
Designing Complex Cyber-Physical Systems—(Some) Issues Background: Models + Views, Pragmatics, Auto-Layout Three Trends Wrap-Up Trend 1: Agile, Domain-Specific Development Processes Trend 2: Novel Input Devices Trend 3: The Move to the Cloud
◮ Monolithic one-way methods −
→ agile, iterative processes
◮ Big, one-size fits all frameworks and languages −
→ DSLs 2020 Vision:
◮ Usage-specific views ◮ Usage-specific languages
Reinhard von Hanxleden et al. Multi-View Modeling and Pragmatics in 2020 Slide 16
Designing Complex Cyber-Physical Systems—(Some) Issues Background: Models + Views, Pragmatics, Auto-Layout Three Trends Wrap-Up Trend 1: Agile, Domain-Specific Development Processes Trend 2: Novel Input Devices Trend 3: The Move to the Cloud
Error.CarLight Error.PedestrianLight Normal.PedestrianLight TRAFFIC_LIGHT TrafficLight Normal.CarLight Normal Error
Structural view (hierarchical data-flow + automata)
Reinhard von Hanxleden et al. Multi-View Modeling and Pragmatics in 2020 Slide 17
Designing Complex Cyber-Physical Systems—(Some) Issues Background: Models + Views, Pragmatics, Auto-Layout Three Trends Wrap-Up Trend 1: Agile, Domain-Specific Development Processes Trend 2: Novel Input Devices Trend 3: The Move to the Cloud
Behavioral View (SyncChart)
Reinhard von Hanxleden et al. Multi-View Modeling and Pragmatics in 2020 Slide 18
Designing Complex Cyber-Physical Systems—(Some) Issues Background: Models + Views, Pragmatics, Auto-Layout Three Trends Wrap-Up Trend 1: Agile, Domain-Specific Development Processes Trend 2: Novel Input Devices Trend 3: The Move to the Cloud
Hybrid view (SyncChart + dual modeling + focus&context filtering)
Reinhard von Hanxleden et al. Multi-View Modeling and Pragmatics in 2020 Slide 19
Designing Complex Cyber-Physical Systems—(Some) Issues Background: Models + Views, Pragmatics, Auto-Layout Three Trends Wrap-Up Trend 1: Agile, Domain-Specific Development Processes Trend 2: Novel Input Devices Trend 3: The Move to the Cloud
◮ Post-PC devices ◮ Technological enablers for intuitive interaction paradigms
2020 Vision:
◮ Touch-based editing and browsing ◮ Move from location-based editing to object-based editing
Reinhard von Hanxleden et al. Multi-View Modeling and Pragmatics in 2020 Slide 20
Designing Complex Cyber-Physical Systems—(Some) Issues Background: Models + Views, Pragmatics, Auto-Layout Three Trends Wrap-Up Trend 1: Agile, Domain-Specific Development Processes Trend 2: Novel Input Devices Trend 3: The Move to the Cloud
◮ No lengthy installation procedures ◮ Always current tool version
2020 Vision:
◮ Actor-oriented, cloud-based modeling tools
Reinhard von Hanxleden et al. Multi-View Modeling and Pragmatics in 2020 Slide 22
Designing Complex Cyber-Physical Systems—(Some) Issues Background: Models + Views, Pragmatics, Auto-Layout Three Trends Wrap-Up Trend 1: Agile, Domain-Specific Development Processes Trend 2: Novel Input Devices Trend 3: The Move to the Cloud
Reinhard von Hanxleden et al. Multi-View Modeling and Pragmatics in 2020 Slide 23
Designing Complex Cyber-Physical Systems—(Some) Issues Background: Models + Views, Pragmatics, Auto-Layout Three Trends Wrap-Up Trend 1: Agile, Domain-Specific Development Processes Trend 2: Novel Input Devices Trend 3: The Move to the Cloud
Diagram Editor View Layout Algorithm
X=10 Y=5 X=5 Y=12 X=18 Y=10
Diagram Editor V
◮ Eclipse
GMF
◮ Graphiti
(ongoing)
◮ Ptolemy ◮ . . . ◮ GraphViz
(Dot,Neato,FDP,Twopi,Circo,Radial)
◮ Open Graph Drawing Framework (OGDF)
(Class Diagram, Layer-Based, Force Directed, Orthogonal, Planarization,. . . )
◮ Zest (GEF) ◮ Own Implementations (Ports, Layer-Based,
Planarization,. . . )
◮ . . .
Reinhard von Hanxleden et al. Multi-View Modeling and Pragmatics in 2020 Slide 24
Designing Complex Cyber-Physical Systems—(Some) Issues Background: Models + Views, Pragmatics, Auto-Layout Three Trends Wrap-Up Conclusion & Outlook
Designing Complex Cyber-Physical Systems—(Some) Issues Background: Models + Views, Pragmatics, Auto-Layout Three Trends Wrap-Up
Conclusion & Outlook
Reinhard von Hanxleden et al. Multi-View Modeling and Pragmatics in 2020 Slide 25
Designing Complex Cyber-Physical Systems—(Some) Issues Background: Models + Views, Pragmatics, Auto-Layout Three Trends Wrap-Up Conclusion & Outlook
◮ Separating models and views is key to handling complexity ◮ Trends:
⇒ usage-specific languages/views
⇒ object-based editing
⇒ (eg.) layout as a service
◮ KIELER is laboratory for exploring pragmatics of model-based
design (EPL)
◮ http://www.informatik.uni-kiel.de/rtsys/kieler/
thanks! questions or comments?
Reinhard von Hanxleden et al. Multi-View Modeling and Pragmatics in 2020 Slide 26
Pragmatics
Pragmatics – Syntax – Semantics – Semiotics Pragmatics of Model-Based Design An Experiment
KIELER
Building on Automatic Layout: View Management KIELER Semiotics Putting KIELER to Work
Pragmatics KIELER Pragmatics of Model-Based Design An Experiment
Pragmatics usually concentrates on practical aspects of how constructs and features of a language may be used to achieve various objectives (e. g., when to use an assignment). Here, will focus on the mechanics of handling a language (editing, maintaining, inspecting). Pragmatics of modeling languages =def practical aspects of handling a model in a model-based design flow
Reinhard von Hanxleden et al. Multi-View Modeling and Pragmatics in 2020 Slide 28
Pragmatics KIELER Pragmatics of Model-Based Design An Experiment
Task: create diagram from textual specification
Manual Auto-Layout Structure-Based 00:00 02:00 04:00 06:00 08:00 10:00 12:00 14:00 16:00 18:00 20:00 Class Practical KIELER-Team
Reinhard von Hanxleden et al. Multi-View Modeling and Pragmatics in 2020 Slide 29
Pragmatics KIELER Building on Automatic Layout: View Management KIELER Semiotics Putting KIELER to Work
◮ Structure-Based Editing ◮ Textual Editing ◮ Simulation
Reinhard von Hanxleden et al. Multi-View Modeling and Pragmatics in 2020 Slide 30
Pragmatics KIELER Building on Automatic Layout: View Management KIELER Semiotics Putting KIELER to Work
Reinhard von Hanxleden et al. Multi-View Modeling and Pragmatics in 2020 Slide 34
Pragmatics KIELER Building on Automatic Layout: View Management KIELER Semiotics Putting KIELER to Work Reinhard von Hanxleden et al. Multi-View Modeling and Pragmatics in 2020 Slide 35
Pragmatics KIELER Building on Automatic Layout: View Management KIELER Semiotics Putting KIELER to Work
Semiotics
Semantics Pragmatics Syntax
Reinhard von Hanxleden et al. Multi-View Modeling and Pragmatics in 2020 Slide 36
Pragmatics KIELER Building on Automatic Layout: View Management KIELER Semiotics Putting KIELER to Work
◮ Free user of manual mechanical work.
◮ Manual placing of graphical objects. ◮ Manual navigation in complex models.
◮ Focus on pragmatics.
◮ New interaction methodologies. ◮ New analysis methodologies. ◮ New ways to synthesize models. Reinhard von Hanxleden et al. Multi-View Modeling and Pragmatics in 2020 Slide 37
Pragmatics KIELER Building on Automatic Layout: View Management KIELER Semiotics Putting KIELER to Work
KIELER
Pragmatics
Dynamic Views
Automatic Layout View Manage- ment
Semantics Syntax
Reinhard von Hanxleden et al. Multi-View Modeling and Pragmatics in 2020 Slide 38
Pragmatics KIELER Building on Automatic Layout: View Management KIELER Semiotics Putting KIELER to Work
KIELER
Pragmatics Dynamic Views
Automatic Layout Meta Layout Analysis Evo- lution- ary Force Planar Layered Data Flow Rail View Manage- ment Model Cre- ation Structure Based Editing (KSBasE) Textual Editing Model Trans- formation (Esterel) Examples Visuali- zation Model Visuali- zation Environ- ment Visual- ization Comparison (KiViK) Label Manage- ment Compo- nent Compo- sition Data Effi- ciency Libraries
Semantics Execution Manager (KIEM) Code Generation
Synchronous C/Java Reactive Processors Lego Mind- storms UML State Machines
Simulation
Ptolemy (KlePto)
Syntax SyncCharts Actor Oriented
IEC 61499 Ptolemy Generic Model Explorer
Graphs Rail Model Rendering
Christian Motika S¨
Torsten Amende Mirko Heinold Claus Traulsen Yvan Benekov Jens Sch¨
Christian Motika Matthias Schmeling Achim Bleidiessel Matthias Schmeling Matthias Schmeling Christoph Kr¨ uger Hauke Wree Martin Rieß Nils Beckel Martin M¨ uller Miro Sp¨
Ole Claußen Christian Kutschmar Philipp D¨
Christoph Daniel Schulze John Julian Carstens Martin Rieß Bj¨
Paul Klose Michael Matzen Adriana Lukaschewitz Ulf R¨ uegg ¨ Ozg¨ un Bayramoglu Christian Schneider Martin M¨ uller Stephan Knauer Arne Schipper John Julian Carstens
Reinhard von Hanxleden et al. Multi-View Modeling and Pragmatics in 2020 Slide 39
Pragmatics KIELER Building on Automatic Layout: View Management KIELER Semiotics Putting KIELER to Work
Standalone Library Dataflow SyncCharts Algorithms KLoDD Class Zest Auto Layout Execution Compare (KiViK) Visualization Structure Based Editing Textual Editing GMF Runtime Activity State Machine ... GraphViz Matlab/Simulink Eclipse GMF Editors KIELER Higher Level Services Independent Libraries Simulink Glue ...
Reinhard von Hanxleden et al. Multi-View Modeling and Pragmatics in 2020 Slide 40