Mining Entities to Rules with MEntoR

182
-1

Published on

Presentation at BENEVOL 2010

Published in: Technology
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total Views
182
On Slideshare
0
From Embeds
0
Number of Embeds
0
Actions
Shares
0
Downloads
1
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

Mining Entities to Rules with MEntoR

  1. 1. Mining Entities to Rules MEntoR Angela Lozano, Andy Kellens, Kim Mens, Gabriela Arevalo Thursday 16 December 2010
  2. 2. source code regularities • Implementation standards e.g. idioms, naming conventions, design patterns.... • Encode design decisions • Facilitate comprehension, maintenance, & evolution • Are implicit = often not fully respected 2/9 Thursday 16 December 2010
  3. 3. source code regularities • Implementation standards e.g. idioms, naming conventions, design patterns.... • Encode design decisions • Facilitate comprehension, maintenance, & evolution • Are implicit = often not fully respected We can mine for regularities BUT their usefulness might be ‘entity-dependent’ 2/9 Thursday 16 December 2010
  4. 4. Motivation 3/9 Thursday 16 December 2010
  5. 5. Motivation 3/9 how to add a new action to the app? let me see Thursday 16 December 2010
  6. 6. Motivation 3/9 how to add a new action to the app? here! Thursday 16 December 2010
  7. 7. Motivation 3/9 Source code is reliable how to add a new action to the app? Thursday 16 December 2010
  8. 8. Motivation 3/9 Source code is reliable are there other examples of actions?here! Thursday 16 December 2010
  9. 9. Motivation 3/9 Source code is reliable which other methods should I add? here! Thursday 16 December 2010
  10. 10. Motivation 3/9 Source code is reliable It condenses design knowledge which other methods should I add? Thursday 16 December 2010
  11. 11. Motivation 3/9 Source code is reliable It condenses design knowledge which other methods should I add? are all actions implemented using the command pattern? Thursday 16 December 2010
  12. 12. Motivation 3/9 Source code is reliable It condenses design knowledge which other methods should I add? are all methods related to actions documented? Thursday 16 December 2010
  13. 13. Motivation 3/9 Source code is reliable It condenses design knowledge All developers need such knowledge to keep consistency which other methods should I add? are all methods related to actions documented? Thursday 16 December 2010
  14. 14. Motivation 3/9 Source code is reliable It condenses design knowledge All developers need such knowledge to keep consistency which other methods should I add? are all methods related to actions documented? Thursday 16 December 2010
  15. 15. Motivation 3/9 Source code is reliable It condenses design knowledge All developers need such knowledge to keep consistency We need automatic support to detect design knowledge in the code which other methods should I add? are all methods related to actions documented? Thursday 16 December 2010
  16. 16. 4/9 Thursday 16 December 2010
  17. 17. 4/9 Thursday 16 December 2010
  18. 18. 4/9 Thursday 16 December 2010
  19. 19. 4/9 Thursday 16 December 2010
  20. 20. 4/9 Thursday 16 December 2010
  21. 21. 4/9 Thursday 16 December 2010
  22. 22. 4/9 --------------------------CId>Action Impl>performAction -Impl>isUndoable -Hier>AddObjectAction -Ref>MenuService AbstractAddAction ------X ----------------- X ------------------------X -----------------------X ---------------------X AddObjectAction --------X ----------------- -------------------------------------------------------- ---------------------X Thursday 16 December 2010
  23. 23. Implications H>ArrayedCollection ==> Id>'Array' True in a closed world Subset relation in the FCA lattice H>ArrayedCollection Id>Array ArrayedCollection Array CharacterArray 5/9 Characterizing Collection Classes Characterizing Collection Classes AttributesAttributesAttributesAttributesAttributes Characterizing Collection Classes Characterizing Collection Classes Collection * * SequenceableCollection * * * OrderedCollection * * * ArrayedCollection * * * * * Array * * * * CharacterArray * * * * H>Collection H>SequenceableCollection H>ArrayedCollection Id>Collection Id>Array Classes Thursday 16 December 2010
  24. 24. Implications H>ArrayedCollection ==> Id>'Array' True in a closed world Subset relation in the FCA lattice Asssociations H>Collection --83%--> H>SequenceableCollection Most collections are sequenceable; but Collections is not Superset or siblings relation in the FCA lattice H>ArrayedCollection Id>Array ArrayedCollection Array CharacterArray H>Collection H>SequenceableCollection SequenceableCollection OrderedCollection ArrayedCollection Array CharacterArray Collection 5/9 Characterizing Collection Classes Characterizing Collection Classes AttributesAttributesAttributesAttributesAttributes Characterizing Collection Classes Characterizing Collection Classes Collection * * SequenceableCollection * * * OrderedCollection * * * ArrayedCollection * * * * * Array * * * * CharacterArray * * * * H>Collection H>SequenceableCollection H>ArrayedCollection Id>Collection Id>Array Classes Condition* Conclusion Thursday 16 December 2010
  25. 25. A regularity is a set of intersecting rules 6/9 Thursday 16 December 2010
  26. 26. CId>ActionHier>IntensiVEAction . A regularity is a set of intersecting rules . . . . .. . . . .. . . . .. . . . .. . . 6/9 Rule 1: CId>Action ==>Hier>IntensiVEAction Thursday 16 December 2010
  27. 27. Impl>performAction Impl>undoActio CId>ActionHier>IntensiVEAction . A regularity is a set of intersecting rules . . . . .. . . . .. . . . .. . . . .. . . 6/9 Rule 2: Impl>undoAction ==>Impl>performAction Thursday 16 December 2010
  28. 28. Impl>performAction Impl>undoActio Hier>AbstractAction Impl>name . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . CId>ActionHier>IntensiVEAction . A regularity is a set of intersecting rules . . . . .. . . . .. . . . .. . . . .. . . 6/9 Rule 3: Hier>AbstractAction -->Impl>name Thursday 16 December 2010
  29. 29. Impl>performAction Impl>undoActio 23 classes match Hier>AbstractAction Impl>name . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . CId>ActionHier>IntensiVEAction . A regularity is a set of intersecting rules . . . . .. . . . .. . . . .. . . . .. . . 6/9 Thursday 16 December 2010
  30. 30. 7/9 . . . . . . MEntoR . . . . . . . . . . . . . . . . . . . . . . If the entity in focus is here The usefulness of a rule might be ‘entity-dependent’ MEntoR is based on the entity in focus Condition properties → Conclusion properties Thursday 16 December 2010
  31. 31. 7/9 . . . . . . MEntoR . . . . . . . . . . . . . . . . . . . . . . If the entity in focus is here The usefulness of a rule might be ‘entity-dependent’ MEntoR is based on the entity in focus Condition properties → Conclusion properties Thursday 16 December 2010
  32. 32. 7/9 . . . . . . MEntoR . . . . . . . . . . . . . . . . . . . . . . If the entity in focus is here the entity is classified as The usefulness of a rule might be ‘entity-dependent’ MEntoR is based on the entity in focus Condition properties → Conclusion properties Thursday 16 December 2010
  33. 33. 7/9 . . . . . . MEntoR . . . . . . . . . . . . . . . . . . . . . . If the entity in focus is here an error the entity is classified as The usefulness of a rule might be ‘entity-dependent’ MEntoR is based on the entity in focus Condition properties → Conclusion properties of the rule Thursday 16 December 2010
  34. 34. 7/9 . . . . . . MEntoR . . . . . . . . . . . . . . . . . . . . . . If the entity in focus is here an error the entity is classified as The usefulness of a rule might be ‘entity-dependent’ MEntoR is based on the entity in focus Condition properties → Conclusion properties of the rule Thursday 16 December 2010
  35. 35. 7/9 . . . . . . MEntoR . . . . . . . . . . . . . . . . . . . . . . If the entity in focus is here an error the entity is classified as satisfied example The usefulness of a rule might be ‘entity-dependent’ MEntoR is based on the entity in focus Condition properties → Conclusion properties of the rule Thursday 16 December 2010
  36. 36. 7/9 . . . . . . MEntoR . . . . . . . . . . . . . . . . . . . . . . If the entity in focus is here an error the entity is classified as satisfied example The usefulness of a rule might be ‘entity-dependent’ MEntoR is based on the entity in focus Condition properties → Conclusion properties of the rule Thursday 16 December 2010
  37. 37. 7/9 . . . . . . MEntoR . . . . . . . . . . . . . . . . . . . . . . If the entity in focus is here an error the entity is classified as satisfied example a suggestion The usefulness of a rule might be ‘entity-dependent’ MEntoR is based on the entity in focus Condition properties → Conclusion properties of the rule Thursday 16 December 2010
  38. 38. 8/9 MEntoR Thursday 16 December 2010
  39. 39. 8/9 MEntoR Thursday 16 December 2010
  40. 40. MEntoR 8/9 Context is given by the entity in focus Thursday 16 December 2010
  41. 41. MEntoR 8/9 Entity in focus Context is given by the entity in focus Thursday 16 December 2010
  42. 42. 8/9 MEntoR Thursday 16 December 2010
  43. 43. 8/9 Selected rule Shows the rules related to the entity in focus MEntoR Thursday 16 December 2010
  44. 44. 8/9 Selected rule Shows the rules related to the entity in focus MEntoR Rule pretty printed Thursday 16 December 2010
  45. 45. MEntoR 8/9 Thursday 16 December 2010
  46. 46. Entity in focus MEntoR 8/9 Thursday 16 December 2010
  47. 47. Entity in focus Errors MEntoR Rules in which the entity complies with the condition but not with the conclusion (errors) 8/9 Thursday 16 December 2010
  48. 48. MEntoR 8/9 Thursday 16 December 2010
  49. 49. MEntoR Entity in focus 8/9 Thursday 16 December 2010
  50. 50. Rules in which the entity complies with the condition and with the conclusion (satisfied) MEntoR Satisfied rulesEntity in focus 8/9 Thursday 16 December 2010
  51. 51. MEntoR 8/9 Thursday 16 December 2010
  52. 52. MEntoR Entity in focus 8/9 Thursday 16 December 2010
  53. 53. Rules in which the entity complies partially with the conclusion but not with the condition (suggestions) Suggestions MEntoR Entity in focus 8/9 Thursday 16 December 2010
  54. 54. MEntoR Entity in focus Tag options 8/9 Thursday 16 December 2010
  55. 55. MEntoR Entity in focus 8/9 Rule View Thursday 16 December 2010
  56. 56. IVAbstractEntity IVCheckeableEntity IVComposableEntityDefiniton IVPersistentEntity UncheckedEntityEditor CId>Entity Hier>Classifications2.AbstractClassification Hier>Intensional.IVAbstractEntity IVViewDef ...... MEntoR 8/9 Thursday 16 December 2010
  57. 57. MEntoR 8/9 Thursday 16 December 2010
  58. 58. IVAbstractEntity IVCheckeableEntity IVComposableEntityDefiniton IVPersistentEntity UncheckedEntityEditor CId>Entity Hier>Classifications2.AbstractClassification Hier>Intensional.IVAbstractEntity IVViewDef ...... MEntoR 8/9 Thursday 16 December 2010
  59. 59. 9/9 Clairvoyant Thursday 16 December 2010

×