How to Analyze Graph-Based Models - Www-st.inf.tu-dresden.de ...

More documents

Recommendations

Info

Definition-Use <strong>Graph</strong>s (Def-Use <strong>Graph</strong>s) ► Every language and notation has ■ Definitions of items (also the variable Foo) ■ Uses of items (references <strong>to</strong> Foo) ► This is because we talk in specifications about names of objects and their use ■ Definitions are done in a data definition language (DDL) ■ Uses are part of a data manipulation language (DML) ► Starting from the abstract syntax, the name analysis finds out about the definitions, uses, and their relations (the Def-Use graph) ■ Def-Use graphs exist in every language! ■ <strong>How</strong> <strong>to</strong> specify the name analysis, i.e., the def-use graph? Prof. Uwe Aßmann, Softwaretechnologie II 14
Refac<strong>to</strong>ring on Def-Use <strong>Graph</strong>s ► For renaming of a definition, all uses have <strong>to</strong> be changed, <strong>to</strong>o ■ We need <strong>to</strong> trace all uses of a definition in the Def-Use-graph ■ Refac<strong>to</strong>ring works always on Def-Use-graphs ► Refac<strong>to</strong>ring works always in the same way: ■ Change a definition ■ Find all dependent references ■ Change them ■ Recurse handling other dependent definitions ► Refac<strong>to</strong>ring can be supported by <strong>to</strong>ols ■ The Def-Use-graph forms the basis of refac<strong>to</strong>ring <strong>to</strong>ols ► <strong>How</strong>ever, building the Def-Use-<strong>Graph</strong> for a complete program costs a lot of space and is a difficult program analysis task ■ Every method that structures the Def-Use-<strong>Graph</strong> benefits immediately the refac<strong>to</strong>ring ■ either simplifying or accelerating it Prof. Uwe Aßmann, Softwaretechnologie II 15
Page 1 and 2: How to</st
Page 3 and 4: Obligatory Reading
Page 5 and 6: Goals ► Understand that software
Page 7 and 8: The Problem: How <
Page 9 and 10: Partially Collapsed Prof. Uwe Aßma
Page 11 and 12: Requirements for Modelling in Requi
Page 13: Example: Rename Refacto</st
Page 17 and 18: Data-Flow Graphs
Page 19 and 20: Precise Call Graph
Page 21 and 22: Types of Graphs in
Page 23 and 24: Definitions ► Fan-in ■ In-degre
Page 25 and 26: Trees ► One source (root) ► Man
Page 27 and 28: Directed Graphs (D
Page 29 and 30: Reducible Graphs (
Page 31 and 32: Strength of Assertions in M
Page 33 and 34: Structuring Improves Worst Case Lis
Page 35 and 36: Methods and Tools for Analysis of <
Page 37 and 38: Graphs and Fact Da
Page 39 and 40: Queries on Graphs
Page 41 and 42: Layering of Systems ► To be compr
Page 43 and 44: Pattern and Rules ► Parenthood ca
Page 45 and 46: Same Generation ► Beyond sisters
Page 47 and 48: Same Generation Introduces Layers
Page 49 and 50: Searching Graphs -
Page 51 and 52: Same Generation Datalog Program isP
Page 53 and 54: Description Logic (DL) ► Is a spe
Page 55 and 56: Application Areas of Datalog, DL, O
Page 57 and 58: Answer Alternative category text Ex
Page 59 and 60: Example: Web Queries with Logic ►
Page 61 and 62: Who is Descendant of Whom? ► Some
Page 63 and 64: Impact of Basic Rule GustavAdolf Ad
Page 65 and 66:
[S|M][S|M]PP Path Problems: Variant
Page 67 and 68:
Exercise: Railway Routes ► Base (
Page 69 and 70:
Central Theorem of Datalog/DL/EARS
Page 71 and 72:
Applications of Graph</stro
Page 73 and 74:
Generic Datalog Queries ► Transit
Page 75 and 76:
Example 1: Consistency Checking for
Page 77 and 78:
Second Idea ► Analyze</st
Page 79 and 80:
Example 2: Consistency Checking of
Page 81 and 82:
Second Idea ► Write queries that
Page 83 and 84:
Example 3: UML Specifications in So
Page 85 and 86:
Answer Alternative category text Ex
Page 87 and 88:
Third Idea: Use Onto</stron
Page 89:
The End Softwaretechnologie II, ©
show all

How to Analyze Graph-Based Models - Www-st.inf.tu-dresden.de ...

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?