Raffi Khatchadourian, profile picture
Uploaded byRaffi Khatchadourian
PDF, PPTX689 views

On the Assessment of Pointcut Design in Evolving Aspect-Oriented Software

The document proposes metrics to measure how well a pointcut expression (PCE) captures a developer's intentions in aspect-oriented programming. It defines high-level intentions as natural language descriptions of where a crosscutting concern applies, and low-level intentions as structural relationships. Two metrics are proposed: coverage measures how well a PCE covers the entire intention, and precision measures how well it captures solely the intention. Examples of intentions and PCEs are provided.

Embed presentation

Download as PDF, PPTX
On the Assessment of Pointcut Design in Evolving Aspect-Oriented Software1 Raffi Khatchadourian12 Phil Greenwood2 Awais Rashid2 1 Department of Computer Science & Engineering Ohio State University Columbus, OH USA 2 Computing Department Lancaster University Lancaster UK Workshop on Assessment of Contemporary Modularization Techniques, 2008 1 This material is based upon work supported in part by European Commission grants IST-33710 (AMPLE) and IST-2-004349 (AOSD-Europe). 2 This work was partially administered during this author’s visit to the Computing Department, Lancaster University, United Kingdom.
Brief Introduction to AOP Problem Statement Proposal Example Conclusion and Future Work Outline 1 Brief Introduction to AOP 2 Problem Statement Definitions 3 Proposal Metrics Formalism 4 Example Scenario Metrics 5 Conclusion and Future Work Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Proposal Example Conclusion and Future Work Aspect-Oriented Programming AOP reduces scattering and tangling of crosscutting concern (CCCs) implementations. Developer specifies behavior (advice). Advice is composed at specific execution points (join points). Join points specified via pointcut expressions (PCEs). Example execution(* Foo.*(..)) execution(* Foo.methodA()) Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Proposal Example Conclusion and Future Work Aspect-Oriented Programming AOP reduces scattering and tangling of crosscutting concern (CCCs) implementations. Developer specifies behavior (advice). Advice is composed at specific execution points (join points). Join points specified via pointcut expressions (PCEs). Example execution(* Foo.*(..)) execution(* Foo.methodA()) Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Proposal Example Conclusion and Future Work Aspect-Oriented Programming AOP reduces scattering and tangling of crosscutting concern (CCCs) implementations. Developer specifies behavior (advice). Advice is composed at specific execution points (join points). Join points specified via pointcut expressions (PCEs). Example execution(* Foo.*(..)) execution(* Foo.methodA()) Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Proposal Example Conclusion and Future Work Aspect-Oriented Programming AOP reduces scattering and tangling of crosscutting concern (CCCs) implementations. Developer specifies behavior (advice). Advice is composed at specific execution points (join points). Join points specified via pointcut expressions (PCEs). Example execution(* Foo.*(..)) execution(* Foo.methodA()) Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Proposal Example Conclusion and Future Work Aspect-Oriented Programming AOP reduces scattering and tangling of crosscutting concern (CCCs) implementations. Developer specifies behavior (advice). Advice is composed at specific execution points (join points). Join points specified via pointcut expressions (PCEs). Example execution(* Foo.*(..)) execution(* Foo.methodA()) Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Proposal Example Conclusion and Future Work Aspect-Oriented Programming AOP reduces scattering and tangling of crosscutting concern (CCCs) implementations. Developer specifies behavior (advice). Advice is composed at specific execution points (join points). Join points specified via pointcut expressions (PCEs). Example execution(* Foo.*(..)) execution(* Foo.methodA()) Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Proposal Definitions Example Conclusion and Future Work The Problem Constructing optimal PCEs can be difficult. Fragile Pointcuts PCEs should capture correct join points not only in the current version of the base-code but future versions as well. Capturing true intentions of where a CCC applies may alleviate fragility. PCEs often in terms of low-level programming elements. High-level specifications must be translated. Question Can we measure how well a PCE captures a developer’s intentions? Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Proposal Definitions Example Conclusion and Future Work The Problem Constructing optimal PCEs can be difficult. Fragile Pointcuts PCEs should capture correct join points not only in the current version of the base-code but future versions as well. Capturing true intentions of where a CCC applies may alleviate fragility. PCEs often in terms of low-level programming elements. High-level specifications must be translated. Question Can we measure how well a PCE captures a developer’s intentions? Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Proposal Definitions Example Conclusion and Future Work The Problem Constructing optimal PCEs can be difficult. Fragile Pointcuts PCEs should capture correct join points not only in the current version of the base-code but future versions as well. Capturing true intentions of where a CCC applies may alleviate fragility. PCEs often in terms of low-level programming elements. High-level specifications must be translated. Question Can we measure how well a PCE captures a developer’s intentions? Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Proposal Definitions Example Conclusion and Future Work The Problem Constructing optimal PCEs can be difficult. Fragile Pointcuts PCEs should capture correct join points not only in the current version of the base-code but future versions as well. Capturing true intentions of where a CCC applies may alleviate fragility. PCEs often in terms of low-level programming elements. High-level specifications must be translated. Question Can we measure how well a PCE captures a developer’s intentions? Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Proposal Definitions Example Conclusion and Future Work The Problem Constructing optimal PCEs can be difficult. Fragile Pointcuts PCEs should capture correct join points not only in the current version of the base-code but future versions as well. Capturing true intentions of where a CCC applies may alleviate fragility. PCEs often in terms of low-level programming elements. High-level specifications must be translated. Question Can we measure how well a PCE captures a developer’s intentions? Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Proposal Definitions Example Conclusion and Future Work The Problem Constructing optimal PCEs can be difficult. Fragile Pointcuts PCEs should capture correct join points not only in the current version of the base-code but future versions as well. Capturing true intentions of where a CCC applies may alleviate fragility. PCEs often in terms of low-level programming elements. High-level specifications must be translated. Question Can we measure how well a PCE captures a developer’s intentions? Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Proposal Definitions Example Conclusion and Future Work Intentions “High”-level intention: A natural language description of where CCC applies. Example Advise whenever data is sent over a network connection Low-level intention: A description of where a CCC applies in terms of structural program element relationships. Example Advise calls to methods that write to field networkConn Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Proposal Definitions Example Conclusion and Future Work Intentions “High”-level intention: A natural language description of where CCC applies. Example Advise whenever data is sent over a network connection Low-level intention: A description of where a CCC applies in terms of structural program element relationships. Example Advise calls to methods that write to field networkConn Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Proposal Definitions Example Conclusion and Future Work Intentions “High”-level intention: A natural language description of where CCC applies. Example Advise whenever data is sent over a network connection Low-level intention: A description of where a CCC applies in terms of structural program element relationships. Example Advise calls to methods that write to field networkConn Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Proposal Definitions Example Conclusion and Future Work Intentions “High”-level intention: A natural language description of where CCC applies. Example Advise whenever data is sent over a network connection Low-level intention: A description of where a CCC applies in terms of structural program element relationships. Example Advise calls to methods that write to field networkConn Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Proposal Definitions Example Conclusion and Future Work Intentions “High”-level intention: A natural language description of where CCC applies. Example Advise whenever data is sent over a network connection Low-level intention: A description of where a CCC applies in terms of structural program element relationships. Example Advise calls to methods that write to field networkConn Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Proposal Definitions Example Conclusion and Future Work Intentions “High”-level intention: A natural language description of where CCC applies. Example Advise whenever data is sent over a network connection Low-level intention: A description of where a CCC applies in terms of structural program element relationships. Example Advise calls to methods that write to field networkConn Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Proposal Definitions Example Conclusion and Future Work Pointcut Expressions Join point shadow: Base-code corresponding to a join point. Pointcut: A set of join point shadows. Conservative Approach Assume any dynamic condition always evaluates to true. Example execution(* x()) ≡ {C.x() {..}, D.x() {..}} Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Proposal Definitions Example Conclusion and Future Work Pointcut Expressions Join point shadow: Base-code corresponding to a join point. Pointcut: A set of join point shadows. Conservative Approach Assume any dynamic condition always evaluates to true. Example execution(* x()) ≡ {C.x() {..}, D.x() {..}} Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Proposal Definitions Example Conclusion and Future Work Pointcut Expressions Join point shadow: Base-code corresponding to a join point. Pointcut: A set of join point shadows. Conservative Approach Assume any dynamic condition always evaluates to true. Example execution(* x()) ≡ {C.x() {..}, D.x() {..}} Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Proposal Definitions Example Conclusion and Future Work Pointcut Expressions Join point shadow: Base-code corresponding to a join point. Pointcut: A set of join point shadows. Conservative Approach Assume any dynamic condition always evaluates to true. Example execution(* x()) ≡ {C.x() {..}, D.x() {..}} Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Metrics Proposal Formalism Example Conclusion and Future Work Metrics: Two Dimensions Base-code Intention Metric I: Coverage PCE How well does PCE cover entire intention? I Metric II: Precision How well does PCE II capture solely the intention? Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Metrics Proposal Formalism Example Conclusion and Future Work Metrics: Two Dimensions Base-code Intention Metric I: Coverage PCE How well does PCE cover entire intention? I Metric II: Precision How well does PCE II capture solely the intention? Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Metrics Proposal Formalism Example Conclusion and Future Work Metrics: Two Dimensions Base-code Intention Metric I: Coverage PCE How well does PCE cover entire intention? I Metric II: Precision How well does PCE II capture solely the intention? Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Metrics Proposal Formalism Example Conclusion and Future Work Intention Matching Approach Capture rich program element relationships in a concern graph[1] adapted for AOP. Express intentions as patterns over finite, acyclic paths in the graph. Apply the patterns to the extended concern graph. Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Metrics Proposal Formalism Example Conclusion and Future Work Intention Matching Approach Capture rich program element relationships in a concern graph[1] adapted for AOP. Express intentions as patterns over finite, acyclic paths in the graph. Apply the patterns to the extended concern graph. Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Metrics Proposal Formalism Example Conclusion and Future Work Intention Matching Approach Capture rich program element relationships in a concern graph[1] adapted for AOP. Express intentions as patterns over finite, acyclic paths in the graph. Apply the patterns to the extended concern graph. Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Metrics Proposal Formalism Example Conclusion and Future Work Metric Formalisms Formalism Apce A pointcut expression π ˆ A pattern + CG P An extended concern graph Paths(CG + ) P Finite acyclic paths in CG + P |Apce ∩ Match(ˆ , Paths(CG + ))| π P M1 (ˆ , Apce ) = π |Apce | |Apce ∩ Match(ˆ , Paths(CG + ))| π P M2 (ˆ , Apce ) = π |Match(ˆ , Paths(CG + ))| π P Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Metrics Proposal Formalism Example Conclusion and Future Work Metric Formalisms Formalism Apce A pointcut expression π ˆ A pattern + CG P An extended concern graph Paths(CG + ) P Finite acyclic paths in CG + P |Apce ∩ Match(ˆ , Paths(CG + ))| π P M1 (ˆ , Apce ) = π |Apce | |Apce ∩ Match(ˆ , Paths(CG + ))| π P M2 (ˆ , Apce ) = π |Match(ˆ , Paths(CG + ))| π P Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Metrics Proposal Formalism Example Conclusion and Future Work Metric Formalisms Formalism Apce A pointcut expression π ˆ A pattern + CG P An extended concern graph Paths(CG + ) P Finite acyclic paths in CG + P |Apce ∩ Match(ˆ , Paths(CG + ))| π P M1 (ˆ , Apce ) = π |Apce | |Apce ∩ Match(ˆ , Paths(CG + ))| π P M2 (ˆ , Apce ) = π |Match(ˆ , Paths(CG + ))| π P Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Metrics Proposal Formalism Example Conclusion and Future Work Metric Formalisms Formalism Apce A pointcut expression π ˆ A pattern + CG P An extended concern graph Paths(CG + ) P Finite acyclic paths in CG + P |Apce ∩ Match(ˆ , Paths(CG + ))| π P M1 (ˆ , Apce ) = π |Apce | |Apce ∩ Match(ˆ , Paths(CG + ))| π P M2 (ˆ , Apce ) = π |Match(ˆ , Paths(CG + ))| π P Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Metrics Proposal Formalism Example Conclusion and Future Work Metric Formalisms Formalism Apce A pointcut expression π ˆ A pattern + CG P An extended concern graph Paths(CG + ) P Finite acyclic paths in CG + P |Apce ∩ Match(ˆ , Paths(CG + ))| π P M1 (ˆ , Apce ) = π |Apce | |Apce ∩ Match(ˆ , Paths(CG + ))| π P M2 (ˆ , Apce ) = π |Match(ˆ , Paths(CG + ))| π P Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Metrics Proposal Formalism Example Conclusion and Future Work Metric Formalisms Formalism Apce A pointcut expression π ˆ A pattern + CG P An extended concern graph Paths(CG + ) P Finite acyclic paths in CG + P |Apce ∩ Match(ˆ , Paths(CG + ))| π P M1 (ˆ , Apce ) = π |Apce | |Apce ∩ Match(ˆ , Paths(CG + ))| π P M2 (ˆ , Apce ) = π |Match(ˆ , Paths(CG + ))| π P Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Metrics Proposal Formalism Example Conclusion and Future Work Metric Formalisms Formalism Apce A pointcut expression π ˆ A pattern + CG P An extended concern graph Paths(CG + ) P Finite acyclic paths in CG + P |Apce ∩ Match(ˆ , Paths(CG + ))| π P M1 (ˆ , Apce ) = π |Apce | |Apce ∩ Match(ˆ , Paths(CG + ))| π P M2 (ˆ , Apce ) = π |Match(ˆ , Paths(CG + ))| π P Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Metrics Proposal Formalism Example Conclusion and Future Work Metric Formalisms Formalism Apce A pointcut expression π ˆ A pattern + CG P An extended concern graph Paths(CG + ) P Finite acyclic paths in CG + P |Apce ∩ Match(ˆ , Paths(CG + ))| π P M1 (ˆ , Apce ) = π |Apce | |Apce ∩ Match(ˆ , Paths(CG + ))| π P M2 (ˆ , Apce ) = π |Match(ˆ , Paths(CG + ))| π P Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Metrics Proposal Formalism Example Conclusion and Future Work Metric Formalisms Formalism Apce A pointcut expression π ˆ A pattern + CG P An extended concern graph Paths(CG + ) P Finite acyclic paths in CG + P |Apce ∩ Match(ˆ , Paths(CG + ))| π P M1 (ˆ , Apce ) = π |Apce | |Apce ∩ Match(ˆ , Paths(CG + ))| π P M2 (ˆ , Apce ) = π |Match(ˆ , Paths(CG + ))| π P Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Metrics Proposal Formalism Example Conclusion and Future Work Metric Formalisms Formalism Apce A pointcut expression π ˆ A pattern + CG P An extended concern graph Paths(CG + ) P Finite acyclic paths in CG + P |Apce ∩ Match(ˆ , Paths(CG + ))| π P M1 (ˆ , Apce ) = π |Apce | |Apce ∩ Match(ˆ , Paths(CG + ))| π P M2 (ˆ , Apce ) = π |Match(ˆ , Paths(CG + ))| π P Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Metrics Proposal Formalism Example Conclusion and Future Work Metric Formalisms Formalism Apce A pointcut expression π ˆ A pattern + CG P An extended concern graph Paths(CG + ) P Finite acyclic paths in CG + P |Apce ∩ Match(ˆ , Paths(CG + ))| π P M1 (ˆ , Apce ) = π |Apce | |Apce ∩ Match(ˆ , Paths(CG + ))| π P M2 (ˆ , Apce ) = π |Match(ˆ , Paths(CG + ))| π P Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Metrics Proposal Formalism Example Conclusion and Future Work Metric Formalisms Formalism Apce A pointcut expression π ˆ A pattern + CG P An extended concern graph Paths(CG + ) P Finite acyclic paths in CG + P |Apce ∩ Match(ˆ , Paths(CG + ))| π P M1 (ˆ , Apce ) = π |Apce | |Apce ∩ Match(ˆ , Paths(CG + ))| π P M2 (ˆ , Apce ) = π |Match(ˆ , Paths(CG + ))| π P Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Metrics Proposal Formalism Example Conclusion and Future Work Metric Formalisms Formalism Apce A pointcut expression π ˆ A pattern + CG P An extended concern graph Paths(CG + ) P Finite acyclic paths in CG + P |Apce ∩ Match(ˆ , Paths(CG + ))| π P M1 (ˆ , Apce ) = π |Apce | |Apce ∩ Match(ˆ , Paths(CG + ))| π P M2 (ˆ , Apce ) = π |Match(ˆ , Paths(CG + ))| π P Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Scenario Proposal Metrics Example Conclusion and Future Work Base-code package p ; public class A { int f ; void m1 () { int a = f + 1; } void m2 () { int b = f + 2; } void n () { int c = f + 3; } } Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Scenario Proposal Metrics Example Conclusion and Future Work Concern Graph p contains A declares_method declares_method declares_method A.m2() declares_field A.n() A.m1() gets_field gets_field gets_field A.f Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Scenario Proposal Metrics Example Conclusion and Future Work An Intention Low-level Intention of where CCC Applies To advise all method executions that read from field A.f Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Scenario Proposal Metrics Example Conclusion and Future Work An Aspect package p ; public aspect B { before () : execution (* m *(..) ) { } } Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Scenario Proposal Metrics Example Conclusion and Future Work Concern Graph p contains A declares_method declares_method declares_method A.m2() declares_field A.n() A.m1() gets_field gets_field gets_field A.f Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Scenario Proposal Metrics Example Conclusion and Future Work Metric M1 |Apce ∩ Match(ˆ , Paths(CG + ))| π P M1 (ˆ , Apce ) = π |Apce | |{A.m1(), A.m2()} ∩ {A.m1(), A.m2(), A.n()}| = |{A.m1(), A.m2()}| = 1 Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Scenario Proposal Metrics Example Conclusion and Future Work Metric M1 |Apce ∩ Match(ˆ , Paths(CG + ))| π P M1 (ˆ , Apce ) = π |Apce | |{A.m1(), A.m2()} ∩ {A.m1(), A.m2(), A.n()}| = |{A.m1(), A.m2()}| = 1 Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Scenario Proposal Metrics Example Conclusion and Future Work Metric M1 |Apce ∩ Match(ˆ , Paths(CG + ))| π P M1 (ˆ , Apce ) = π |Apce | |{A.m1(), A.m2()} ∩ {A.m1(), A.m2(), A.n()}| = |{A.m1(), A.m2()}| = 1 Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Scenario Proposal Metrics Example Conclusion and Future Work Metric M2 |Apce ∩ Match(ˆ , Paths(CG + ))| π P M2 (ˆ , Apce ) = π |Match(ˆ , Paths(CG + ))| π P |{A.m1(), A.m2()} ∩ {A.m1(), A.m2(), A.n()}| = |{A.m1(), A.m2(), A.n()}| 2 = 3 Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Scenario Proposal Metrics Example Conclusion and Future Work Metric M2 |Apce ∩ Match(ˆ , Paths(CG + ))| π P M2 (ˆ , Apce ) = π |Match(ˆ , Paths(CG + ))| π P |{A.m1(), A.m2()} ∩ {A.m1(), A.m2(), A.n()}| = |{A.m1(), A.m2(), A.n()}| 2 = 3 Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Scenario Proposal Metrics Example Conclusion and Future Work Metric M2 |Apce ∩ Match(ˆ , Paths(CG + ))| π P M2 (ˆ , Apce ) = π |Match(ˆ , Paths(CG + ))| π P |{A.m1(), A.m2()} ∩ {A.m1(), A.m2(), A.n()}| = |{A.m1(), A.m2(), A.n()}| 2 = 3 Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Proposal Example Conclusion and Future Work Conclusion Capturing true intentions of where a CCC applies may alleviate fragility. Would like to measure how well a PCE captures a developer’s intentions. Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Proposal Example Conclusion and Future Work Conclusion Capturing true intentions of where a CCC applies may alleviate fragility. Would like to measure how well a PCE captures a developer’s intentions. Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Proposal Example Conclusion and Future Work Future Work Automatic inference of low-level intentions from high-level ones? How to encode all high-level intentions? Do metrics help alleviate fragility? Implementation/evaluation. Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Proposal Example Conclusion and Future Work Future Work Automatic inference of low-level intentions from high-level ones? How to encode all high-level intentions? Do metrics help alleviate fragility? Implementation/evaluation. Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Proposal Example Conclusion and Future Work Future Work Automatic inference of low-level intentions from high-level ones? How to encode all high-level intentions? Do metrics help alleviate fragility? Implementation/evaluation. Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Proposal Example Conclusion and Future Work Future Work Automatic inference of low-level intentions from high-level ones? How to encode all high-level intentions? Do metrics help alleviate fragility? Implementation/evaluation. Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
Brief Introduction to AOP Problem Statement Proposal Example Conclusion and Future Work References M. P. Robillard and G. C. Murphy. Concern graphs: finding and describing concerns using structural program dependencies. In International Conference on Software Engineering, 2002. Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software

