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
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


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.


Aspect-Oriented Modeling, UPPAAL Timed Automata

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