×

zbMATH — the first resource for mathematics

On the power of attribute-based communication. (English) Zbl 1347.68022
Albert, Elvira (ed.) et al., Formal techniques for distributed objects, components, and systems. 36th IFIP WG 6.1 international conference, FORTE 2016, held as part of the 11th international federated conference on distributed computing techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6–9, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-39569-2/pbk; 978-3-319-39570-8/ebook). Lecture Notes in Computer Science 9688, 1-18 (2016).
Summary: In open systems exhibiting adaptation, behaviors can arise as side effects of intensive components interaction. Finding ways to understand and design these systems, is a difficult but important endeavor. To tackle these issues, we present AbC, a calculus for attribute-based communication. An AbC system consists of a set of parallel agents each of which is equipped with a set of attributes. Communication takes place in an implicit multicast fashion, and interactions among agents are dynamically established by taking into account ”connections” as determined by predicates over the attributes of agents. First, the syntax and the semantics of the calculus are presented, then expressiveness and effectiveness of AbC are demonstrated both in terms of modeling scenarios featuring collaboration, reconfiguration, and adaptation and of the possibility of encoding channel-based interactions and other interaction patterns. Behavioral equivalences for AbC are introduced for establishing formal relationships between different descriptions of the same system.
For the entire collection see [Zbl 1339.68004].

