Visualizing State Transition Graphs Hannes Pretorius Visualization Group, TU/e 17 October 2007

Slides:



Advertisements
Similar presentations
Exploring Large Social Networks Nathalie Henry French co-supervisor Dr. Jean-Daniel Fekete INRIA / LRI University of Paris-Sud (Orsay)
Advertisements

10 september 2002 A.Broersen Developing a Virtual Piano Playing Environment By combining distributed functionality among independent Agents.
Trends in Conceptual Modeling: Citation Analysis of the ER Conference Papers ( ) Chaomei Chen, Il-Yeol Song, Weizhong Zhu
Alina Pommeranz, MSc in Interactive System Engineering supervised by Dr. ir. Pascal Wiggers and Prof. Dr. Catholijn M. Jonker.
A Graph-based Recommender System Zan Huang, Wingyan Chung, Thian-Huat Ong, Hsinchun Chen Artificial Intelligence Lab The University of Arizona 07/15/2002.
STATEMATE A Working Environment for the Development of Complex Reactive Systems.
UML (Sequence Diagrams, Collaboration and State Chart Diagrams) Presentation By - SANDEEP REDDY CHEEDEPUDI (Student No: ) - VISHNU CHANDRADAS (Student.
A Brief Introduction. Acknowledgements  The material in this tutorial is based in part on: Concurrency: State Models & Java Programming, by Jeff Magee.
System Modelling System modelling helps the analyst to understand the functionality of the system and models are used to communicate with customers. Different.
University at BuffaloThe State University of New York Interactive Exploration of Coherent Patterns in Time-series Gene Expression Data Daxin Jiang Jian.
Object-Oriented Analysis and Design
Graph Drawing Zsuzsanna Hollander. Reviewed Papers Effective Graph Visualization via Node Grouping Janet M. Six and Ioannis G. Tollis. Proc InfoVis 2001.
Funding Networks Abdullah Sevincer University of Nevada, Reno Department of Computer Science & Engineering.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 8 Slide 1 System models.
A First Attempt towards a Logical Model for the PBMS PANDA Meeting, Milano, 18 April 2002 National Technical University of Athens Patterns for Next-Generation.
The Data Mining Visual Environment Motivation Major problems with existing DM systems They are based on non-extensible frameworks. They provide a non-uniform.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 8 Slide 1 System models September 29, 2008.
/department of mathematics and computer science Visualization of Transition Systems Hannes Pretorius Visualization Group
Improving UML Class Diagrams using Design Patterns Semantics Shahar Maoz Work in Progress.
Memoplex Browser: Searching and Browsing in Semantic Networks CPSC 533C - Project Update Yoel Lanir.
© 2008 IBM Corporation Behavioral Models for Software Development Andrei Kirshin, Dolev Dotan, Alan Hartman January 2008.
WPI Center for Research in Exploratory Data and Information Analysis From Data to Knowledge: Exploring Industrial, Scientific, and Commercial Databases.
Yuri de Lugt Collexis Karin Clavel TU Delft Library.
©Ian Sommerville 2000 Software Engineering, 6th edition. Chapter 7 Slide 1 System models l Abstract descriptions of systems whose requirements are being.
Introduction to Information Visualization
Data Management Turban, Aronson, and Liang Decision Support Systems and Intelligent Systems, Seventh Edition.
Geovisualization for Constructing and Sharing Concepts Alan M. MacEachren, Mark Gahegan, & Bill Pike GeoVISTA Center Geography, Penn State
©Ian Sommerville 2000 Software Engineering, 6th edition. Chapter 7 Slide 1 System models l Abstract descriptions of systems whose requirements are being.
CS 310 Ch8: System models Abstract descriptions of systems being analyzed to help the analyst understand the system functionality communicate with customers.
System models. System modelling System modelling helps the analyst to understand the functionality of the system and models are used to communicate with.
Dist FuncIntroPersonalityProvenanceGroupWrap-up 1/40 User-Centric Visual Analytics Remco Chang Tufts University.
© 2010 Pearson Addison-Wesley. All rights reserved. Addison Wesley is an imprint of Designing the User Interface: Strategies for Effective Human-Computer.
VAST 2011 Sebastian Bremm, Tatiana von Landesberger, Martin Heß, Tobias Schreck, Philipp Weil, and Kay Hamacher Interactive-Graphics Systems TU Darmstadt,
-1- Philipp Heim, Thomas Ertl, Jürgen Ziegler Facet Graphs: Complex Semantic Querying Made Easy Philipp Heim 1, Thomas Ertl 1 and Jürgen Ziegler 2 1 Visualization.
Visualization Blaz Zupan Faculty of Computer & Info Science University of Ljubljana, Slovenia.
Visual Perspectives iPLANT Visual Analytics Workshop November 5-6, 2009 ;lk Visual Analytics Bernice Rogowitz Greg Abram.
©Ian Sommerville 2006Software Engineering, 8th edition. Chapter 8 Slide 1 Object-oriented and Structured System Models.
Modeling Shari L. Pfleeger and Joanne M. Atlee, Software Engineering: Theory and Practice, 4 th edition, Prentice Hall, Hans Van Vliet, Software.
Sommerville 2004,Mejia-Alvarez 2009Software Engineering, 7th edition. Chapter 8 Slide 1 System models.
Lecture 18: Object-Oriented Design – Interaction and State Diagrams Anita S. Malik Adapted from Schach (2004) Chapter 12.
©Ian Sommerville 2000 Software Engineering, 6th edition. Chapter 7 Slide 1 Chapter 7 System Models.
Artificial Intelligence in Education, July 2005, Amsterdam Generating Reports of Graphical Modelling Processes for Authoring and Presentation Lars Bollen.
Non-Overlapping Aggregated Multivariate Glyphs for Moving Objects Roeland Scheepens, Huub van de Wetering, Jarke J. van Wijk Presented by: David Sheets.
Modeling as a Design Technique Chapter 2 Part 1: Modeling Concepts Object-Oriented Modeling and Design Byung-Hyun Ha
Decision Mining in Prom A. Rozinat and W.M.P. van der Aalst Joosung, Ko.
Improving Information Discovery for the AGU Abstract Archive Brendan Ashby, Sherry Chen, Aris Peng, Eric Rozell, Akeem Shirley Xinformatics Spring 2012.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 8 Slide 1 System models.
Chapter 7 Complex Similarity Topix. About this chapter Extends previous discussed methods The reader can choose to read about only specific methods, depending.
Communicating with Graphs  A visual display of information of data.
Summary from previous lectures
Using decision trees to build an a framework for multivariate time- series classification 1 Present By Xiayi Kuang.
Gerhard Dueck -- CS3013Analysis 1. Gerhard Dueck -- CS3013Analysis 2 Why analysis?  Yield a more precise specification of the requirements.  Introduce.
Modeling Shari L. Pfleeger and Joanne M. Atlee, Software Engineering: Theory and Practice, 4 th edition, Prentice Hall, Hans Van Vliet, Software.
Diagrams. Typically, we view the static parts of a system using one of the four following diagrams. 1. Class diagram 2. Object diagram 3. Component diagram.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 8 Slide 1 System models.
Semantic Graph Mining for Biomedical Network Analysis: A Case Study in Traditional Chinese Medicine Tong Yu HCLS
Visualization in Process Mining
Object-oriented and Structured System Models
Profiling based unstructured process logs
Lecture 15: Analytic Provenance
Integrating graphical and natural language specifications to support change, analysis and testing C. Robinson-Mallett, Siemens AG, Berlin, Germany R.
Neil A. Ernst, Margaret-Anne Storey, Polly Allen, Mark Musen
Hierarchies (Trees) Definition Examples
Event Relation Graphs and Extensions in Ptolemy II
Behavioral Models for Software Development
System models October 5, 2005.
Modeling Shari L. Pfleeger and Joanne M. Atlee, Software Engineering: Theory and Practice, 4th edition, Prentice Hall, Hans Van Vliet, Software Engineering:
DyKOSMap : a tool to manage ontology alignment dynamics
Semantic Nets and Frames
Simulation-driven Enterprise Modelling: WHY ?
Presentation transcript:

Visualizing State Transition Graphs Hannes Pretorius Visualization Group, TU/e 17 October

Introduction

State transition graph Graph G = (V, E) where: Node s in V is a possible system state Directed edge t = (s, s’) in E is a transition from source state s to target state s’

Research question “How can visualization be used to gain insight into state transition graphs?”

Research question “How can visualization be used to gain insight into state transition graphs?” What is insight? –Symmetries, patterns… What about size? –System behavior is often complex Typical users? –Small number of expert users

Related work Van Ham et al., TVCG, 2002.

Approach

Handle_pos Front_wheel_pos Back_wheel_pos Seat_pos = up = out = in = down

Handle_pos Front_wheel_pos Back_wheel_pos Seat_pos = down = in = out = up

State transition graph Graph G = (V, E) where: Node s in V is a possible system state Directed edge t = (s, s’) in E is a transition from source state s to target state s’

State transition graph Graph G = (V, E) where: Node s in V is a possible system state Directed edge t = (s, s’) in E is a transition from source state s to target state s’ Every node s in V has: n associated attributes a i a i has domain A i = {a i,1, …, a i,k i }

Projection Pretorius and Van Wijk, IV, 2005.

Projection Multivariate data: –Select interesting subset –Show low-dimensional projection Pretorius and Van Wijk, IV, 2005.

Projection Multivariate data: –Select interesting subset –Show low-dimensional projection Suggestive behavioral patterns Meaning of positions projected to not clear Select subset based on domain knowledge Pretorius and Van Wijk, IV, 2005.

Clustering Pretorius and Van Wijk, InfoVis, 2006.

All states Handle_pos Seat_pos

Clustering Choose subsets based on domain knowledge Position clusters linearly Show additional information on top of this: –Clustering hierarchy –Arcs representing transitions –Bar tree representing size of clusters Pretorius and Van Wijk, InfoVis, 2006.

Clustering Reduce complexity –Location has meaning Patterns: –Attribute values –Behavior –Cluster sizes Different types of analysis: –Explorative (e.g. different perspectives) –Specific (e.g. deadlock analysis) Pretorius and Van Wijk, InfoVis, 2006.

Custom diagrams Pretorius and Van Wijk, CG&A, Mathijssen and Pretorius, LNCS, 2007.

Custom diagrams Support diagramming in general way: –Edit diagrams –Link with attributes Capture conceptualization of problem Pretorius and Van Wijk, CG&A, Mathijssen and Pretorius, LNCS, 2007.

Custom diagrams Support diagramming in general way: –Edit diagrams –Link with attributes Capture conceptualization of problem Semantics clear and intuitive Analysis and communication Flexible Pretorius and Van Wijk, CG&A, Mathijssen and Pretorius, LNCS, 2007.

Wafer stepperPaint factoryPetri nets

Trace visualization Submitted, PacificVis, 2008.

Time Attributes 1k 1 n 1 2

Time Attributes 1k 1 n

3

Submitted, PacificVis, 2008.

Trace visualization Traces: –Curb size and complexity –Users intuitively relate to time Submitted, PacificVis, 2008.

Trace visualization Traces: –Curb size and complexity –Users intuitively relate to time Three views: 1.Diagram: easier to interpret 2.Time series: general trends 3.Transition graph: generalized behavior Submitted, PacificVis, 2008.

Conclusion Visualization of state transition graphs Prototyping Focus on state attributes –Clear semantics Explorative analysis: –E.g. different perspectives Focused analysis: –E.g. deadlock, steam flow

Questions

Projection (cont.)