Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > Combining Aspect-Orientation a...

Combining Aspect-Orientation and UPPAAL Timed Automata

Dragos Truscan, Jüri Vain, Martin Koskinen, Combining Aspect-Orientation and UPPAAL Timed Automata. In: Andreas Holzinger, Jorge Cardoso, José Cordeiro, Marten van Sinderen, Stephen Mellor (Eds.), Proceedings of the 9th International Conference on Software Paradigm Trends, 159–164, SCITEPRESS, 2014.

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.

Files:

Full publication in PDF-format

BibTeX entry:

@INPROCEEDINGS{inpTrVaKo14a,
  title = {Combining Aspect-Orientation and UPPAAL Timed Automata},
  booktitle = {Proceedings of the 9th International Conference on Software Paradigm Trends},
  author = {Truscan, Dragos and Vain, Jüri and Koskinen, Martin},
  editor = {Holzinger, Andreas and Cardoso, Jorge and Cordeiro, José and van Sinderen, Marten and Mellor, Stephen},
  publisher = {SCITEPRESS},
  pages = {159–164},
  year = {2014},
  ISSN = {978-989-758-037-6},
}

Belongs to TUCS Research Unit(s): Software Engineering Laboratory (SE Lab)

Publication Forum rating of this publication: level 1

Edit publication