Skip to main content
SpringerLink
Log in

Safe Adaptation Through Implicit Effect Coercion

  • Chapter
  • First Online:
Book cover Programming Languages with Applications to Biology and Security

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

Abstract

Context-Oriented programming languages provide us with primitive constructs to adapt programs behaviour depending on the evolution of their operational environment. In this paradigm developers must provide behaviour for any context a program may find in. A missing behaviour causes a new kind of runtime error: an adaptation error. We propose a novel mechanism, based on implicit function, that allows the execution environment to supply such behaviour when the program is not able to adapt. We assess our proposal extending a core functional language designed for adaptivity. We integrate the mechanism in a type and effect system, in the form of implicit coercions, showing that our type discipline guarantees that no adaptation errors occur.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    http://opensignal.com/reports/2014/android-fragmentation/.

  2. 2.

    http://shopsavvy.mobi/.

References

  1. Aotani, T., Kamina, T., Masuhara, H.: Featherweight EventCJ: a core calculus for a context-oriented language with event-based per-instance layer transition. In: Proceedings of the 3rd International Workshop on Context-Oriented Programming, pp. 1:1–1:7. ACM (2011)

    Google Scholar 

  2. Aotani, T., Kamina, T., Masuhara, H.: Unifying multiple layer activation mechanisms using one event sequence. In: Proceedings of 6th International Workshop on Context-Oriented Programming. ACM, NY (2014)

    Google Scholar 

  3. Appeltauer, M., Hirschfeld, R., Haupt, M., Lincke, J., Perscheid, M.: A comparison of context-oriented programming languages. In: International Workshop on Context-Oriented Programming. ACM, NY (2009)

    Google Scholar 

  4. Barthe, G.: Implicit coercions in type systems. In: Coppo, M., Berardi, S. (eds.) TYPES 1995. LNCS, vol. 1158, pp. 1–15. Springer, Heidelberg (1996)

    Chapter  Google Scholar 

  5. Bartoletti, M., Degano, P., Ferrari, G.L.: Planning and verifying service composition. J. Comput. Secur. 17(5), 799–837 (2009)

    Article  Google Scholar 

  6. Bartoletti, M., Degano, P., Ferrari, G.L., Zunino, R.: Local policies for resource usage analysis. ACM Trans. Program. Lang. Syst. 31(6), 1–43 (2009)

    Article  MATH  Google Scholar 

  7. Bodei, C., Degano, P., Galletta, L., Salvatori, F.: Linguistic mechanisms for context-aware security. In: Ciobanu, G., Méry, D. (eds.) ICTAC 2014. LNCS, vol. 8687, pp. 61–79. Springer, Heidelberg (2014)

    Google Scholar 

  8. Bruni, R., Corradini, A., Gadducci, F., Lluch Lafuente, A., Vandin, A.: A conceptual framework for adaptation. In: de Lara, J., Zisman, A. (eds.) Fundamental Approaches to Software Engineering. LNCS, vol. 7212, pp. 240–254. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  9. Cheng, B.H.C., et al.: Software engineering for self-adaptive systems: a research roadmap. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Software Engineering for Self-Adaptive Systems. LNCS, vol. 5525, pp. 1–26. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  10. Clarke, D., Costanza, P., Tanter, E.: How should context-escaping closures proceed? In: International Workshop on Context-Oriented Programming. ACM (2009)

    Google Scholar 

  11. Clarke, D., Sergey, I.: A semantics for context-oriented programming with layers. In: International Workshop on Context-Oriented Programming. ACM, NY (2009)

    Google Scholar 

  12. Degano, P., Ferrari, G.-L., Galletta, L.: A two-phase static analysis for reliable adaptation. In: Giannakopoulou, D., Salaün, G. (eds.) SEFM 2014. LNCS, vol. 8702, pp. 347–362. Springer, Heidelberg (2014)

    Google Scholar 

  13. Degano, P., Ferrari, G.L., Galletta, L.: A two-component language for COP. In: 6th International Workshop on Context-Oriented Programming (2014)

    Google Scholar 

  14. Degano, P., Ferrari, G.-L., Galletta, L., Mezzetti, G.: Types for coordinating secure behavioural variations. In: Sirjani, M. (ed.) COORDINATION 2012. LNCS, vol. 7274, pp. 261–276. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  15. Degano, P., Ferrari, G.L., Galletta, L., Mezzetti, G.: Typing context-dependent behavioural variation. In: Gay, S.J., Kelly, P. (eds.) Proceedings of Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2012. EPTCS, vol. 109, pp. 28–33 (2012)

    Google Scholar 

  16. Hirschfeld, R., Igarashi, A., Masuhara, H.: ContextFJ: a minimal core calculus for context-oriented programming. In: Proceedings of the 10th International Workshop on Foundations of Aspect-Oriented Languages, pp. 19–23. ACM (2011)

    Google Scholar 

  17. Hirschfeld, R., Costanza, P., Nierstrasz, O.: Context-oriented programming. J. Object Technol. 7(3), 125–151 (2008). March–April 2008, ETH Zurich

    Article  Google Scholar 

  18. Igarashi, A., Hirschfeld, R., Masuhara, H.: A type system for dynamic layer composition. In: FOOL 2012, p. 13 (2012)

    Google Scholar 

  19. Igarashi, A., Pierce, B.C., Wadler, P.: Featherweight Java: a minimal core calculus for Java and GJ. ACM Trans. Program. Lang. Syst. 23(3), 396–450 (2001)

    Article  Google Scholar 

  20. Inoue, H., Igarashi, A., Appeltauer, M., Hirschfeld, R.: Towards type-safe JCop: a type system for layer inheritance and first-class layers. In: International Workshop on Context-Oriented Programming. ACM (2014)

    Google Scholar 

  21. Kamina, T., Aotani, T., Igarashi, A.: On-demand layer activation for type-safe deactivation. In: Proceedings of 6th International Workshop on Context-Oriented Programming, pp. 4:1–4:7. ACM (2014)

    Google Scholar 

  22. Kamina, T., Aotani, T., Masuhara, H.: A core calculus of composite layers. In: Proceedings of the 12th Workshop on Foundations of Aspect-Oriented Languages, pp. 7–12. ACM (2013)

    Google Scholar 

  23. Oliveira, B., Moors, A., Odersky, M.: Type classes as objects and implicits. In: Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA 2010, pp. 341–360. ACM (2010)

    Google Scholar 

  24. Oliveira, B., Schrijvers, T., Choi, W., Lee, W., Yi, K.: The implicit calculus: a new foundation for generic programming. In: ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2012, pp. 35–44 (2012)

    Google Scholar 

  25. Salehie, M., Tahvildari, L.: Self-adaptive software: landscape and research challenges. TAAS 4(2), 1–42 (2009)

    Article  Google Scholar 

  26. Salvaneschi, G., Ghezzi, C., Pradella, M.: Context-oriented programming: a programming paradigm for autonomic systems. CoRR abs/1105.0069 (2011)

    Google Scholar 

  27. Salvaneschi, G., Ghezzi, C., Pradella, M.: An analysis of language-level support for self-adaptive software. ACM Trans. Auton. Adapt. Syst. 8(2), 7:1–7:29 (2013)

    Article  Google Scholar 

  28. Skalka, C., Smith, S., Horn, D.V.: Types and trace effects of higher order programs. J. Funct. Program. 18(2), 179–249 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  29. Swamy, N., Hicks, M.W., Bierman, G.M.: A theory of typed coercions and its applications. In: Proceedings of the 14th ACM SIGPLAN International Conference on Functional Programming, ICFP 2009, Edinburgh, Scotland, UK, 2 August 31–September 2009, pp. 329–340 (2009)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Pisa, Pisa, Italy

    Davide Basile

  2. Institute of Science and Technologies of Information “A.Faedo”, Consiglio Nazionale Delle Ricerche, ISTI-CNR, Pisa, Italy

    Davide Basile

  3. Department of Computer Science, University of Pisa, Pisa, Italy

    Letterio Galletta

  4. Department of Computer Science, Aarhus University, Aarhus, Denmark

    Gianluca Mezzetti

Authors
  1. Davide Basile
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Letterio Galletta
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Gianluca Mezzetti
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Gianluca Mezzetti .

Editor information

Editors and Affiliations

  1. Dipartimento di Informatica, Università di Pisa, Pisa, Italy

    Chiara Bodei

  2. Dipartimento di Informatica, Università di Pisa, Pisa, Italy

    Gianluigi Ferrari

  3. Università degli Studi di Trento, Povo, Italy

    Corrado Priami

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this chapter

Cite this chapter

Basile, D., Galletta, L., Mezzetti, G. (2015). Safe Adaptation Through Implicit Effect Coercion. In: Bodei, C., Ferrari, G., Priami, C. (eds) Programming Languages with Applications to Biology and Security. Lecture Notes in Computer Science(), vol 9465. Springer, Cham. https://doi.org/10.1007/978-3-319-25527-9_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-25527-9_10

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-25526-2

  • Online ISBN: 978-3-319-25527-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation