Combining Aspect-orientation and UPPAAL Timed Automata

Dragos Truscan, Jüri Vain, Martin Koskinen

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.

References

  1. Alur, R. et al. (1990). Model-checking for real-time systems. In Logic in Computer Science, 1990. LICS'90, Proceedings., Fifth Annual IEEE Symposium on e, pages 414-425. IEEE.
  2. Bengtsson, J. and Yi, W. (2004). Timed automata: Semantics, algorithms and tools. In Desel, J., Reisig, W., and Rozenberg, G., editors, Lectures on Concurrency and Petri Nets, volume 3098 of Lecture Notes in Computer Science, pages 87-124. Springer Berlin Heidelberg.
  3. Clarke, S. and Baniassad, E. (2005). Aspect-Oriented Analysis and Design. The Theme Approach. AddisonWesley.
  4. Filman, R. E. et al. (2005). Aspect-Oriented Software Development. Addison-Wesley, Boston.
  5. France, R. B. et al. (2004). An aspect-oriented approach to design modeling. IEE Proceedings - Software, Special Issue on Early Aspects: Aspect-Oriented Requirements Engineering and Architecture Design, 151(4).
  6. Hessel, A. et al. (2008). Testing Real-Time systems using UPPAAL. In Formal Methods and Testing, pages 77- 117. Springer-Verlag.
  7. Kiczales et al. (1997). Aspect-Oriented Programming. In ECOOP 7897 - Object-Oriented Programming, volume 1241 of LNCS, pages 140-9. Springer-Verlag.
  8. Rashid, A. et al. (2010). Aspect-Oriented Software Development in Practice: Tales from AOSD-Europe. Computer, 43(2):19-26.
  9. Sarna, K. and Vain, J. (2012). Exploiting aspects in modelbased testing. In Proceedings of the Eeleventh workshop on Foundations of Aspect-Oriented Languages, FOAL 7812, pages 45-48, New York, NY, USA. ACM.
  10. Sutton, StanleyM., J. (2006). Aspect-Oriented Software Development and Software Process. In Li, M., Boehm, B., and Osterweil, L., editors, Unifying the Software Process Spectrum, volume 3840 of Lecture Notes in Computer Science, pages 177-191. Springer Berlin Heidelberg.
  11. Wimmer, M. et al. (2011). A Survey on UML-based Aspect-oriented Design Modeling. ACM Comput. Surv., 43(4):28:1-28:33.
Download


Paper Citation


in Harvard Style

Truscan D., Vain J. and Koskinen M. (2014). Combining Aspect-orientation and UPPAAL Timed Automata . In Proceedings of the 9th International Conference on Software Paradigm Trends - Volume 1: ICSOFT-PT, (ICSOFT 2014) ISBN 978-989-758-037-6, pages 159-164. DOI: 10.5220/0005105101590164


in Bibtex Style

@conference{icsoft-pt14,
author={Dragos Truscan and Jüri Vain and Martin Koskinen},
title={Combining Aspect-orientation and UPPAAL Timed Automata},
booktitle={Proceedings of the 9th International Conference on Software Paradigm Trends - Volume 1: ICSOFT-PT, (ICSOFT 2014)},
year={2014},
pages={159-164},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005105101590164},
isbn={978-989-758-037-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 9th International Conference on Software Paradigm Trends - Volume 1: ICSOFT-PT, (ICSOFT 2014)
TI - Combining Aspect-orientation and UPPAAL Timed Automata
SN - 978-989-758-037-6
AU - Truscan D.
AU - Vain J.
AU - Koskinen M.
PY - 2014
SP - 159
EP - 164
DO - 10.5220/0005105101590164