Advertisement

Self-expression and Dynamic Attribute-Based Ensembles in SCEL

  • Giacomo Cabri
  • Nicola Capodieci
  • Luca Cesari
  • Rocco De Nicola
  • Rosario Pugliese
  • Francesco Tiezzi
  • Franco Zambonelli
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8802)

Abstract

In the field of distributed autonomous computing the current trend is to develop cooperating computational entities enabled with enhanced self-* properties. The expression self-* indicates the possibility of a component inside an ensemble, i.e. a set of collaborative autonomic components, to self organize, heal (repair), optimize and configure with little or no human interaction. We focus on a self-* property called self-expression, defined as the ability to deploy run-time changes of the coordination pattern of the observed ensemble; the goal of the ensemble is to achieve adaptivity by meeting functional and non-functional requirements when specific tasks have to be completed. The purpose of this paper is to rigorously present the mechanisms involved whenever a change in the coordination pattern is needed, and the interactions that take place. To this aim, we use SCEL (Software Component Ensemble Language), a formal language for describing autonomic components and their interactions, featuring a highly dynamic and flexible way to form ensembles based on components’ attributes.

Keywords

Self-expression coordination patterns ensemble computing 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Agha, G.A.: ACTORS - a model of concurrent computation in distributed systems. MIT Press series in artificial intelligence. MIT Press (1990)Google Scholar
  2. 2.
    Bellifemine, F.L., Caire, G., Greenwood, D.: Developing Multi-Agent Systems with JADE. Wiley Series in Agent Technology. John Wiley & Sons (2007)Google Scholar
  3. 3.
    Bordini, R.H., Hübner, J.F., Vieira, R.: Jason and the golden fleece of agent-oriented programming. In: Multi-Agent Programming. Multiagent Systems, Artificial Societies, and Simulated Organizations, vol. 15, pp. 3–37. Springer (2005)Google Scholar
  4. 4.
    Bureš, T., De Nicola, R., Gerostathopoulos, I., Hoch, N., Kit, M., Koch, N., Monreale, G., Montanari, U., Pugliese, R., Serbedzija, N., Wirsing, M., Zambonelli, F.: A life cycle for the development of autonomic systems: The e-mobility showcase. In: 3rd Workshop on Challenges for Achieving Self-Awareness in Autonomic Systems. IEEE (2013)Google Scholar
  5. 5.
    Cabri, G., Capodieci, N.: Runtime change of collaboration patterns in autonomic systems: Motivations and perspectives. In: AINA Workshops, pp. 1038–1043. IEEE (2013)Google Scholar
  6. 6.
    Cabri, G., Puviani, M., Zambonelli, F.: Towards a taxonomy of adaptive agent-based collaboration patterns for autonomic service ensembles. In: CTS, pp. 508–515. IEEE (2011)Google Scholar
  7. 7.
    Capodieci, N., Hart, E., Cabri, G.: Designing self-aware adaptive systems: from autonomic computing to cognitive immune networks. In: 3rd Workshop on Challenges for Achieving Self-Awareness in Autonomic Systems. IEEE (2013)Google Scholar
  8. 8.
    Costa, P., Mottola, L., Murphy, A.L., Picco, G.: Tuple Space Middleware for Wireless Networks. In: Middleware for Network Eccentric and Mobile Applications, pp. 245–264. Springer (2009)Google Scholar
  9. 9.
    Dastani, M.: 2APL: A practical agent programming language. Autonomous Agents and Multi-Agent Systems 16(3), 214–248 (2008)CrossRefGoogle Scholar
  10. 10.
    De Nicola, R., Ferrari, G., Loreti, M., Pugliese, R.: A language-based approach to autonomic computing. In: Beckert, B., Bonsangue, M.M. (eds.) FMCO 2011. LNCS, vol. 7542, pp. 25–48. Springer, Heidelberg (2012)Google Scholar
  11. 11.
    De Nicola, R., Loreti, M., Pugliese, R., Tiezzi, F.: SCEL: A language for autonomic computing. TR (2013), http://rap.dsi.unifi.it/scel/pdf/SCEL-TR.pdf
  12. 12.
    De Nicola, R., Loreti, M., Pugliese, R., Tiezzi, F.: A formal approach to autonomic systems programming: The SCEL Language. Transactions on Autonomous and Adaptive Systems (to appear, 2014)Google Scholar
  13. 13.
    Durfee, E., Lesser, V., Corkill, D.D.: Trends in cooperative distributed problem solving. IEEE Transactions on Knowledge and Data Engineering 1(1), 63–83 (1989)CrossRefGoogle Scholar
  14. 14.
    Horn, P.: Autonomic Computing: IBM’s Perspective on the State of Information Technology. Technical Report, October 15 (2001)Google Scholar
  15. 15.
    Huebscher, M.C., McCann, J.A.: A survey of autonomic computing – degrees, models, and applications. ACM Comput. Surv. 40(3), 7:1–7:28 (2008)Google Scholar
  16. 16.
    Kephart, J., Chess, D.: The vision of autonomic computing. Computer 36(1), 41–50 (2003)MathSciNetCrossRefGoogle Scholar
  17. 17.
    Klusch, M., Gerber, A.: Dynamic coalition formation among rational agents. IEEE Intelligent Systems 17(3), 42–47 (2002)CrossRefGoogle Scholar
  18. 18.
    Mamei, M., Zambonelli, F.: Programming pervasive and mobile computing applications: The TOTA approach. ACM Trans. Softw. Eng. Methodol. 18(4) (2009)Google Scholar
  19. 19.
    Margheri, A., Pugliese, R., Tiezzi, F.: Linguistic abstractions for programming and policing autonomic computing systems. In: UIC/ATC, pp. 404–409. IEEE (2013)Google Scholar
  20. 20.
    McKinley, P., Sadjadi, S., Kasten, E., Cheng, B.H.C.: Composing adaptive software. Computer 37(7), 56–64 (2004)CrossRefGoogle Scholar
  21. 21.
    Milner, R.: Communication and concurrency. PHI Series in Computer Science. Prentice Hall (1989)Google Scholar
  22. 22.
    Mottola, L., Picco, G.P.: Logical Neighborhoods: A Programming Abstraction for Wireless Sensor Networks. In: Gibbons, P.B., Abdelzaher, T., Aspnes, J., Rao, R. (eds.) DCOSS 2006. LNCS, vol. 4026, pp. 150–168. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  23. 23.
    Mottola, L., Picco, G.P.: Middleware for wireless sensor networks: an outlook. J. Internet Services and Applications 3(1), 31–39 (2012)CrossRefGoogle Scholar
  24. 24.
  25. 25.
    Nordström, E., Gunningberg, P., Rohner, C.: A search-based network architecture for mobile devices. Uppsala University, TR 2009-003 (2009)Google Scholar
  26. 26.
    Puviani, M., Pinciroli, C., Cabri, G., Leonardi, L., Zambonelli, F.: Is Self-Expression Useful? Evaluation by a Case Study. In: Reddy, S., Jmaiel, M. (eds.) WETICE (AROSA Track), pp. 62–67. IEEE (2013)Google Scholar
  27. 27.
    Rao, A.S.: AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language. In: Van de Velde, W., Perram, J.W. (eds.) MAAMAW 1996. LNCS, vol. 1038, pp. 42–55. Springer, Heidelberg (1996)CrossRefGoogle Scholar
  28. 28.
    Rodriguez, S., Gaud, N., Hilaire, V., Galland, S., Koukam, A.: An analysis and design concept for self-organization in holonic multi-agent systems. In: Brueckner, S.A., Hassas, S., Jelasity, M., Yamins, D. (eds.) ESOA 2006. LNCS (LNAI), vol. 4335, pp. 15–27. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  29. 29.
    Winikoff, M.: JACKTM Intelligent Agents: An Industrial Strength Platform. In: Multi-Agent Programming. Multiagent Systems, Artificial Societies, and Simulated Organizations, pp. 175–193. Springer (2005)Google Scholar
  30. 30.
    Zambonelli, F., Bicocchi, N., Cabri, G., Leonardi, L., Puviani, M.: On self-adaptation, self-expression, and self-awareness in autonomic service component ensembles. In: SASO Workshops, pp. 108–113. IEEE (2011)Google Scholar
  31. 31.
    Zambonelli, F., Castelli, G., Ferrari, L., Mamei, M., Rosi, A., Serugendo, G.D.M., Risoldi, M., Tchao, A.-E., Dobson, S., Stevenson, G., Ye, J., Nardini, E., Omicini, A., Montagna, S., Viroli, M., Ferscha, A., Maschek, S., Wally, B.: Self-aware pervasive service ecosystems. Procedia CS 7, 197–199 (2011)Google Scholar
  32. 32.
    Zambonelli, F., Omicini, A.: Challenges and research directions in agent-oriented software engineering. Autonomous Agents and Multi-Agent Systems 9(3), 253–283 (2004)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2014

Authors and Affiliations

  • Giacomo Cabri
    • 1
  • Nicola Capodieci
    • 1
  • Luca Cesari
    • 2
  • Rocco De Nicola
    • 3
  • Rosario Pugliese
    • 2
  • Francesco Tiezzi
    • 3
  • Franco Zambonelli
    • 1
  1. 1.Università degli Studi di Modena e Reggio EmiliaReggio EmiliaItaly
  2. 2.Università degli Studi di FirenzeFirenzeItaly
  3. 3.IMT Institute for Advanced Studies LuccaLuccaItaly

Personalised recommendations