MSC:
68M14 Distributed systems
Software:
SCEL
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Agha, G., Callsen, C.J.: ActorSpace: an open distributed programming paradigm, vol. 28. ACM (1993)
[2] Alrahman, Y.A., De Nicola, R., Loreti, M.: On the power of attribute-based communication, extended report (2016) · Zbl 1347.68022
[3] Alrahman, Y.A., De Nicola, R., Loreti, M., Tiezzi, F., Vigo, R.: A calculus for attribute-based communication. In: Proceedings of the 30th Annual ACM Symposium on Applied Computing, SAC 2015, pp. 1840–1845. ACM (2015) · doi:10.1145/2695664.2695668
[4] Bass, M.A., Nguyen, F.T.: Unified publish and subscribe paradigm for local and remote publishing destinations, US Patent 6,405,266, 11 June 2002
[5] Chockler, G.V., Keidar, I., Vitenberg, R.: Group communication specifications: a comprehensive study. ACM Comput. Surv. 33, 427–469. ACM (2001). doi: 10.1145/503112.503113 · doi:10.1145/503112.503113
[6] De Nicola, R., Ferrari, G., Loreti, M., Pugliese, R.: A language-based approach to autonomic computing. In: Boer, F.S., Bonsangue, M.M., Beckert, B., Damiani, F. (eds.) FMCO 2011. LNCS, vol. 7542, pp. 25–48. Springer, Heidelberg (2012)
[7] De Nicola, R., Loreti, M., Pugliese, R., Tiezzi, F.: A formal approach to autonomic systems programming: the scel language. ACM Trans. Auton. Adapt. Syst. 9, 1–29 (2014) · doi:10.1145/2619998
[8] Ene, C., Muntean, T.: A broadcast-based calculus for communicating systems. In: Parallel and Distributed Processing Symposium, International, vol. 3, p. 30149b. IEEE Computer Society (2001) · doi:10.1109/IPDPS.2001.925136
[9] Eugster, P.T., Felber, P.A., Guerraoui, R., Kermarrec, A.-M.: The many faces of publish/subscribe. ACM Comput. (CSUR) 35(2), 114–131 (2003) · doi:10.1145/857076.857078
[10] Ferscha, A.: Collective adaptive systems. In: Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2015 ACM International Symposium on Wearable Computers, pp. 893–895 (2015) · doi:10.1145/2800835.2809508
[11] Given-Wilson, T., Gorla, D., Jay, B.: Concurrent pattern calculus. In: Calude, C.S., Sassone, V. (eds.) TCS 2010. IFIP AICT, vol. 323, pp. 244–258. Springer, Heidelberg (2010) · Zbl 1198.68211 · doi:10.1007/978-3-642-15240-5_18
[12] Antony Richard Hoare, C.: Communicating sequential processes. Commun. ACM 21(8), 666–677 (1978) · Zbl 0383.68028 · doi:10.1145/359576.359585
[13] Holbrook, H.W., Cheriton, D.R.: Ip multicast channels: express support for large-scale single-source applications. In: ACM SIGCOMM Computer Communication Review, vol. 29, pp. 65–78. ACM (1999) · doi:10.1145/316188.316207
[14] Honda, K., Yoshida, N.: On reduction-based process semantics. Theor. Comput. Sci. 151(2), 437–486 (1995) · Zbl 0871.68122 · doi:10.1016/0304-3975(95)00074-7
[15] John, M., Lhoussaine, C., Niehren, J.: Dynamic compartments in the imperative \[ \pi \] \(\pi\) -calculus. In: Degano, P., Gorrieri, R. (eds.) CMSB 2009. LNCS, vol. 5688, pp. 235–250. Springer, Heidelberg (2009) · Zbl 05609279 · doi:10.1007/978-3-642-03845-7_16
[16] John, M., Lhoussaine, C., Niehren, J., Uhrmacher, A.M.: The attributed Pi-calculus with priorities. In: Priami, C., Breitling, R., Gilbert, D., Heiner, M., Uhrmacher, A.M. (eds.) Transactions on Computational Systems Biology XII. LNCS, vol. 5945, pp. 13–76. Springer, Heidelberg (2010) · Zbl 1275.92023 · doi:10.1007/978-3-642-11712-1_2
[17] Mamei, M., Zambonelli, F.: Programming pervasive and mobile computing applications with the tota middleware. In: Proceedings of the Second IEEE Annual Conference on Pervasive Computing and Communications, 2004. PerCom 2004, pp. 263–273. IEEE (2004) · Zbl 1087.68651 · doi:10.1109/PERCOM.2004.1276864
[18] Milner, R. (ed.): A Calculus of Communication Systems. LNCS, vol. 92. Springer, Heidelberg (1980). doi: 10.1007/3-540-10235-3 · Zbl 0452.68027
[19] Milner, R.: Communication and Concurrency. Prentice-Hall Inc, Upper Saddle River (1989) · Zbl 0683.68008
[20] Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, ii. Inf. Comput. 100(1), 41–77 (1992) · Zbl 0752.68037 · doi:10.1016/0890-5401(92)90009-5
[21] Milner, R., Sangiorgi, D.: Barbed bisimulation. In: Kuich, W. (ed.) ICALP 1992. LNCS, vol. 623, pp. 685–695. Springer, Heidelberg (1992) · doi:10.1007/3-540-55719-9_114
[22] Prasad, K.V.S.: A calculus of broadcasting systems. Sci. Comput. Program. 25(2), 285–327 (1995) · Zbl 05476417 · doi:10.1016/0167-6423(95)00017-8
[23] Prasad, K.V.S.: A calculus of broadcasting systems. In: Abramsky, S. (ed.) CAAP 1991 and TAPSOFT 1991. LNCS, vol. 493, pp. 338–358. Springer, Heidelberg (1991) · doi:10.1007/3-540-53982-4_19
[24] Sanders, J.W., Smith, G.: Formal ensemble engineering. In: Wirsing, M., Banâtre, J.-P., Hölzl, M., Rauschmayer, A. (eds.) Software-Intensive Systems. LNCS, vol. 5380, pp. 132–138. Springer, Heidelberg (2008) · Zbl 05496499 · doi:10.1007/978-3-540-89437-7_8
[25] Sangiorgi, D., Walker, D.: The pi-calculus: A Theory of Mobile Processes. Cambridge University Press, Cambridge (2003) · Zbl 0981.68116
[26] 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
[27] Vigo, R., Nielson, F., Nielson, H.R.: Broadcast, denial-of-service, and secure communication. In: Johnsen, E.B., Petre, L. (eds.) IFM 2013. LNCS, vol. 7940, pp. 412–427. Springer, Heidelberg (2013) · Zbl 06248481 · doi:10.1007/978-3-642-38613-8_28
[28] Viroli, M., Damiani, F., Beal, J.: A calculus of computational fields. In: Canal, C., Villari, M. (eds.) Advances in Service-Oriented and Cloud Computing, pp. 114–128. Springer, Heidelberg (2013) · doi:10.1007/978-3-642-45364-9_11
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.