Event Modules - Modularizing Domain-Specific Crosscutting RV Concerns

Somayeh Malakuti Khah Olun Abadi, Mehmet Aksit

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    8 Citations (Scopus)
    31 Downloads (Pure)

    Abstract

    Runtime verification (RV) facilitates detecting the failures of software during its execution. Due to the complexity of RV techniques, there is an increasing interest in achieving abstractness, modularity, and compose-ability in their implementations by means of dedicated linguistic mechanisms. This paper defines a design space to evaluate the existing domain-specific languages for implementing RV techniques, and identifies the shortcomings of a representative set of these languages with respect to the design space. This paper advocates the need for a language composition framework, which offers the necessary mechanisms to achieve abstractness, modularity, and compose-ability in the implementation of domain-specific crosscutting concerns such as the concerns of RV techniques. We explain event modules as novel linguistic abstractions for modular implementation of domain-specific crosscutting concerns. This paper discusses the implementation of event modules in the EventReactor language, and illustrates the suitability of event modules to implement RV techniques by means of two complementary examples.
    Original languageUndefined
    Title of host publicationTransactions on Aspect-Oriented Software Development XI
    Place of PublicationBerlin, Heidelberg
    PublisherSpringer
    Pages27-69
    Number of pages43
    ISBN (Print)978-3-642-55098-0
    DOIs
    Publication statusPublished - 2014

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer Verlag
    Number8400
    Volume8400
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Keywords

    • EWI-25705
    • event-based composition
    • event-based modularization
    • METIS-309884
    • IR-94634
    • Domain-specific languages
    • Runtime verification
    • aspect-orientation

    Cite this