Top

Published in:

2019 | OriginalPaper | Chapter

Aggregate Processes in Field Calculus

Authors : Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani

Published in: Coordination Models and Languages

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

Abstract

Engineering distributed applications and services in emerging and open computing scenarios like the Internet of Things, cyber-physical systems and pervasive computing, calls for identifying proper abstractions to smoothly capture collective behaviour, adaptivity, and dynamic injection and execution of concurrent distributed activities. Accordingly, we introduce a notion of “aggregate process” as a concurrent field computation whose execution and interactions are sustained by a dynamic team of devices, and whose spatial region can opportunistically vary over time. We formalise this notion by extending the Field Calculus with a new primitive construct, spawn, used to instantiate a set of field computations and regulate key aspects of their life-cycle. By virtue of an open-source implementation in the ScaFi framework, we show basic programming examples and benefits via two case studies of mobile ad-hoc networks and drone swarm scenarios, evaluated by simulation.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

previous chapter Self-organising Coordination Regions: A Pattern for Edge Computing

next chapter Automatic Quality-of-Service Evaluation in Service-Oriented Computing

Tags \(\tau \) do not appear in source programs: when the evaluation starts, each anonymous function expression \((\overline{\texttt {x}}) {\mathop {{\texttt {=}>}}\limits ^{}} \texttt {e}\) occurring in the program is converted into a tagged anonymous function expression by giving it a tag that is uniquely determined by its syntactical representation—see [4] for a detailed explanation.

Audrito, G., Beal, J., Damiani, F., Viroli, M.: Space-time universality of field calculus. In: Di Marzo Serugendo, G., Loreti, M. (eds.) 20th International Conference on Coordination Models and Languages. LNCS, vol. 10852, pp. 1–20. Springer, Heidelberg (2018). https://doi.org/10.1007/978-3-319-92408-3_1CrossRef

Audrito, G., Casadei, R., Damiani, F., Viroli, M.: Compositional blocks for optimal self-healing gradients. In: 11th International Conference on Self-adaptive and Self-organizing Systems (SASO 2017), pp. 91–100. IEEE (2017)

Audrito, G., Damiani, F., Viroli, M., Casadei, R.: Run-time management of computation domains in field calculus. In: 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), pp. 192–197. IEEE (2016)

Audrito, G., Viroli, M., Damiani, F., Pianini, D., Beal, J.: A higher-order calculus of computational fields. ACM Trans. Comput. Log. 20(1), 51–555 (2019)MathSciNetCrossRef

Beal, J., Pianini, D., Viroli, M.: Aggregate programming for the internet of things. IEEE Comput. 48(9), 22–30 (2015)CrossRef

Beal, J., Usbeck, K., Loyall, J., Rowe, M., Metzler, J.: Adaptive opportunistic airborne sensor sharing. ACM Trans. Auton. Adapt. Syst. 13(1), 6 (2018)CrossRef

Bouguettaya, A., Singh, M., Huhns, M., Sheng, Q.Z., et al.: A service computing manifesto: the next 10 years. Commun. ACM 60(4), 64–72 (2017)CrossRef

Casadei, R., Fortino, G., Pianini, D., Russo, W., Savaglio, C., Viroli, M.: Modelling and simulation of opportunistic IoT services with aggregate computing. Futur. Gener. Comput. Syst. 91, 252–262 (2018)CrossRef

Casadei, R., Pianini, D., Viroli, M.: Simulating large-scale aggregate MASs with Alchemist and Scala. In: FedCSIS Proceedings, pp. 1495–1504. IEEE (2016)

10.

Casadei, R., Viroli, M.: Collective abstractions and platforms for large-scale self-adaptive IoT. In: 3rd International Workshops on Foundations and Applications of Self* Systems (FAS*W), pp. 106–111. IEEE (2018)

11.

Casadei, R., Viroli, M.: Programming actor-based collective adaptive systems. In: Ricci, A., Haller, P. (eds.) Programming with Actors. LNCS, vol. 10789, pp. 94–122. Springer, Cham (2018). https://doi.org/10.1007/978-3-030-00302-9_4CrossRef

12.

Casbeer, D.W., Kingston, D.B., Beard, R.W., McLain, T.W.: Cooperative forest fire surveillance using a team of small unmanned air vehicles. Int. J. Syst. Sci. 37(6), 351–360 (2006)CrossRef

13.

Ching, A., Edunov, S., Kabiljo, M., et al.: One trillion edges: graph processing at facebook-scale. VLDB Endow. Proc. 8(12), 1804–1815 (2015)CrossRef

14.

Coore, D.: Botanical computing: a developmental approach to generating inter connect topologies on an amorphous computer. Ph.D. thesis, MIT (1999)

15.

Curino, C., Giani, M., Giorgetta, M., Giusti, A., et al.: Mobile data collection in sensor networks: the TinyLime middleware. Pervasive Mob. Comput. 4, 446–469 (2005)CrossRef

16.

Viroli, M., Damiani, F.: Type-based self-stabilisation for computational fields. Log. Methods Comput. Sci. 11(4), 1–53 (2015)

