Combining Aspect-Orientation and UPPAAL Timed Automata

A4 Conference proceedings


Internal Authors/Editors


Publication Details

List of Authors: Truscan D, Vain J, Koskinen M
Editors: Holzinger A, Cardoso J, Cordeiro J, Sinderen M, Mellor S
Publisher: SCITEPRESS
Publication year: 2014
Publisher: SCITEPRESS Science And Technology Publications
Book title: Proceedings of the 9th International Conference on Software Paradigm Trends
Start page: 159
End page: 164


Abstract

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.


Keywords

Aspect-Oriented Modeling, UPPAAL Timed Automata

Last updated on 2019-15-11 at 01:47