×

zbMATH — the first resource for mathematics

Programming autonomic systems with multiple constraint stores. (English) Zbl 1454.68126
De Nicola, Rocco (ed.) et al., Software, services, and systems. Essays dedicated to Martin Wirsing on the occasion of his retirement from the chair of programming and software engineering, Munich, Germany, 2015. Essays. Cham: Springer. Lect. Notes Comput. Sci. 8950, 641-661 (2015).
Summary: Developing autonomic systems is a major challenge due to their distributed nature, large dimension, high dynamism, open-endedness, and need of adaptation. In this paper, we tackle this challenge by proposing a language, called ccSCEL, that combines abstractions and primitives specifically devised for programming autonomic systems by also using constraints and operations on them. We show that constraints permit addressing issues related to the programming of autonomic systems, since they are suitable means to deal with, e.g., partial knowledge, multi-criteria optimisation, preferences, uncertainty. We also present an advanced form of interaction that is particularly convenient in this setting. It allows a component of a system to access the constraint-based knowledge of all components checking its consistency and implications.
For the entire collection see [Zbl 1312.68005].

MSC:
68T05 Learning and adaptive systems in artificial intelligence
68N15 Theory of programming languages
Software:
Linda; SCEL; SCELlight
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based constraint satisfaction and optimization. J. ACM 44(2), 201–236 (1997) · Zbl 0890.68032 · doi:10.1145/256303.256306
[2] Bistarelli, S., Montanari, U., Rossi, F.: Soft concurrent constraint programming. ACM Trans. Comput. Log. 7(3), 563–589 (2006) · Zbl 1367.68315 · doi:10.1145/1149114.1149118
[3] Bures, 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: SASOW, pp. 71–76. IEEE (2013)
[4] Buscemi, M.G., Montanari, U.: QoS negotiation in service composition. J. Log. Algebr. Program. 80(1), 13–24 (2011) · Zbl 1207.68220 · doi:10.1016/j.jlap.2010.04.001
[5] Cesari, L., De Nicola, R., Pugliese, R., Puviani, M., Tiezzi, F., Zambonelli, F.: Formalising adaptation patterns for autonomic ensembles. In: Fiadeiro, J.L., Liu, Z., Xue, J. (eds.) FACS 2013. LNCS, vol. 8348, pp. 100–118. Springer, Heidelberg (2014) · doi:10.1007/978-3-319-07602-7_8
[6] De Nicola, R., Ferrari, G., Loreti, M., Pugliese, R.: A language-based approach to autonomic computing. In: Beckert, B., Damiani, F., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2011. LNCS, vol. 7542, pp. 25–48. Springer, Heidelberg (2012) · doi:10.1007/978-3-642-35887-6_2
[7] De Nicola, R., Lluch Lafuente, A., Loreti, M., Morichetta, A., Pugliese, R., Senni, V., Tiezzi, F.: Programming and verifying component ensembles. In: Bensalem, S., Lakhneck, Y., Legay, A. (eds.) From Programs to Systems. LNCS, vol. 8415, pp. 69–83. Springer, Heidelberg (2014) · Zbl 1416.68051 · doi:10.1007/978-3-642-54848-2_5
[8] De Nicola, R., Loreti, M., Pugliese, R., Tiezzi, F.: A formal approach to autonomic systems programming: The SCEL language. ACM Transactions on Autonomous and Adaptive Systems 9(2), 7:1–7:29 (2014)
[9] Cabri, G., Capodieci, N., Cesari, L., De Nicola, R., Pugliese, R., Tiezzi, F., Zambonelli, F.: Self-expression and Dynamic Attribute-Based Ensembles in SCEL. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part I. LNCS, vol. 8802, pp. 147–163. Springer, Heidelberg (2014) · Zbl 06503369 · doi:10.1007/978-3-662-45234-9_11
[10] Gelernter, D.: Generative Communication in Linda. ACM Trans. Program. Lang. Syst. 7(1), 80–112 (1985) · Zbl 0559.68030 · doi:10.1145/2363.2433
[11] Kephart, J.O., Chess, D.M.: The Vision of Autonomic Computing. Computer 36, 41–50 (2003) · Zbl 05087044 · doi:10.1109/MC.2003.1160055
[12] Loreti, M., Margheri, A., Pugliese, R., Tiezzi, F.: On Programming and Policing Autonomic Computing Systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part I. LNCS, vol. 8802, pp. 164–183. Springer, Heidelberg (2014) · Zbl 06503370 · doi:10.1007/978-3-662-45234-9_12
[13] Margheri, A., Pugliese, R., Tiezzi, F.: Linguistic abstractions for programming and policing autonomic computing systems. In: UIC/ATC, pp. 404–409. IEEE (2013) · doi:10.1109/UIC-ATC.2013.33
[14] Mayer, P., Klarl, A., Hennicker, R., Puviani, M., Tiezzi, F., Pugliese, R., Keznikl, J., Bures, T.: The Autonomic Cloud: A vision of voluntary, peer-2-peer cloud computing. In: SASOW, pp. 89–94. IEEE (2013) · doi:10.1109/SASOW.2013.16
[15] Montanari, U., Pugliese, R., Tiezzi, F.: Programming autonomic systems with multiple constraint stores. Technical Report (2014), http://rap.dsi.unifi.it/scel/ · Zbl 1454.68126
[16] Rossi, F., Beek, P.v., Walsh, T.: Handbook of Constraint Programming. Elsevier (2006)
[17] Sommerville, I., Cliff, D., Calinescu, R., Keen, J., Kelly, T., Kwiatkowska, M., Mcdermid, J., Paige, R.: Large-scale Complex IT Systems. Commun. ACM 55(7), 71–77 (2012) · doi:10.1145/2209249.2209268
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.