17.

De Nicola, R., et al.: The SCEL language: design, implementation, verification. In: Wirsing, M., Hölzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol. 8998, pp. 3–71. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-16310-9_1CrossRef

18.

Dean, J., Ghemawat, S.: MapReduce: simplified data processing on large clusters. Commun. ACM 51(1), 107–113 (2008)CrossRef

19.

Frew, E., Brown, T.: Airborne communication networks for small unmanned aircraft systems. Proc. IEEE 96(12), 2008–2027 (2008)CrossRef

20.

Giavitto, J.-L., Michel, O., Cohen, J., Spicher, A.: Computations in space and space in computations. In: Banâtre, J.-P., Fradet, P., Giavitto, J.-L., Michel, O. (eds.) UPP 2004. LNCS, vol. 3566, pp. 137–152. Springer, Heidelberg (2005). https://doi.org/10.1007/11527800_11CrossRef

21.

Groba, C., Clarke, S.: Opportunistic service composition in dynamic ad hoc environments. IEEE Trans. Serv. Comput. 7(4), 642–653 (2014)CrossRef

22.

Gupta, L., Jain, R., Vaszkun, G.: Survey of important issues in UAV communication networks. IEEE Commun. Surv. Tutor. 18(2), 1123–1152 (2016)CrossRef

23.

Horling, B., Lesser, V.: A survey of multi-agent organizational paradigms. Knowl. Eng. Rev. 19(4), 281–316 (2004)CrossRef

24.

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)CrossRef

25.

Montanari, U., Loreti, M., Lafuente, A.L.: Asynchronous distributed execution of fixpoint-based computational fields. Log. Methods Comput. Sci. 13(1:13), 1–46 (2017)

26.

Mamei, M., Zambonelli, F.: Programming pervasive and mobile computing applications: the TOTA approach. ACM Trans. Softw. Eng. Methodol. 18(4), 1–56 (2009)CrossRef

27.

Nagpal, R.: Programmable self-assembly: constructing global shape using biologically-inspired local interactions and origami mathematics. Ph.D. thesis, MIT, Cambridge, MA, USA (2001)

28.

Newton, R., Welsh, M.: Region streams: functional macroprogramming for sensor networks. In: WS on Data Management for Sensor Nets, pp. 78–87 (2004)

29.

Pianini, D., Beal, J., Viroli, M.: Improving gossip dynamics through overlapping replicates. In: Lluch Lafuente, A., Proença, J. (eds.) COORDINATION 2016. LNCS, vol. 9686, pp. 192–207. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-39519-7_12CrossRef

30.

Pianini, D., Montagna, S., Viroli, M.: Chemical-oriented simulation of computational systems with ALCHEMIST. J. Simul. 7(3), 202–215 (2013)CrossRef

31.

Shi, W., Dustdar, S.: The promise of edge computing. IEEE Comput. 49(5), 78–81 (2016)CrossRef

32.

Truong, H.L., Dustdar, S.: Principles for engineering IoT cloud systems. IEEE Cloud Comput. 2(2), 68–76 (2015)CrossRef

33.

Valiant, L.: A bridging model for parallel computation. Commun. ACM 33(8), 103–111 (1990)CrossRef

34.

Viroli, M., Audrito, G., Beal, J., Damiani, F., Pianini, D.: Engineering resilient collective adaptive systems by self-stabilisation. ACM Trans. Model. Comput. Simul. 28(2), 16 (2018)MathSciNetCrossRef

35.

Viroli, M., Beal, J., Damiani, F., Audrito, G., Casadei, R., Pianini, D.: From field-based coordination to aggregate computing. In: Di Marzo Serugendo, G., Loreti, M. (eds.) 20th International Conference on Coordination Models and Languages. LNCS, vol. 10852, pp. 252–279. Springer, Heidelberg (2018). https://doi.org/10.1007/978-3-319-92408-3_12CrossRef

36.

Viroli, M., Casadei, R., Pianini, D.: On execution platforms for large-scale aggregate computing. In: ACM UbiComp: Adjunct, pp. 1321–1326. ACM (2016)

37.

Whitehouse, K., Sharp, C., Brewer, E., Culler, D.: Hood: a neighborhood abstraction for sensor networks. In: Conference on Mobile Systems, Applications, and Services. ACM (2004)

38.

Zambonelli, F.: Toward sociotechnical urban superorganisms. IEEE Comput. 45(8), 76–78 (2012)CrossRef

39.

Zambonelli, F., et al.: Developing pervasive multi-agent systems with nature-inspired coordination. Pervasive Mob. Comput. 17, 236–252 (2015)CrossRef

Title: Aggregate Processes in Field Calculus
Authors: Roberto Casadei
Mirko Viroli
Giorgio Audrito
Danilo Pianini
Ferruccio Damiani
Publisher: Springer International Publishing
Book: Coordination Models and Languages
Print ISBN: 978-3-030-22396-0

Electronic ISBN: 978-3-030-22397-7

Copyright Year: 2019
DOI: https://doi.org/10.1007/978-3-030-22397-7_12

Springer Professional

Abstract

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner