Combining Aspect-Orientation and UPPAAL Timed Automata

Dragos Truscan, J Vain, M Koskinen

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    1 Sitaatiot (Scopus)

    Abstrakti

    We discuss an approach to combine aspect-oriented concepts with UPPAAL timed automata (UPTA) with the focus on providing a systematic constructive approach and automation tool support for model weaving. Our approach allows for decoupling the design of different aspects of the system and suggests the use of explicit composition patterns to weave the aspects together. We exemplify with an auto-off lamp example.
    AlkuperäiskieliEi tiedossa
    OtsikkoProceedings of the 9th International Conference on Software Paradigm Trends
    ToimittajatA Holzinger, J Cardoso, J Cordeiro, M Sinderen, S Mellor
    KustantajaSCITEPRESS Science And Technology Publications
    Sivut159–164
    DOI - pysyväislinkit
    TilaJulkaistu - 2014
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
    Tapahtumaconference; 2014-08-29; 2014-08-31 - Vienna
    Kesto: 29 elokuuta 201431 elokuuta 2014

    Konferenssi

    Konferenssiconference; 2014-08-29; 2014-08-31
    Ajanjakso29/08/1431/08/14

    Keywords

    • Aspect-Oriented Modeling
    • UPPAAL Timed Automata

    Viittausmuodot