A Graph-Transformation-Based Simulation Approach for Analysing Aspect Interference on Shared Join Points

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    35 Citations (Scopus)

    Abstract

    Aspects that in isolation behave correctly, may interact when being combined. When interaction changes an aspect's behaviour or disables an aspect, we call this interference. One particular type of interference occurs when aspects are applied to shared join points, since then the ordering of the aspects can also influence the behaviour of the composition. We present an approach to detect aspect interference at shared join points. Aspect compositions are modelled by using a graph production system for modelling aspect-language semantics. A graph-based model of a join point is generated from the source-code of the system. This graph is transformed into a runtime-state representation. Combined with the production system (and the correct tooling) the execution of the aspects is simulated. This simulation results in a labelled transition system that can be used to analyse and verify different properties of the system at the join point. Simulation of the entire system can be computationally expensive. In our approach, we decide to abstract base system execution into non-deterministic valuation and carefully choosing advice semantics, such that simulation of the entire system can be avoided.
    Original languageUndefined
    Title of host publicationAOSD '09: Proceedings of the 8th ACM International Conference on Aspect-Oriented Software Development
    Place of PublicationNew York
    PublisherAssociation for Computing Machinery (ACM)
    Pages39-50
    Number of pages12
    ISBN (Print)978-1-60558-442-3
    DOIs
    Publication statusPublished - 2009
    Event8th International Conference on Aspect-Oriented Software Development, AOSD 2009 - University of Virginia, Charlottesville, United States
    Duration: 2 Mar 20096 Mar 2009
    Conference number: 8
    http://aosd.net/2009/

    Publication series

    Name
    PublisherACM

    Conference

    Conference8th International Conference on Aspect-Oriented Software Development, AOSD 2009
    Abbreviated titleAOSD
    CountryUnited States
    CityCharlottesville
    Period2/03/096/03/09
    Internet address

    Keywords

    • EWI-15184
    • language semantics
    • aspect interference
    • METIS-263766
    • IR-62770
    • Graph Transformations
    • shared join point

    Cite this

    Aksit, M., Rensink, A., & Staijen, T. (2009). A Graph-Transformation-Based Simulation Approach for Analysing Aspect Interference on Shared Join Points. In AOSD '09: Proceedings of the 8th ACM International Conference on Aspect-Oriented Software Development (pp. 39-50). [10.1145/1509239.1509247] New York: Association for Computing Machinery (ACM). https://doi.org/10.1145/1509239.1509247
    Aksit, Mehmet ; Rensink, Arend ; Staijen, T. / A Graph-Transformation-Based Simulation Approach for Analysing Aspect Interference on Shared Join Points. AOSD '09: Proceedings of the 8th ACM International Conference on Aspect-Oriented Software Development. New York : Association for Computing Machinery (ACM), 2009. pp. 39-50
    @inproceedings{1360b7ae0bdb4b64965653f4be1824a1,
    title = "A Graph-Transformation-Based Simulation Approach for Analysing Aspect Interference on Shared Join Points",
    abstract = "Aspects that in isolation behave correctly, may interact when being combined. When interaction changes an aspect's behaviour or disables an aspect, we call this interference. One particular type of interference occurs when aspects are applied to shared join points, since then the ordering of the aspects can also influence the behaviour of the composition. We present an approach to detect aspect interference at shared join points. Aspect compositions are modelled by using a graph production system for modelling aspect-language semantics. A graph-based model of a join point is generated from the source-code of the system. This graph is transformed into a runtime-state representation. Combined with the production system (and the correct tooling) the execution of the aspects is simulated. This simulation results in a labelled transition system that can be used to analyse and verify different properties of the system at the join point. Simulation of the entire system can be computationally expensive. In our approach, we decide to abstract base system execution into non-deterministic valuation and carefully choosing advice semantics, such that simulation of the entire system can be avoided.",
    keywords = "EWI-15184, language semantics, aspect interference, METIS-263766, IR-62770, Graph Transformations, shared join point",
    author = "Mehmet Aksit and Arend Rensink and T. Staijen",
    note = "Winner of the Best Paper Award",
    year = "2009",
    doi = "10.1145/1509239.1509247",
    language = "Undefined",
    isbn = "978-1-60558-442-3",
    publisher = "Association for Computing Machinery (ACM)",
    pages = "39--50",
    booktitle = "AOSD '09: Proceedings of the 8th ACM International Conference on Aspect-Oriented Software Development",
    address = "United States",

    }

    Aksit, M, Rensink, A & Staijen, T 2009, A Graph-Transformation-Based Simulation Approach for Analysing Aspect Interference on Shared Join Points. in AOSD '09: Proceedings of the 8th ACM International Conference on Aspect-Oriented Software Development., 10.1145/1509239.1509247, Association for Computing Machinery (ACM), New York, pp. 39-50, 8th International Conference on Aspect-Oriented Software Development, AOSD 2009, Charlottesville, United States, 2/03/09. https://doi.org/10.1145/1509239.1509247

    A Graph-Transformation-Based Simulation Approach for Analysing Aspect Interference on Shared Join Points. / Aksit, Mehmet; Rensink, Arend; Staijen, T.

    AOSD '09: Proceedings of the 8th ACM International Conference on Aspect-Oriented Software Development. New York : Association for Computing Machinery (ACM), 2009. p. 39-50 10.1145/1509239.1509247.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    TY - GEN

    T1 - A Graph-Transformation-Based Simulation Approach for Analysing Aspect Interference on Shared Join Points

    AU - Aksit, Mehmet

    AU - Rensink, Arend

    AU - Staijen, T.

    N1 - Winner of the Best Paper Award

    PY - 2009

    Y1 - 2009

    N2 - Aspects that in isolation behave correctly, may interact when being combined. When interaction changes an aspect's behaviour or disables an aspect, we call this interference. One particular type of interference occurs when aspects are applied to shared join points, since then the ordering of the aspects can also influence the behaviour of the composition. We present an approach to detect aspect interference at shared join points. Aspect compositions are modelled by using a graph production system for modelling aspect-language semantics. A graph-based model of a join point is generated from the source-code of the system. This graph is transformed into a runtime-state representation. Combined with the production system (and the correct tooling) the execution of the aspects is simulated. This simulation results in a labelled transition system that can be used to analyse and verify different properties of the system at the join point. Simulation of the entire system can be computationally expensive. In our approach, we decide to abstract base system execution into non-deterministic valuation and carefully choosing advice semantics, such that simulation of the entire system can be avoided.

    AB - Aspects that in isolation behave correctly, may interact when being combined. When interaction changes an aspect's behaviour or disables an aspect, we call this interference. One particular type of interference occurs when aspects are applied to shared join points, since then the ordering of the aspects can also influence the behaviour of the composition. We present an approach to detect aspect interference at shared join points. Aspect compositions are modelled by using a graph production system for modelling aspect-language semantics. A graph-based model of a join point is generated from the source-code of the system. This graph is transformed into a runtime-state representation. Combined with the production system (and the correct tooling) the execution of the aspects is simulated. This simulation results in a labelled transition system that can be used to analyse and verify different properties of the system at the join point. Simulation of the entire system can be computationally expensive. In our approach, we decide to abstract base system execution into non-deterministic valuation and carefully choosing advice semantics, such that simulation of the entire system can be avoided.

    KW - EWI-15184

    KW - language semantics

    KW - aspect interference

    KW - METIS-263766

    KW - IR-62770

    KW - Graph Transformations

    KW - shared join point

    U2 - 10.1145/1509239.1509247

    DO - 10.1145/1509239.1509247

    M3 - Conference contribution

    SN - 978-1-60558-442-3

    SP - 39

    EP - 50

    BT - AOSD '09: Proceedings of the 8th ACM International Conference on Aspect-Oriented Software Development

    PB - Association for Computing Machinery (ACM)

    CY - New York

    ER -

    Aksit M, Rensink A, Staijen T. A Graph-Transformation-Based Simulation Approach for Analysing Aspect Interference on Shared Join Points. In AOSD '09: Proceedings of the 8th ACM International Conference on Aspect-Oriented Software Development. New York: Association for Computing Machinery (ACM). 2009. p. 39-50. 10.1145/1509239.1509247 https://doi.org/10.1145/1509239.1509247