More Related Content

PDF
Valcon Design Robustness Program 2013
bymartinebro
 
PPTX
Design for 6θ by Valcon - an introduction to the process and methods
bymartinebro
 
PPTX
Solution Architecture tips & tricks by Roman Shramkov
byJavaDayUA
 
PDF
Sw project mgmn q.papers
byswapnil shinde
 
PPS
Sioux Hot-or-Not: Essential Unified Process (Ivar Jacobson)
bysiouxhotornot
 
PPT
Software Life Cylce Model
byJegadeesh Sam
 
PDF
GenericFrame Prototyping Tool
bySoftware Prototyping
 
PPT
eXtreme programming
byJean Pаoli
 
Valcon Design Robustness Program 2013
bymartinebro
 
Design for 6θ by Valcon - an introduction to the process and methods
bymartinebro
 
Solution Architecture tips & tricks by Roman Shramkov
byJavaDayUA
 
Sw project mgmn q.papers
byswapnil shinde
 
Sioux Hot-or-Not: Essential Unified Process (Ivar Jacobson)
bysiouxhotornot
 
Software Life Cylce Model
byJegadeesh Sam
 
GenericFrame Prototyping Tool
bySoftware Prototyping
 
eXtreme programming
byJean Pаoli
 

What's hot

PDF
Bdd Introduction
bySkills Matter
 
