Abstract
In this paper we integrate the aspect-oriented paradigm into a process algebra based component model (\({\mathcal {BRIC}}\)), where correctness is guaranteed by construction. We contribute with an approach to capture, specify and use aspects to safely evolve component-based systems. We establish that components extended by aspects preserve a convergence relation that guarantees service conformance. We illustrate our results by presenting a case study of an autonomous healthcare system.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Andrews, J.H.: Process-algebraic foundations of aspect-oriented programming. In: Matsuoka, S. (ed.) Reflection 2001. LNCS, vol. 2192, pp. 187–209. Springer, Heidelberg (2001)
Coady, Y., Kiczales, G., Feeley, M., Smolyn, G.: Using aspectC to improve the modularity of path-specific customization in operating system code. SIGSOFT Softw. Eng. Notes 26(5), 88–98 (2001)
Dihego, J., Sampaio, A.: Aspect-oriented development of trustworthy component-based systems - Extended version, Technical report (2015). http://www.cin.ufpe.br/jdso/technicalReports/TR062.pdf
Dihego, J., Sampaio, A., Oliveira, M.: Constructive extensibility of trustworthy component-based systems. In: Proceedings of the 30th Annual ACM Symposium on Applied Computing, SAC 2015. ACM (2015)
Djoko, S.D., Douence, R., Fradet, P.: Aspects preserving properties. Sci. Comput. Program. 77(3), 393–422 (2012)
Filman, R., Elrad, T., Clarke, S., Aksit, M.: Aspect-oriented Software Development, 1st edn. Addison-Wesley Professional, Reading (2004)
Gibson-Robinson, T., Armstrong, P., Boulgakov, A., Roscoe, A.W.: FDR3 — A modern refinement checker for CSP. In: Ábrahám, E., Havelund, K. (eds.) TACAS 2014 (ETAPS). LNCS, vol. 8413, pp. 187–201. Springer, Heidelberg (2014)
Isobe, Y., Roggenbach, M.: CSP-prover: a proof tool for the verification of scalable concurrent systems. Comput. Softw. 25(4), 85–92 (2008)
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)
Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C., Loingtier, J.-M., Irwin, J.: Aspect-oriented programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 220–242. Springer, Heidelberg (1997)
McNeile, A., Roubtsova, E.: CSP parallel composition of aspect models. In: Proceedings of the 2008 AOSD Workshop on Aspect-oriented Modeling, AOM 2008, pp. 13–18. ACM, New York (2008)
Ramos, R.: Systematic Development of Trustworthy Component-based Systems. Ph.D. thesis, Centro de Informática - Universidade Federal de Pernambuco, Brazil (2011)
Ramos, R., Sampaio, A., Mota, A.: Systematic development of trustworthy component systems. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol. 5850, pp. 140–156. Springer, Heidelberg (2009)
Roscoe, A.W.: Theory and practice of concurrency. Prentice-Hall Series in Computer Science. Prentice-Hall, Englewood Cliffs (1998)
Szyperski, C.: Component Software: Beyond Object-oriented Programming. ACM Press/Addison-Wesley Publishing Co., New York (1998)
Wand, M., Kiczales, G., Dutchyn, C.: A semantics for advice and dynamic join points in aspect-oriented programming. ACM Trans. Program. Lang. Syst. 26(5), 890–910 (2004)
Wegner, P., Zdonik, S.B.: Inheritance as an incremental modification mechanism or what like is and isn’t like. In: Gjessing, S., Nygaard, K. (eds.) ECOOP 1988. LNCS, vol. 322, pp. 55–77. Springer, Heidelberg (1988)
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
Dihego, J., Sampaio, A. (2015). Aspect-Oriented Development of Trustworthy Component-based Systems. In: Leucker, M., Rueda, C., Valencia, F. (eds) Theoretical Aspects of Computing - ICTAC 2015. ICTAC 2015. Lecture Notes in Computer Science(), vol 9399. Springer, Cham. https://doi.org/10.1007/978-3-319-25150-9_25
Download citation
DOI: https://doi.org/10.1007/978-3-319-25150-9_25
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-25149-3
Online ISBN: 978-3-319-25150-9
eBook Packages: Computer ScienceComputer Science (R0)