Formal concept analysis of procedure call relations l.jpg
This presentation is the property of its rightful owner.
Sponsored Links
1 / 12

Formal Concept Analysis of Procedure Call Relations PowerPoint PPT Presentation


  • 144 Views
  • Uploaded on
  • Presentation posted in: General

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

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.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -

Presentation Transcript


Formal concept analysis of procedure call relations l.jpg

Formal Concept AnalysisofProcedure Call Relations

Christopher Taylor


Formal concept analysis l.jpg

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)?


Example l.jpg

Example


Quantum scheme interpreter l.jpg

Quantum Scheme Interpreter


Finite automaton simulator l.jpg

Finite Automaton Simulator


Future work l.jpg

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?


Related work l.jpg

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 ...)


References l.jpg

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


  • Login