Abstract
In this paper, we suggest an approach which combines aspect-oriented concepts with UPPAAL timed automata (UPTA), in order to provide a systematic constructive approach with tool support for model weaving and verification. Using our approach one may develop independently different aspects of the system as timed automata and then weave them later on into a complete specification. In order to facilitate the weaving process, we suggest explicit composition patterns which allow us to fully automate the weaving process via model transformations. The composition patterns are accompanied by generic verification rules which ensure that the weaving of an aspect does not conflict with the original behaviour of the base model. Preliminary results show that the weaving process can be fully automated while preserving the modularity of the specifications.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Calculus of Communicating Systems.
References
Clarke, S., Baniassad, E.: Aspect-Oriented Analysis and Design. The Theme Approach. Addison-Wesley, Boston (2005)
France, R.B., et al.: An aspect-oriented approach to design modeling. In: IEE Proceedings - Software, Special Issue on Early Aspects: Aspect-Oriented Requirements Engineering and Architecture Design, vol. 151 (2004)
Filman, R.E., et al.: Aspect-Oriented Software Development. Addison-Wesley, Boston (2005)
Kiczales, G., et al.: Aspect-oriented programming. In: Matsuoka, S., Akşit, M. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 140–149. Springer, Heidelberg (1997)
Sutton Jr., S.M.: Aspect-oriented software development and software process. In: Li, M., Boehm, B., Osterweil, L.J. (eds.) SPW 2005. LNCS, vol. 3840, pp. 177–191. Springer, Heidelberg (2006)
Rashid, A., et al.: Aspect-oriented software development in practice: tales from AOSD-Europe. Computer 43, 19–26 (2010)
Rumbaugh, J., Jacobson, I., Booch, G.: Unified Modeling Language Reference Manual, 2nd edn. Pearson Higher Education, Upper Saddle River (2004)
Ali, S., et al.: Modeling robustness behavior using aspect-oriented modeling to support robustness testing of industrial systems. Softw. Syst. Model. 11, 633–670 (2012)
Aldawud, O., et al.: UML profile for aspect-oriented software development. In: Proceedings of Third International Workshop on Aspect-Oriented Modeling (2003)
Han, Y., et al.: A meta model and modeling notation for AspectJ. In: The 5th AOSD Modeling with UML Workshop (2004)
Stein, D., et al.: A UML-based aspect-oriented design notation for AspectJ. In: Proceedings of the 1st International Conference on Aspect-oriented Software Development, AOSD 2002, pp. 106–112. ACM, New York (2002)
Tkatchenko, M., Kiczales, G.: Uniform support for modeling crosscutting structure. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol. 3713, pp. 508–521. Springer, Heidelberg (2005)
Wimmer, M., et al.: A survey on UML-based aspect-oriented design modeling. ACM Comput. Surv. 43, 28:1–28:33 (2011)
Ubayashi, N., Tamai, T.: Aspect-oriented programming with model checking. In: Proceedings of the 1st International Conference on Aspect-oriented Software Development, AOSD 2002, pp. 148–154. ACM, New York (2002)
Denaro, G., Monga, M.: An experience on verification of aspect properties. In: Proceedings of the 4th International Workshop on Principles of Software Evolution, IWPSE 2001, pp. 186–189. ACM, New York (2001)
Krishnamurthi, S., Fisler, K.: Foundations of incremental aspect model-checking. ACM Trans. Softw. Eng. Methodol. 16, 7 (2007)
Radu, V.: Application. In: Radu, V. (ed.) Stochastic Modeling of Thermal Fatigue Crack Growth. ACM, vol. 1, pp. 63–70. Springer, Heidelberg (2015)
Magee, J., Kramer, J.: Concurrency: State models and java programs. Wiley, New York (1999). [IBMb 02] IBM, “Business Process Execution Language For Web Services” (1) 6
Sarna, K., Vain, J.: Exploiting aspects in model-based testing. In: Proceedings of the Eleventh workshop on Foundations of Aspect-Oriented Languages, FOAL 2012, pp. 45–48. ACM, New York (2012)
Bengtsson, J.E., Yi, W.: Timed automata: semantics, algorithms and tools. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol. 3098, pp. 87–124. Springer, Heidelberg (2004)
Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.G.: An overview of aspectJ. In: Lindskov Knudsen, J. (ed.) ECOOP 2001. LNCS, vol. 2072, pp. 327–354. Springer, Heidelberg (2001)
Alur, R., et al.: Model-checking for real-time systems. In: LICS 1990, Proceedings of Fifth Annual IEEE Symposium on e Logic in Computer Science, pp. 414–425. IEEE (1990)
Hessel, A., Larsen, K.G., Mikucionis, M., Nielsen, B., Pettersson, P., Skou, A.: Testing real-time systems using UPPAAL. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) FORTEST. LNCS, vol. 4949, pp. 77–117. Springer, Heidelberg (2008)
van Rossum, G.: The Python Programming Language. http://www.python.org (Accessed Sep 2015)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Truscan, D., Vain, J., Koskinen, M., Iqbal, J. (2015). A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata. In: Holzinger, A., Cardoso, J., Cordeiro, J., Libourel, T., Maciaszek, L., van Sinderen, M. (eds) Software Technologies. ICSOFT 2014. Communications in Computer and Information Science, vol 555. Springer, Cham. https://doi.org/10.1007/978-3-319-25579-8_20
Download citation
DOI: https://doi.org/10.1007/978-3-319-25579-8_20
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-25578-1
Online ISBN: 978-3-319-25579-8
eBook Packages: Computer ScienceComputer Science (R0)