A language-based approach to autonomic computing

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7542 LNCS, Issue , 2013, Pages 25-48

  De Nicola, Rocco ^a   Ferrari, Gianluigi ^b   Loreti, Michele ^c   Pugliese, Rosario ^c  

^a Institute for Advanced Studies Lucca   (Italy)

^b UNIVERSITY OF PISA   (Italy)

^c UNIVERSITY OF FLORENCE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; SEMANTICS;

AUTONOMIC COMPUTING; CONTEXT- AWARENESS; DESIGN PRINCIPLES; OPERATIONAL SEMANTICS; PROGRAMMING ABSTRACTIONS; SELF AWARENESS;

FORMAL METHODS;

EID: 84883287136     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-35887-6_2     Document Type: Conference Paper

References (32)

1. Hölzl, M., Rauschmayer, A., Wirsing, M. : Software Engineering for Ensembles. In: Wirsing, M., Banatre, J.-P., Hölzl, M., Rauschmayer, A. (eds.) Software-Intensive Systems. LNCS, vol. 5380, pp. 45-63. Springer, Heidelberg (2008)
2. IBM: An architectural blueprint for autonomic computing. Technical report, 3rd edn. (June 2005)
3. Project InterLink (2007), http://interlink. ics. forth. gr/central. aspx
4. Project ASCENS (2010), http://www. ascens-ist. eu/
5. Wirsing, M., Hölzl, M., Tribastone, M., Zambonelli, F. : ASCENS: Engineering Autonomic Service-Component Ensembles. In: Beckert, B., de Boer, F., Bonsangue, M., Damiani, F. (eds.) FMCO 2011. LNCS, vol. 7542, pp. 1-24. Springer, Heidelberg (2012)
6. Milner, R., Parrow, J., Walker, D. : A calculus of mobile processes, I & II. Inf. Comput. 100(1), 1-77 (1992)
7. Plotkin, G. D. : A structural approach to operational semantics. J. Log. Algebr. Program. 60-61, 17-139 (2004)
8. De Nicola, R., Ferrari, G., Loreti, M., Pugliese, R. : Languages primitives for coordination, resource negotiation, and task description. ASCENS Deliverable D1. 1 (September 2011), http://rap. dsi. unifi. it/scel/
9. De Nicola, R., Ferrari, G., Pugliese, R. : Klaim: A Kernel Language for Agents Interaction and Mobility. IEEE Trans. Software Eng. 24(5), 315-330 (1998)
10. Gorla, D., Pugliese, R. : Dynamic management of capabilities in a network aware coordination language. J. Log. Algebr. Program. 78(8), 665-689 (2009)
11. De Nicola, R., Gorla, D., Pugliese, R. : On the expressive power of klaim-based calculi. Theor. Comput. Sci. 356(3), 387-421 (2006)
12. Bruni, R., Corradini, A., Gadducci, F., Lluch Lafuente, A., Vandin, A. : A Conceptual Framework for Adaptation. In: de Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol. 7212, pp. 240-254. Springer, Heidelberg (2012)
13. Hirschfeld, R., Costanza, P., Nierstrasz, O. : Context-oriented programming. Journal of Object Technology 7(3), 125-151 (2008)
14. Want, R., Schooler, E., Jelinek, L., Jung, J., Dahle, D., Sengupta, U. : Ensemble computing: Opportunities and challenges. Intel Technology Journal 14(1), 118-141 (2010)
15. Hölzl, M., Wirsing, M. : Towards a System Model for Ensembles. In: Agha, G., Danvy, O., Meseguer, J. (eds.) Formal Modeling: Actors, Open Systems, Biological Systems. LNCS, vol. 7000, pp. 241-261. Springer, Heidelberg (2011)
16. Ashley-Rollman, M. P., Goldstein, S. C., Lee, P., Mowry, T. C., Pillai, P. : Meld: A declarative approach to programming ensembles. In: IROS, pp. 2794-2800. IEEE (2007)
17. Ashley-Rollman, M. P., Lee, P., Goldstein, S. C., Pillai, P., Campbell, J. D. : A Language for Large Ensembles of Independently Executing Nodes. In: Hill, P. M., Warren, D. S. (eds.) ICLP 2009. LNCS, vol. 5649, pp. 265-280. Springer, Heidelberg (2009)
18. Loo, B. T., Condie, T., Garofalakis, M., Gay, D. E., Hellerstein, J. M., Maniatis, P., Ramakrishnan, R., Roscoe, T., Stoica, I. : Declarative networking. Commun. ACM 52(11), 87-95 (2009)
19. Baresi, L., Guinea, S., Tamburrelli, G. : Towards decentralized self-adaptive component-based systems. In: Proceedings of the 2008 International Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2008, pp. 57-64. ACM, New York (2008)
20. Salvaneschi, G., Ghezzi, C., Pradella, M. : Context-oriented programming: A programming paradigm for autonomic systems. CoRR abs/1105. 0069 (2011)
21. 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)
22. Hirschfeld, R., Igarashi, A., Masuhara, H. : ContextFJ: a minimal core calculus for context-oriented programming. In: Proceedings of the 10th InternationalWorkshop on Foundations of Aspect-Oriented Languages, FOAL 2011, pp. 19-23. ACM, New York (2011)
23. Clarke, D., Costanza, P., Tanter, E. : How should context-escaping closures proceed? In: Proc. of COP 2009, pp. 1:1-1:6. ACM, New York (2009)
24. 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)
25. Bhakti, M. A. C., Azween, A. : Formal modeling of an autonomic service oriented architecture. In: CSIT, vol. 5, pp. 23-29. IACSIT Press (2011)
26. Li, Z., Parashar, M. : Rudder: An agent-based infrastructure for autonomic composition of grid applications. Multiagent and Grid Systems 1(3), 183-195 (2005)
27. Dong, X., Hariri, S., Xue, L., Chen, H., Zhang, M., Pavuluri, S., Rao, S. : Autonomia: an autonomic computing environment. In: IPCCC, pp. 61-68. IEEE (2003)
28. Mezzetti, N., Sangiorgi, D.: Towards a calculus for wireless systems. Electr. Notes Theor. Comput. Sci. 158, 331-353 (2006)
29. Singh, A., Ramakrishnan, C.R., Smolka, S.A.: A process calculus for mobile ad hoc networks. Sci. Comput. Program. 75(6), 440-469 (2010)
30. Banâtre, J.P., Radenac, Y., Fradet, P.: Chemical Specification of Autonomic Systems. In: IASSE, pp. 72-79. ISCA (2004)
31. Andrei, O., Kirchner, H.: A Higher-Order Graph Calculus for Autonomic Computing. In: Lipshteyn, M., Levit, V.E., McConnell, R.M. (eds.) Graph Theory, Computational Intelligence and Thought. LNCS, vol. 5420, pp. 15-26. Springer, Heidelberg (2009)
32. Bettini, L., De Nicola, R., Falassi, D., Lacoste, M., Loreti, M.: A Flexible and Modular Framework for Implementing Infrastructures for Global Computing. In: Kutvonen, L., Alonistioti, N. (eds.) DAIS 2005. LNCS, vol. 3543, pp. 181-193. Springer, Heidelberg (2005)