Skip to main content
Springer Nature Link
Log in

Aspect-Oriented Development of Trustworthy Component-based Systems

  • Conference paper
  • First Online:
Theoretical Aspects of Computing - ICTAC 2015 (ICTAC 2015)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 9399))

Included in the following conference series:

  • 747 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

References

  1. 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)

    Chapter  Google Scholar 

  2. 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)

    Article  Google Scholar 

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

  4. 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)

    Google Scholar 

  5. Djoko, S.D., Douence, R., Fradet, P.: Aspects preserving properties. Sci. Comput. Program. 77(3), 393–422 (2012)

    Article  MATH  Google Scholar 

  6. Filman, R., Elrad, T., Clarke, S., Aksit, M.: Aspect-oriented Software Development, 1st edn. Addison-Wesley Professional, Reading (2004)

    Google Scholar 

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

    Chapter  Google Scholar 

  8. Isobe, Y., Roggenbach, M.: CSP-prover: a proof tool for the verification of scalable concurrent systems. Comput. Softw. 25(4), 85–92 (2008)

    Google Scholar 

  9. 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)

    Chapter  Google Scholar 

  10. 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)

    Google Scholar 

  11. 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)

    Google Scholar 

  12. Ramos, R.: Systematic Development of Trustworthy Component-based Systems. Ph.D. thesis, Centro de Informática - Universidade Federal de Pernambuco, Brazil (2011)

    Google Scholar 

  13. 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)

    Chapter  Google Scholar 

  14. Roscoe, A.W.: Theory and practice of concurrency. Prentice-Hall Series in Computer Science. Prentice-Hall, Englewood Cliffs (1998)

    Google Scholar 

  15. Szyperski, C.: Component Software: Beyond Object-oriented Programming. ACM Press/Addison-Wesley Publishing Co., New York (1998)

    Google Scholar 

  16. 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)

    Article  Google Scholar 

  17. 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)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Centro de Informática, Universidade Federal de Pernambuco, Recife, PE, Brazil

    José Dihego & Augusto Sampaio

Authors
  1. José Dihego
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Augusto Sampaio
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to José Dihego .

Editor information

Editors and Affiliations

  1. University of Lübeck, Lübeck, Schleswig-Holstein, Germany

    Martin Leucker

  2. Pontificia Universidad Javeriana-Cali, Cali, Colombia

    Camilo Rueda

  3. Pontificia Universidad Javeriana-Cali, CNRS LIX École Polytechnique de Paris, Palaiseau Cedex, France

    Frank D. Valencia

Rights and permissions

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

Publish with us

Policies and ethics