1 / 12

Formal Concept Analysis of Procedure Call Relations

Formal Concept Analysis of Procedure Call Relations. Christopher Taylor. Formal Concept Analysis. Foundations notion of “concept” in logic(19th Century) Lattice Theory (~1940’s) Introduced by Rudolf Wille (1979) A discrete technique for data analysis and knowledge processing

lazaro
Download Presentation

Formal Concept Analysis of Procedure Call Relations

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Formal Concept AnalysisofProcedure Call Relations Christopher Taylor

  2. Formal Concept Analysis • Foundations • notion of “concept” in logic(19th Century) • Lattice Theory (~1940’s) • Introduced by Rudolf Wille (1979) • A discrete technique for data analysis and knowledge processing • more suited to problems in our discipline (until law of large numbers takes over)?

  3. Example

  4. Quantum Scheme Interpreter

  5. Finite Automaton Simulator

  6. Future Work • Analyze larger systems (tool limitation) • Compare more systems with similar structure • Automate the concept lattice generation • Analyze some of the deeper lattice properties • what do they tell us about the system structure • Compare concept analysis to other methods • Can knowledge extraction be automated?

  7. Related Work • Assessing Modular Structure of Legacy Code (Christian Lindig and Gregor Snelting) • tried to find module in old systems • Software Reengineering (Gregor Snelting) • further work on modularizing legacy code • All anaylsis is done by manual inspection of generated lattice (if you can’t see it ...)

  8. References • Formal Concept Analysis: Mathematical Foundations. Bernhard Ganter and Rudolf Wille. Springer-Verlag 1999 • Software Reengineering Based on Concept Lattices. Gregor Snelting. ICSE 2000 • Assessing Modular Structure of Legacy Code Based on Mathematical Concept Analysis. Christian Linding and Gregor Snelting. ICSE 1997

More Related