PDF
Announcement Letter Synopsys Summer Internship Program
bychairperson
 
PDF
5 Quality
bytuomasniinimaki
 
PDF
Code Craftsmanship Checklist
byRyan Polk
 
PPTX
Managing eLearning Projects
byGus Prestera
 
PPT
Mdestypicalgoodbad
byAnthony Hutton
 
KEY
Defence: A multi-dimensional compositional approach for business process (sem...
byAng Chen
 
PPS
Sioux Hot-or-Not: Model Driven Software Development (Markus Voelter)
bysiouxhotornot
 
PPTX
BC: Improvement of Knowledge Sourcing and Provision
byjscheuring
 
PDF
Business Process Modeling Notation Fundamentals
byMustafa Jarrar
 
PDF
Sioux Hot-or-Not: Domain Driven Design (Edwin Van Dillen)
bysiouxhotornot
 
PPT
04 designing architectures
byMajong DevJfu
 
PDF
Applying UML and Patterns (CH1, 6, 9, 10)
byJamie (Taka) Wang
 
PDF
Togaf 9 template architecture vision
byKris Manzera
 
PPT
D11 Define Review
byLeanleaders.org
 
DOC
Extreme programming
bytuanvu8292
 
PDF
2012 icse program comprehension
byWalid Maalej
 
PDF
Scr Position Paper For Chi 04 Workshop
byArnold Rudorfer
 
PDF
Letters of Intent
bycrysatal16
 
PDF
Ba course content intensive
byCGI Federal
 
Bdd Introduction
bySkills Matter
 
Announcement Letter Synopsys Summer Internship Program
bychairperson
 
5 Quality
bytuomasniinimaki
 
Code Craftsmanship Checklist
byRyan Polk
 
Managing eLearning Projects
byGus Prestera
 
Mdestypicalgoodbad
byAnthony Hutton
 
Defence: A multi-dimensional compositional approach for business process (sem...
byAng Chen
 
Sioux Hot-or-Not: Model Driven Software Development (Markus Voelter)
bysiouxhotornot
 
BC: Improvement of Knowledge Sourcing and Provision
byjscheuring
 
Business Process Modeling Notation Fundamentals
byMustafa Jarrar
 
Sioux Hot-or-Not: Domain Driven Design (Edwin Van Dillen)
bysiouxhotornot
 
04 designing architectures
byMajong DevJfu
 
Applying UML and Patterns (CH1, 6, 9, 10)
byJamie (Taka) Wang
 
Togaf 9 template architecture vision
byKris Manzera
 
D11 Define Review
byLeanleaders.org
 
Extreme programming
bytuanvu8292
 
2012 icse program comprehension
byWalid Maalej
 
Scr Position Paper For Chi 04 Workshop
byArnold Rudorfer
 
Letters of Intent
bycrysatal16
 
Ba course content intensive
byCGI Federal
 

Viewers also liked

PPT
The Case For Open Source Charity
byopen source Charity
 
PPS
Who lives in a house like this gr
bydimgaloutzis1
 
PPS
Great Paintings
by***
 
PPT
Cheryl davenport-presentation-(leics-hwb)-final
byVoluntary Action LeicesterShire
 
PPS
Turgutreis
by***
 
PPT
Info2india
byRicky Saxena
 
ODP
Health Quality AND Patient & Family Rights
byGamal ElDin Soliman
 
PDF
JCI SQE Standards by Dr.Mahboob ali khan
byHealthcare consultant
 
PPTX
Managing Patient & Family Rights and Responsibilities
byAhmad Thanin
 
PPT
Chapter 2 Patient Safety and Risk Management
byczvelasco4248
 
PPT
JCI Chapter Management
bynstoll
 
PPTX
Ipsg
byFudah Abdullah
 
PPTX
International patient safety rems lecture
byMEEQAT HOSPITAL
 
PDF
International patient safety goals
byManal Elsayed CPPS, CPHQ, CLSSBB, FISQua, DTQM
 
PPT
Professional CV
byIan McAllister
 
PPTX
Risk management
byMohamed Mosaad Hasan
 
PPTX
Accreditation standards for Ayurveda Hospitals
byDr.Surendra Chaudhary
 
PPTX
Access to care and continuity of care
byDralaa Holiel , Ph.D
 
PPT
JCIA 5th edition key elements
byHealthcare consultant
 
PPTX
Quality Management Orientation Program
byKaye Tacuel, RN
 
The Case For Open Source Charity
byopen source Charity
 
Who lives in a house like this gr
bydimgaloutzis1
 
Great Paintings
by***
 
Cheryl davenport-presentation-(leics-hwb)-final
byVoluntary Action LeicesterShire
 
Turgutreis
by***
 
Info2india
byRicky Saxena
 
Health Quality AND Patient & Family Rights
byGamal ElDin Soliman
 
JCI SQE Standards by Dr.Mahboob ali khan
byHealthcare consultant
 
Managing Patient & Family Rights and Responsibilities
byAhmad Thanin
 
Chapter 2 Patient Safety and Risk Management
byczvelasco4248
 
JCI Chapter Management
bynstoll
 
Ipsg
byFudah Abdullah
 
International patient safety rems lecture
byMEEQAT HOSPITAL
 
International patient safety goals
byManal Elsayed CPPS, CPHQ, CLSSBB, FISQua, DTQM
 
Professional CV
byIan McAllister
 
Risk management
byMohamed Mosaad Hasan
 
Accreditation standards for Ayurveda Hospitals
byDr.Surendra Chaudhary
 
Access to care and continuity of care
byDralaa Holiel , Ph.D
 
JCIA 5th edition key elements
byHealthcare consultant
 
Quality Management Orientation Program
byKaye Tacuel, RN
 

Similar to On the Assessment of Pointcut Design in Evolving Aspect-Oriented Software

PPTX
Aspect Oriented Programming
byRodger Oates
 
KEY
Pointcut Rejuvenation: Recovering Pointcut Expressions in Evolving Aspect-Ori...
byRaffi Khatchadourian
 
PDF
Rejuvenate Pointcut: A Tool for Pointcut Expression Recovery in Evolving Aspe...
byRaffi Khatchadourian
 
PPT
ASPECT ORIENTED PROGRAMING(aop)
bykvsrteja
 
PDF
Aspect oriented software development
byMaryam Malekzad
 
PDF
Pointcut rejuvenation
byRavi Theja
 
PPTX
Aspect Oriented Programming
byShreya Chatterjee
 
PPTX
Introduction to Aspect Oriented Programming
byYan Cui
 
PPTX
Aspect Oriented Programming
byFernando Almeida
 
PPTX
Performance analysis of synchronisation problem
byharshit200793
 
PPT
Aop2007
byTuhin_Das
 
ODP
End of Year Presentation
byChanwit Kaewkasi
 
PPT
Aspect Oriented Software Development
byJignesh Patel
 
PPTX
Spring AOP in Nutshell
byOnkar Deshpande
 
PPTX
Introduction to Aspect Oriented Programming (DDD South West 4.0)
byYan Cui
 
PPTX
Aspect Oriented Programming - AOP/AOSD
byCan R. PAHALI
 
PPTX
Aspect-oriented programming
byMohamadHayeri1
 
KEY
Modular Reasoning about Aspect-Oriented Programs: A Rely-Guarantee Approach
byRaffi Khatchadourian
 
PPTX
Aspect Oriented Programming
byRajesh Ganesan
 
PDF
A Program Transformation Technique To Support AOP Within C Template
byCrystal Sanchez
 
Aspect Oriented Programming
byRodger Oates
 
Pointcut Rejuvenation: Recovering Pointcut Expressions in Evolving Aspect-Ori...
byRaffi Khatchadourian
 
Rejuvenate Pointcut: A Tool for Pointcut Expression Recovery in Evolving Aspe...
byRaffi Khatchadourian
 
ASPECT ORIENTED PROGRAMING(aop)
bykvsrteja
 
Aspect oriented software development
byMaryam Malekzad
 
Pointcut rejuvenation
byRavi Theja
 
Aspect Oriented Programming
byShreya Chatterjee
 
Introduction to Aspect Oriented Programming
byYan Cui
 
Aspect Oriented Programming
byFernando Almeida
 
Performance analysis of synchronisation problem
byharshit200793
 
Aop2007
byTuhin_Das
 
End of Year Presentation
byChanwit Kaewkasi
 
Aspect Oriented Software Development
byJignesh Patel
 
Spring AOP in Nutshell
byOnkar Deshpande
 
Introduction to Aspect Oriented Programming (DDD South West 4.0)
byYan Cui
 
Aspect Oriented Programming - AOP/AOSD
byCan R. PAHALI
 
Aspect-oriented programming
byMohamadHayeri1
 
Modular Reasoning about Aspect-Oriented Programs: A Rely-Guarantee Approach
byRaffi Khatchadourian
 
Aspect Oriented Programming
byRajesh Ganesan
 
A Program Transformation Technique To Support AOP Within C Template
byCrystal Sanchez
 

More from Raffi Khatchadourian

PDF
Speculative Automated Refactoring of Imperative Deep Learning Programs to Gra...
byRaffi Khatchadourian
 
PDF
Speculative Automated Refactoring of Imperative Deep Learning Programs to Gra...
byRaffi Khatchadourian
 
PDF
Challenges in Migrating Imperative Deep Learning Programs to Graph Execution:...
byRaffi Khatchadourian
 
PDF
Hybridize Functions: A Tool for Automatically Refactoring Imperative Deep Lea...
byRaffi Khatchadourian
 
PDF
Hybridize Functions: A Tool for Automatically Refactoring Imperative Deep Lea...
byRaffi Khatchadourian
 
PDF
Towards Safe Automated Refactoring of Imperative Deep Learning Programs to Gr...
byRaffi Khatchadourian
 
PDF
Automated Evolution of Feature Logging Statement Levels Using Git Histories a...
byRaffi Khatchadourian
 
PDF
A Tool for Rejuvenating Feature Logging Levels via Git Histories and Degree o...
byRaffi Khatchadourian
 
PDF
Challenges in Migrating Imperative Deep Learning Programs to Graph Execution:...
byRaffi Khatchadourian
 
PPTX
Actor Concurrency Bugs: A Comprehensive Study on Symptoms, Root Causes, API U...
byRaffi Khatchadourian
 
PDF
An Empirical Study of Refactorings and Technical Debt in Machine Learning Sys...
byRaffi Khatchadourian
 
PDF
Automated Evolution of Feature Logging Statement Levels Using Git Histories a...
byRaffi Khatchadourian
 
PDF
An Empirical Study on the Use and Misuse of Java 8 Streams
byRaffi Khatchadourian
 
PDF
Safe Automated Refactoring for Intelligent Parallelization of Java 8 Streams
byRaffi Khatchadourian
 
PDF
Safe Automated Refactoring for Intelligent Parallelization of Java 8 Streams
byRaffi Khatchadourian
 
PDF
A Brief Introduction to Type Constraints
byRaffi Khatchadourian
 
PDF
Safe Automated Refactoring for Intelligent Parallelization of Java 8 Streams ...
byRaffi Khatchadourian
 
PDF
A Tool for Optimizing Java 8 Stream Software via Automated Refactoring
byRaffi Khatchadourian
 
PDF
Porting the NetBeans Java 8 Enhanced For Loop Lambda Expression Refactoring t...
byRaffi Khatchadourian
 
PDF
Towards Safe Refactoring for Intelligent Parallelization of Java 8 Streams
byRaffi Khatchadourian
 
Speculative Automated Refactoring of Imperative Deep Learning Programs to Gra...
byRaffi Khatchadourian
 
Speculative Automated Refactoring of Imperative Deep Learning Programs to Gra...
byRaffi Khatchadourian
 
Challenges in Migrating Imperative Deep Learning Programs to Graph Execution:...
byRaffi Khatchadourian
 
Hybridize Functions: A Tool for Automatically Refactoring Imperative Deep Lea...
byRaffi Khatchadourian
 
Hybridize Functions: A Tool for Automatically Refactoring Imperative Deep Lea...
byRaffi Khatchadourian
 
Towards Safe Automated Refactoring of Imperative Deep Learning Programs to Gr...
byRaffi Khatchadourian
 
Automated Evolution of Feature Logging Statement Levels Using Git Histories a...
byRaffi Khatchadourian
 
A Tool for Rejuvenating Feature Logging Levels via Git Histories and Degree o...
byRaffi Khatchadourian
 
Challenges in Migrating Imperative Deep Learning Programs to Graph Execution:...
byRaffi Khatchadourian
 
Actor Concurrency Bugs: A Comprehensive Study on Symptoms, Root Causes, API U...
byRaffi Khatchadourian
 
An Empirical Study of Refactorings and Technical Debt in Machine Learning Sys...
byRaffi Khatchadourian
 
Automated Evolution of Feature Logging Statement Levels Using Git Histories a...
byRaffi Khatchadourian
 
An Empirical Study on the Use and Misuse of Java 8 Streams
byRaffi Khatchadourian
 
Safe Automated Refactoring for Intelligent Parallelization of Java 8 Streams
byRaffi Khatchadourian
 
Safe Automated Refactoring for Intelligent Parallelization of Java 8 Streams
byRaffi Khatchadourian
 
A Brief Introduction to Type Constraints
byRaffi Khatchadourian
 
Safe Automated Refactoring for Intelligent Parallelization of Java 8 Streams ...
byRaffi Khatchadourian
 
A Tool for Optimizing Java 8 Stream Software via Automated Refactoring
byRaffi Khatchadourian
 
Porting the NetBeans Java 8 Enhanced For Loop Lambda Expression Refactoring t...
byRaffi Khatchadourian
 
Towards Safe Refactoring for Intelligent Parallelization of Java 8 Streams
byRaffi Khatchadourian
 

Recently uploaded

PDF
Agentic-Document-Extraction-2026-Presentation.pdf
byTamanna
 
PDF
Taxonomy Alignment for SDG Tagging - ASHA Case Study
byEnterprise Knowledge
 
PDF
Chapter 4 Network Security in computer security
byGetnet Tigabie Askale -(GM)
 
PDF
Getting Started with Apache Spark: Big Data Made Simple [Free Meetup]
byHaim Michael
 
PPTX
TechSprint WinterHack — Top 10 Teams Pitching Session we are excited for pit...
bybajpaitusharoffon678
 
PPTX
NTG - Data Center Management System Software
byMustafa Kuğu
 
PDF
Real-Time AI at Scale Masterclass: Feature Store at Scale
byScyllaDB
 
PDF
Dev Dives: Build and deploy agentic automations - the unified way
byUiPathCommunity
 
PDF
Designing a Blog Using Wordpress
bymarkzubi50
 
PDF
AI and Zero Trust: What it takes to do it right
byMark Simos
 
PDF
CI CD Observability, Metrics and DORA - Shifting Left and Cleaning Up! - Febr...
byPeter Souter
 
PDF
Bettersize | BeSEC Series Product Brochure
byBettersize Instruments
 
PDF
Title Installing Windows, Linux, MacOS.pdf
byGeraldAbadajos
 
PDF
Pneumatic Pressure Pump PPP01 for Calibration & Testing
bySERRAX TECHNOLOGIES LLP
 
PPTX
The Lex Wire Precedent: A Technical Standard for Machine-Mediated Authority ...
byJeff Howell
 
PDF
Build Next-Gen Spatial & Sensor Workflows: Secure, Scalable Processing in Sno...
bySafe Software
 
PDF
Transcript: EU regulations for the North American book supply chain - Tech Fo...
byBookNet Canada
 
PDF
7 Essential Types of Penetration Testing Services Every Business Should Under...
bypandeydevika621
 
PDF
ICT500 - CRITICAL AND CREATIVE THINKING FOR INFORMATION TECHNOLOGY SOLUTIONS:...
by2024432452
 
PDF
Parental Control App for Phones_ The Complete 2026 Guide for Safer, Smarter P...
byRyan Cooper
 
Agentic-Document-Extraction-2026-Presentation.pdf
byTamanna
 
Taxonomy Alignment for SDG Tagging - ASHA Case Study
byEnterprise Knowledge
 
Chapter 4 Network Security in computer security
byGetnet Tigabie Askale -(GM)
 
Getting Started with Apache Spark: Big Data Made Simple [Free Meetup]
byHaim Michael
 
TechSprint WinterHack — Top 10 Teams Pitching Session we are excited for pit...
bybajpaitusharoffon678
 
NTG - Data Center Management System Software
byMustafa Kuğu
 
Real-Time AI at Scale Masterclass: Feature Store at Scale
byScyllaDB
 
Dev Dives: Build and deploy agentic automations - the unified way
byUiPathCommunity
 
Designing a Blog Using Wordpress
bymarkzubi50
 
AI and Zero Trust: What it takes to do it right
byMark Simos
 
CI CD Observability, Metrics and DORA - Shifting Left and Cleaning Up! - Febr...
byPeter Souter
 
Bettersize | BeSEC Series Product Brochure
byBettersize Instruments
 
Title Installing Windows, Linux, MacOS.pdf
byGeraldAbadajos
 
Pneumatic Pressure Pump PPP01 for Calibration & Testing
bySERRAX TECHNOLOGIES LLP
 
The Lex Wire Precedent: A Technical Standard for Machine-Mediated Authority ...
byJeff Howell
 
Build Next-Gen Spatial & Sensor Workflows: Secure, Scalable Processing in Sno...
bySafe Software
 
Transcript: EU regulations for the North American book supply chain - Tech Fo...
byBookNet Canada
 
7 Essential Types of Penetration Testing Services Every Business Should Under...
bypandeydevika621
 
ICT500 - CRITICAL AND CREATIVE THINKING FOR INFORMATION TECHNOLOGY SOLUTIONS:...
by2024432452
 
Parental Control App for Phones_ The Complete 2026 Guide for Safer, Smarter P...
byRyan Cooper
 

On the Assessment of Pointcut Design in Evolving Aspect-Oriented Software

  • 1.
    On the Assessmentof Pointcut Design in Evolving Aspect-Oriented Software1 Raffi Khatchadourian12 Phil Greenwood2 Awais Rashid2 1 Department of Computer Science & Engineering Ohio State University Columbus, OH USA 2 Computing Department Lancaster University Lancaster UK Workshop on Assessment of Contemporary Modularization Techniques, 2008 1 This material is based upon work supported in part by European Commission grants IST-33710 (AMPLE) and IST-2-004349 (AOSD-Europe). 2 This work was partially administered during this author’s visit to the Computing Department, Lancaster University, United Kingdom.
  • 2.
    Brief Introduction toAOP Problem Statement Proposal Example Conclusion and Future Work Outline 1 Brief Introduction to AOP 2 Problem Statement Definitions 3 Proposal Metrics Formalism 4 Example Scenario Metrics 5 Conclusion and Future Work Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 3.
    Brief Introduction toAOP Problem Statement Proposal Example Conclusion and Future Work Aspect-Oriented Programming AOP reduces scattering and tangling of crosscutting concern (CCCs) implementations. Developer specifies behavior (advice). Advice is composed at specific execution points (join points). Join points specified via pointcut expressions (PCEs). Example execution(* Foo.*(..)) execution(* Foo.methodA()) Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 4.
    Brief Introduction toAOP Problem Statement Proposal Example Conclusion and Future Work Aspect-Oriented Programming AOP reduces scattering and tangling of crosscutting concern (CCCs) implementations. Developer specifies behavior (advice). Advice is composed at specific execution points (join points). Join points specified via pointcut expressions (PCEs). Example execution(* Foo.*(..)) execution(* Foo.methodA()) Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 5.
    Brief Introduction toAOP Problem Statement Proposal Example Conclusion and Future Work Aspect-Oriented Programming AOP reduces scattering and tangling of crosscutting concern (CCCs) implementations. Developer specifies behavior (advice). Advice is composed at specific execution points (join points). Join points specified via pointcut expressions (PCEs). Example execution(* Foo.*(..)) execution(* Foo.methodA()) Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 6.
    Brief Introduction toAOP Problem Statement Proposal Example Conclusion and Future Work Aspect-Oriented Programming AOP reduces scattering and tangling of crosscutting concern (CCCs) implementations. Developer specifies behavior (advice). Advice is composed at specific execution points (join points). Join points specified via pointcut expressions (PCEs). Example execution(* Foo.*(..)) execution(* Foo.methodA()) Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 7.
    Brief Introduction toAOP Problem Statement Proposal Example Conclusion and Future Work Aspect-Oriented Programming AOP reduces scattering and tangling of crosscutting concern (CCCs) implementations. Developer specifies behavior (advice). Advice is composed at specific execution points (join points). Join points specified via pointcut expressions (PCEs). Example execution(* Foo.*(..)) execution(* Foo.methodA()) Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 8.
    Brief Introduction toAOP Problem Statement Proposal Example Conclusion and Future Work Aspect-Oriented Programming AOP reduces scattering and tangling of crosscutting concern (CCCs) implementations. Developer specifies behavior (advice). Advice is composed at specific execution points (join points). Join points specified via pointcut expressions (PCEs). Example execution(* Foo.*(..)) execution(* Foo.methodA()) Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 9.
    Brief Introduction toAOP Problem Statement Proposal Definitions Example Conclusion and Future Work The Problem Constructing optimal PCEs can be difficult. Fragile Pointcuts PCEs should capture correct join points not only in the current version of the base-code but future versions as well. Capturing true intentions of where a CCC applies may alleviate fragility. PCEs often in terms of low-level programming elements. High-level specifications must be translated. Question Can we measure how well a PCE captures a developer’s intentions? Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 10.
    Brief Introduction toAOP Problem Statement Proposal Definitions Example Conclusion and Future Work The Problem Constructing optimal PCEs can be difficult. Fragile Pointcuts PCEs should capture correct join points not only in the current version of the base-code but future versions as well. Capturing true intentions of where a CCC applies may alleviate fragility. PCEs often in terms of low-level programming elements. High-level specifications must be translated. Question Can we measure how well a PCE captures a developer’s intentions? Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 11.
    Brief Introduction toAOP Problem Statement Proposal Definitions Example Conclusion and Future Work The Problem Constructing optimal PCEs can be difficult. Fragile Pointcuts PCEs should capture correct join points not only in the current version of the base-code but future versions as well. Capturing true intentions of where a CCC applies may alleviate fragility. PCEs often in terms of low-level programming elements. High-level specifications must be translated. Question Can we measure how well a PCE captures a developer’s intentions? Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 12.
    Brief Introduction toAOP Problem Statement Proposal Definitions Example Conclusion and Future Work The Problem Constructing optimal PCEs can be difficult. Fragile Pointcuts PCEs should capture correct join points not only in the current version of the base-code but future versions as well. Capturing true intentions of where a CCC applies may alleviate fragility. PCEs often in terms of low-level programming elements. High-level specifications must be translated. Question Can we measure how well a PCE captures a developer’s intentions? Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 13.
    Brief Introduction toAOP Problem Statement Proposal Definitions Example Conclusion and Future Work The Problem Constructing optimal PCEs can be difficult. Fragile Pointcuts PCEs should capture correct join points not only in the current version of the base-code but future versions as well. Capturing true intentions of where a CCC applies may alleviate fragility. PCEs often in terms of low-level programming elements. High-level specifications must be translated. Question Can we measure how well a PCE captures a developer’s intentions? Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 14.
    Brief Introduction toAOP Problem Statement Proposal Definitions Example Conclusion and Future Work The Problem Constructing optimal PCEs can be difficult. Fragile Pointcuts PCEs should capture correct join points not only in the current version of the base-code but future versions as well. Capturing true intentions of where a CCC applies may alleviate fragility. PCEs often in terms of low-level programming elements. High-level specifications must be translated. Question Can we measure how well a PCE captures a developer’s intentions? Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 15.
    Brief Introduction toAOP Problem Statement Proposal Definitions Example Conclusion and Future Work Intentions “High”-level intention: A natural language description of where CCC applies. Example Advise whenever data is sent over a network connection Low-level intention: A description of where a CCC applies in terms of structural program element relationships. Example Advise calls to methods that write to field networkConn Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 16.
    Brief Introduction toAOP Problem Statement Proposal Definitions Example Conclusion and Future Work Intentions “High”-level intention: A natural language description of where CCC applies. Example Advise whenever data is sent over a network connection Low-level intention: A description of where a CCC applies in terms of structural program element relationships. Example Advise calls to methods that write to field networkConn Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 17.
    Brief Introduction toAOP Problem Statement Proposal Definitions Example Conclusion and Future Work Intentions “High”-level intention: A natural language description of where CCC applies. Example Advise whenever data is sent over a network connection Low-level intention: A description of where a CCC applies in terms of structural program element relationships. Example Advise calls to methods that write to field networkConn Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 18.
    Brief Introduction toAOP Problem Statement Proposal Definitions Example Conclusion and Future Work Intentions “High”-level intention: A natural language description of where CCC applies. Example Advise whenever data is sent over a network connection Low-level intention: A description of where a CCC applies in terms of structural program element relationships. Example Advise calls to methods that write to field networkConn Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 19.
    Brief Introduction toAOP Problem Statement Proposal Definitions Example Conclusion and Future Work Intentions “High”-level intention: A natural language description of where CCC applies. Example Advise whenever data is sent over a network connection Low-level intention: A description of where a CCC applies in terms of structural program element relationships. Example Advise calls to methods that write to field networkConn Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 20.
    Brief Introduction toAOP Problem Statement Proposal Definitions Example Conclusion and Future Work Intentions “High”-level intention: A natural language description of where CCC applies. Example Advise whenever data is sent over a network connection Low-level intention: A description of where a CCC applies in terms of structural program element relationships. Example Advise calls to methods that write to field networkConn Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 21.
    Brief Introduction toAOP Problem Statement Proposal Definitions Example Conclusion and Future Work Pointcut Expressions Join point shadow: Base-code corresponding to a join point. Pointcut: A set of join point shadows. Conservative Approach Assume any dynamic condition always evaluates to true. Example execution(* x()) ≡ {C.x() {..}, D.x() {..}} Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 22.
    Brief Introduction toAOP Problem Statement Proposal Definitions Example Conclusion and Future Work Pointcut Expressions Join point shadow: Base-code corresponding to a join point. Pointcut: A set of join point shadows. Conservative Approach Assume any dynamic condition always evaluates to true. Example execution(* x()) ≡ {C.x() {..}, D.x() {..}} Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 23.
    Brief Introduction toAOP Problem Statement Proposal Definitions Example Conclusion and Future Work Pointcut Expressions Join point shadow: Base-code corresponding to a join point. Pointcut: A set of join point shadows. Conservative Approach Assume any dynamic condition always evaluates to true. Example execution(* x()) ≡ {C.x() {..}, D.x() {..}} Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 24.
    Brief Introduction toAOP Problem Statement Proposal Definitions Example Conclusion and Future Work Pointcut Expressions Join point shadow: Base-code corresponding to a join point. Pointcut: A set of join point shadows. Conservative Approach Assume any dynamic condition always evaluates to true. Example execution(* x()) ≡ {C.x() {..}, D.x() {..}} Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 25.
    Brief Introduction toAOP Problem Statement Metrics Proposal Formalism Example Conclusion and Future Work Metrics: Two Dimensions Base-code Intention Metric I: Coverage PCE How well does PCE cover entire intention? I Metric II: Precision How well does PCE II capture solely the intention? Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 26.
    Brief Introduction toAOP Problem Statement Metrics Proposal Formalism Example Conclusion and Future Work Metrics: Two Dimensions Base-code Intention Metric I: Coverage PCE How well does PCE cover entire intention? I Metric II: Precision How well does PCE II capture solely the intention? Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 27.
    Brief Introduction toAOP Problem Statement Metrics Proposal Formalism Example Conclusion and Future Work Metrics: Two Dimensions Base-code Intention Metric I: Coverage PCE How well does PCE cover entire intention? I Metric II: Precision How well does PCE II capture solely the intention? Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 28.
    Brief Introduction toAOP Problem Statement Metrics Proposal Formalism Example Conclusion and Future Work Intention Matching Approach Capture rich program element relationships in a concern graph[1] adapted for AOP. Express intentions as patterns over finite, acyclic paths in the graph. Apply the patterns to the extended concern graph. Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 29.
    Brief Introduction toAOP Problem Statement Metrics Proposal Formalism Example Conclusion and Future Work Intention Matching Approach Capture rich program element relationships in a concern graph[1] adapted for AOP. Express intentions as patterns over finite, acyclic paths in the graph. Apply the patterns to the extended concern graph. Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 30.
    Brief Introduction toAOP Problem Statement Metrics Proposal Formalism Example Conclusion and Future Work Intention Matching Approach Capture rich program element relationships in a concern graph[1] adapted for AOP. Express intentions as patterns over finite, acyclic paths in the graph. Apply the patterns to the extended concern graph. Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 31.
    Brief Introduction toAOP Problem Statement Metrics Proposal Formalism Example Conclusion and Future Work Metric Formalisms Formalism Apce A pointcut expression π ˆ A pattern + CG P An extended concern graph Paths(CG + ) P Finite acyclic paths in CG + P |Apce ∩ Match(ˆ , Paths(CG + ))| π P M1 (ˆ , Apce ) = π |Apce | |Apce ∩ Match(ˆ , Paths(CG + ))| π P M2 (ˆ , Apce ) = π |Match(ˆ , Paths(CG + ))| π P Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 32.
    Brief Introduction toAOP Problem Statement Metrics Proposal Formalism Example Conclusion and Future Work Metric Formalisms Formalism Apce A pointcut expression π ˆ A pattern + CG P An extended concern graph Paths(CG + ) P Finite acyclic paths in CG + P |Apce ∩ Match(ˆ , Paths(CG + ))| π P M1 (ˆ , Apce ) = π |Apce | |Apce ∩ Match(ˆ , Paths(CG + ))| π P M2 (ˆ , Apce ) = π |Match(ˆ , Paths(CG + ))| π P Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 33.
    Brief Introduction toAOP Problem Statement Metrics Proposal Formalism Example Conclusion and Future Work Metric Formalisms Formalism Apce A pointcut expression π ˆ A pattern + CG P An extended concern graph Paths(CG + ) P Finite acyclic paths in CG + P |Apce ∩ Match(ˆ , Paths(CG + ))| π P M1 (ˆ , Apce ) = π |Apce | |Apce ∩ Match(ˆ , Paths(CG + ))| π P M2 (ˆ , Apce ) = π |Match(ˆ , Paths(CG + ))| π P Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 34.
    Brief Introduction toAOP Problem Statement Metrics Proposal Formalism Example Conclusion and Future Work Metric Formalisms Formalism Apce A pointcut expression π ˆ A pattern + CG P An extended concern graph Paths(CG + ) P Finite acyclic paths in CG + P |Apce ∩ Match(ˆ , Paths(CG + ))| π P M1 (ˆ , Apce ) = π |Apce | |Apce ∩ Match(ˆ , Paths(CG + ))| π P M2 (ˆ , Apce ) = π |Match(ˆ , Paths(CG + ))| π P Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 35.
    Brief Introduction toAOP Problem Statement Metrics Proposal Formalism Example Conclusion and Future Work Metric Formalisms Formalism Apce A pointcut expression π ˆ A pattern + CG P An extended concern graph Paths(CG + ) P Finite acyclic paths in CG + P |Apce ∩ Match(ˆ , Paths(CG + ))| π P M1 (ˆ , Apce ) = π |Apce | |Apce ∩ Match(ˆ , Paths(CG + ))| π P M2 (ˆ , Apce ) = π |Match(ˆ , Paths(CG + ))| π P Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 36.
    Brief Introduction toAOP Problem Statement Metrics Proposal Formalism Example Conclusion and Future Work Metric Formalisms Formalism Apce A pointcut expression π ˆ A pattern + CG P An extended concern graph Paths(CG + ) P Finite acyclic paths in CG + P |Apce ∩ Match(ˆ , Paths(CG + ))| π P M1 (ˆ , Apce ) = π |Apce | |Apce ∩ Match(ˆ , Paths(CG + ))| π P M2 (ˆ , Apce ) = π |Match(ˆ , Paths(CG + ))| π P Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 37.
    Brief Introduction toAOP Problem Statement Metrics Proposal Formalism Example Conclusion and Future Work Metric Formalisms Formalism Apce A pointcut expression π ˆ A pattern + CG P An extended concern graph Paths(CG + ) P Finite acyclic paths in CG + P |Apce ∩ Match(ˆ , Paths(CG + ))| π P M1 (ˆ , Apce ) = π |Apce | |Apce ∩ Match(ˆ , Paths(CG + ))| π P M2 (ˆ , Apce ) = π |Match(ˆ , Paths(CG + ))| π P Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 38.
    Brief Introduction toAOP Problem Statement Metrics Proposal Formalism Example Conclusion and Future Work Metric Formalisms Formalism Apce A pointcut expression π ˆ A pattern + CG P An extended concern graph Paths(CG + ) P Finite acyclic paths in CG + P |Apce ∩ Match(ˆ , Paths(CG + ))| π P M1 (ˆ , Apce ) = π |Apce | |Apce ∩ Match(ˆ , Paths(CG + ))| π P M2 (ˆ , Apce ) = π |Match(ˆ , Paths(CG + ))| π P Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 39.
    Brief Introduction toAOP Problem Statement Metrics Proposal Formalism Example Conclusion and Future Work Metric Formalisms Formalism Apce A pointcut expression π ˆ A pattern + CG P An extended concern graph Paths(CG + ) P Finite acyclic paths in CG + P |Apce ∩ Match(ˆ , Paths(CG + ))| π P M1 (ˆ , Apce ) = π |Apce | |Apce ∩ Match(ˆ , Paths(CG + ))| π P M2 (ˆ , Apce ) = π |Match(ˆ , Paths(CG + ))| π P Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 40.
    Brief Introduction toAOP Problem Statement Metrics Proposal Formalism Example Conclusion and Future Work Metric Formalisms Formalism Apce A pointcut expression π ˆ A pattern + CG P An extended concern graph Paths(CG + ) P Finite acyclic paths in CG + P |Apce ∩ Match(ˆ , Paths(CG + ))| π P M1 (ˆ , Apce ) = π |Apce | |Apce ∩ Match(ˆ , Paths(CG + ))| π P M2 (ˆ , Apce ) = π |Match(ˆ , Paths(CG + ))| π P Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 41.
    Brief Introduction toAOP Problem Statement Metrics Proposal Formalism Example Conclusion and Future Work Metric Formalisms Formalism Apce A pointcut expression π ˆ A pattern + CG P An extended concern graph Paths(CG + ) P Finite acyclic paths in CG + P |Apce ∩ Match(ˆ , Paths(CG + ))| π P M1 (ˆ , Apce ) = π |Apce | |Apce ∩ Match(ˆ , Paths(CG + ))| π P M2 (ˆ , Apce ) = π |Match(ˆ , Paths(CG + ))| π P Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 42.
    Brief Introduction toAOP Problem Statement Metrics Proposal Formalism Example Conclusion and Future Work Metric Formalisms Formalism Apce A pointcut expression π ˆ A pattern + CG P An extended concern graph Paths(CG + ) P Finite acyclic paths in CG + P |Apce ∩ Match(ˆ , Paths(CG + ))| π P M1 (ˆ , Apce ) = π |Apce | |Apce ∩ Match(ˆ , Paths(CG + ))| π P M2 (ˆ , Apce ) = π |Match(ˆ , Paths(CG + ))| π P Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 43.
    Brief Introduction toAOP Problem Statement Metrics Proposal Formalism Example Conclusion and Future Work Metric Formalisms Formalism Apce A pointcut expression π ˆ A pattern + CG P An extended concern graph Paths(CG + ) P Finite acyclic paths in CG + P |Apce ∩ Match(ˆ , Paths(CG + ))| π P M1 (ˆ , Apce ) = π |Apce | |Apce ∩ Match(ˆ , Paths(CG + ))| π P M2 (ˆ , Apce ) = π |Match(ˆ , Paths(CG + ))| π P Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 44.
    Brief Introduction toAOP Problem Statement Scenario Proposal Metrics Example Conclusion and Future Work Base-code package p ; public class A { int f ; void m1 () { int a = f + 1; } void m2 () { int b = f + 2; } void n () { int c = f + 3; } } Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 45.
    Brief Introduction toAOP Problem Statement Scenario Proposal Metrics Example Conclusion and Future Work Concern Graph p contains A declares_method declares_method declares_method A.m2() declares_field A.n() A.m1() gets_field gets_field gets_field A.f Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 46.
    Brief Introduction toAOP Problem Statement Scenario Proposal Metrics Example Conclusion and Future Work An Intention Low-level Intention of where CCC Applies To advise all method executions that read from field A.f Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 47.
    Brief Introduction toAOP Problem Statement Scenario Proposal Metrics Example Conclusion and Future Work An Aspect package p ; public aspect B { before () : execution (* m *(..) ) { } } Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 48.
    Brief Introduction toAOP Problem Statement Scenario Proposal Metrics Example Conclusion and Future Work Concern Graph p contains A declares_method declares_method declares_method A.m2() declares_field A.n() A.m1() gets_field gets_field gets_field A.f Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 49.
    Brief Introduction toAOP Problem Statement Scenario Proposal Metrics Example Conclusion and Future Work Metric M1 |Apce ∩ Match(ˆ , Paths(CG + ))| π P M1 (ˆ , Apce ) = π |Apce | |{A.m1(), A.m2()} ∩ {A.m1(), A.m2(), A.n()}| = |{A.m1(), A.m2()}| = 1 Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 50.
    Brief Introduction toAOP Problem Statement Scenario Proposal Metrics Example Conclusion and Future Work Metric M1 |Apce ∩ Match(ˆ , Paths(CG + ))| π P M1 (ˆ , Apce ) = π |Apce | |{A.m1(), A.m2()} ∩ {A.m1(), A.m2(), A.n()}| = |{A.m1(), A.m2()}| = 1 Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 51.
    Brief Introduction toAOP Problem Statement Scenario Proposal Metrics Example Conclusion and Future Work Metric M1 |Apce ∩ Match(ˆ , Paths(CG + ))| π P M1 (ˆ , Apce ) = π |Apce | |{A.m1(), A.m2()} ∩ {A.m1(), A.m2(), A.n()}| = |{A.m1(), A.m2()}| = 1 Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 52.
    Brief Introduction toAOP Problem Statement Scenario Proposal Metrics Example Conclusion and Future Work Metric M2 |Apce ∩ Match(ˆ , Paths(CG + ))| π P M2 (ˆ , Apce ) = π |Match(ˆ , Paths(CG + ))| π P |{A.m1(), A.m2()} ∩ {A.m1(), A.m2(), A.n()}| = |{A.m1(), A.m2(), A.n()}| 2 = 3 Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 53.
    Brief Introduction toAOP Problem Statement Scenario Proposal Metrics Example Conclusion and Future Work Metric M2 |Apce ∩ Match(ˆ , Paths(CG + ))| π P M2 (ˆ , Apce ) = π |Match(ˆ , Paths(CG + ))| π P |{A.m1(), A.m2()} ∩ {A.m1(), A.m2(), A.n()}| = |{A.m1(), A.m2(), A.n()}| 2 = 3 Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 54.
    Brief Introduction toAOP Problem Statement Scenario Proposal Metrics Example Conclusion and Future Work Metric M2 |Apce ∩ Match(ˆ , Paths(CG + ))| π P M2 (ˆ , Apce ) = π |Match(ˆ , Paths(CG + ))| π P |{A.m1(), A.m2()} ∩ {A.m1(), A.m2(), A.n()}| = |{A.m1(), A.m2(), A.n()}| 2 = 3 Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 55.
    Brief Introduction toAOP Problem Statement Proposal Example Conclusion and Future Work Conclusion Capturing true intentions of where a CCC applies may alleviate fragility. Would like to measure how well a PCE captures a developer’s intentions. Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 56.
    Brief Introduction toAOP Problem Statement Proposal Example Conclusion and Future Work Conclusion Capturing true intentions of where a CCC applies may alleviate fragility. Would like to measure how well a PCE captures a developer’s intentions. Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 57.
    Brief Introduction toAOP Problem Statement Proposal Example Conclusion and Future Work Future Work Automatic inference of low-level intentions from high-level ones? How to encode all high-level intentions? Do metrics help alleviate fragility? Implementation/evaluation. Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 58.
    Brief Introduction toAOP Problem Statement Proposal Example Conclusion and Future Work Future Work Automatic inference of low-level intentions from high-level ones? How to encode all high-level intentions? Do metrics help alleviate fragility? Implementation/evaluation. Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 59.
    Brief Introduction toAOP Problem Statement Proposal Example Conclusion and Future Work Future Work Automatic inference of low-level intentions from high-level ones? How to encode all high-level intentions? Do metrics help alleviate fragility? Implementation/evaluation. Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 60.
    Brief Introduction toAOP Problem Statement Proposal Example Conclusion and Future Work Future Work Automatic inference of low-level intentions from high-level ones? How to encode all high-level intentions? Do metrics help alleviate fragility? Implementation/evaluation. Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software
  • 61.
    Brief Introduction toAOP Problem Statement Proposal Example Conclusion and Future Work References M. P. Robillard and G. C. Murphy. Concern graphs: finding and describing concerns using structural program dependencies. In International Conference on Software Engineering, 2002. Raffi Khatchadourian, Phil Greenwood, Awais Rashid On the Assessment of Pointcut Design in AO Software