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

More documents

Recommendations

Info

EARS and Datalog ► Rule systems can be noted textually or graphically (DATALOG or EARS) ► EARS (edge addition rewrite systems) contain graph rewrite rules, which add edges ► Rule nodes contain variables Parent Child1 Child2 Parent Child1 Child2 ► Datalog contains textual if-then rules, which test predicates about the constants ► rules contain variables <strong>to</strong> match many constants // conclusion sameGeneration(Child1, Child2) :- // say: "if" // premise isParentOf(Parent,Child1), isParentOf(Parent,Child2). // premise if isParentOf(Parent,Child1) && isParentOf(Parent,Child2 then // conclusion sameGeneration(Child1,Child2) 50 Prof. Uwe Aßmann, Softwaretechnologie II
Same Generation Datalog Program isParentOf(Adam,GustavAdolf). isParentOf(Adam,Sibylla). ..... if isParentOf(Parent,Child1), isParentOf (Parent,Child2) then sameGeneration(Child1, Child2). if sameGeneration(Parent1,Parent2), isParentOf(Parent1,Child1), isParentOf (Parent2,Child2) then sameGeneration(Child1, Child2). Prof. Uwe Aßmann, Softwaretechnologie II 51
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 and 14: Example: Rename Refacto</st
Page 15 and 16: Refactoring on Def
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: Searching Graphs -
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, ©

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

Create successful ePaper yourself

Delete template?

Save as template?