×

zbMATH — the first resource for mathematics

A formal approach to the engineering of domain-specific distributed systems. (English) Zbl 07161324
Summary: We review some results regarding specification, programming and verification of different classes of distributed systems which stemmed from the research of the Concurrency and Mobility Group at University of Firenze. More specifically, we examine the distinguishing features of network-aware programming, service-oriented computing, autonomic computing, and collective adaptive systems programming. We then present an overview of four different languages, namely Klaim, Cows, Sceland AC. For each language, we discuss design choices, present syntax and semantics, show how the different formalisms can be used to model and program a travel booking scenario, and describe programming environments and verification techniques.
MSC:
68 Computer science
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] De Nicola, R.; Ferrari, G. L.; Pugliese, R.; Tiezzi, F., A formal approach to the engineering of domain-specific distributed systems, (COORDINATION. COORDINATION, LNCS, vol. 10852 (2018), Springer), 110-141
[2] Fuggetta, A.; Picco, G. Pietro; Vigna, G., Understanding code mobility, IEEE Trans. Softw. Eng., 24, 342-361 (1998)
[3] Papazoglou, M. P.; Georgakopoulos, D., Service-oriented computing, Commun. ACM, 46, 10, 24-28 (2003)
[4] Kephart, J. O.; Chess, D. M., The vision of autonomic computing, Computer, 36, 41-50 (2003)
[5] Anderson, S.; Bredeche, N.; Eiben, A.; Kampis, G.; van Steen, M., Adaptive Collective Systems: Herding Black Sheep (2013), BookSprints for ICT Research
[6] De Nicola, R.; Ferrari, G. L.; Pugliese, R., Klaim: a kernel language for agents interaction and mobility, IEEE Trans. Softw. Eng., 24, 5, 315-330 (1998)
[7] Pugliese, R.; Tiezzi, F., A calculus for orchestration of web services, J. Appl. Log., 10, 1, 2-31 (2012)
[8] 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, 2, 7 (2014)
[9] Abd Alrahman, Y.; De Nicola, R.; Loreti, M., On the power of attribute-based communication, (FORTE. FORTE, LNCS, vol. 9688 (2016), Springer), 1-18 · Zbl 1347.68022
[10] Plotkin, G. D., A structural approach to operational semantics, J. Log. Algebraic Program., 60-61, 17-139 (2004) · Zbl 1082.68062
[11] Gelernter, D., Generative communication in linda, ACM Trans. Program. Lang. Syst., 7, 1, 80-112 (1985) · Zbl 0559.68030
[12] Gelernter, D., Multiple tuple spaces in linda, (PARLE. PARLE, LNCS, vol. 366 (1989), Springer), 20-27
[13] Davies, N.; Wade, S.; Friday, A.; Blair, G., L^2imbo: a tuple space based platform for adaptive mobile applications, (ICODP/ICDP (1997), Springer), 291-302
[14] Castellani, S.; Ciancarini, P.; Rossi, D., The ShaPE of ShaDE: a Coordination System (1996), Dip. di Scienze dell’Informazione, Univ: Dip. di Scienze dell’Informazione, Univ Bologna, Tech. Rep. UBLCS 96-5
[15] Deugo, D., Choosing a mobile agent messaging model, (ISADS (2001), IEEE), 278-286
[16] Ferrari, G. L.; Moggi, E.; Pugliese, R., Metaklaim: a type safe multi-stage language for global computing, Math. Struct. Comput. Sci., 14, 3, 367-395 (2004) · Zbl 1085.68013
[17] De Nicola, R.; Ferrari, G. L.; Pugliese, R.; Venneri, B., Types for access control, Theor. Comput. Sci., 240, 1, 215-254 (2000) · Zbl 0954.68025
[18] Bettini, L.; Loreti, M.; Pugliese, R., Structured nets in KLAIM, (SAC (2000), ACM), 174-180
[19] Bettini, L.; De Nicola, R.; Ferrari, G.; Pugliese, R., Interactive mobile agents in X-Klaim, (WETICE (1998), IEEE Computer Society Press), 110-115
[20] Bettini, L.; De Nicola, R.; Pugliese, R., Klava: a Java package for distributed and mobile applications, Softw. Pract. Exp., 32, 14, 1365-1394 (2002) · Zbl 1009.68933
[21] Bettini, L.; Merelli, E.; Tiezzi, F., X-KLAIM is back, (Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday. Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday, LNCS, vol. 11665 (2019), Springer), 115-135
[22] Bettini, L., Implementing Domain-Specific Languages with Xtext and Xtend (2016), Packt Publishing
[23] De Nicola, R.; Loreti, M., A modal logic for mobile agents, ACM Trans. Comput. Log., 5, 1, 79-128 (2004) · Zbl 1367.68064
[24] De Nicola, R.; Gorla, D.; Pugliese, R., Confining data and processes in global computing applications, Sci. Comput. Program., 63, 1, 57-87 (2006) · Zbl 1137.68333
[25] Gorla, D.; Pugliese, R., Dynamic management of capabilities in a network aware coordination language, J. Log. Algebraic Program., 78, 8, 665-689 (2009) · Zbl 1183.68041
[26] De Nicola, R., From flow logic to static type systems for coordination languages, Sci. Comput. Program., 75, 6, 376-397 (2010) · Zbl 1192.68126
[27] Bodei, C.; Degano, P.; Ferrari, G. L.; Galletta, L., Tracing where IoT data are collected and aggregated, Log. Methods Comput. Sci., 13, 3, 1-38 (2017) · Zbl 06790142
[28] Bodei, C.; Galletta, L., Tracking data trajectories in IoT, (Procs. of International Conference on Information Systems Security and Privacy (2019), SciTePress), 572-579
[29] Bodei, C.; Degano, P.; Ferrari, G. L.; Galletta, L., Revealing the trajectories of KLAIM tuples, statically, (Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday. Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday, LNCS, vol. 11665 (2019), Springer), 437-454
[30] Bodei, C.; Degano, P.; Ferrari, G. L.; Galletta, L., Security Metric at Work on the Things of Iot Systems, LNCS (2020), Springer, (forthcoming)
[31] Buravlev, V.; De Nicola, R.; Mezzina, C. A., Evaluating the efficiency of linda implementations, Concurr. Comput., 30, 8 (2018)
[32] Ciatto, G.; Mariani, S.; Louvel, M.; Omicini, A.; Zambonelli, F., Twenty years of coordination technologies: state-of-the-art and perspectives, (COORDINATION. COORDINATION, LNCS, vol. 10852 (2018), Springer), 51-80
[33] (C., Priami; P., Quaglia, Global Computing. Global Computing, LNCS, vol. 3267 (2005), Springer)
[34] Hennessy, M.; Riely, J., Resource access control in systems of mobile agents, Inf. Comput., 173, 1, 82-120 (2002) · Zbl 1009.68081
[35] Fournet, C.; Gonthier, G.; Lévy, J.; Maranget, L.; Rémy, D., A calculus of mobile agents, (CONCUR ’96, Concurrency Theory, 7th International Conference, Proceedings. CONCUR ’96, Concurrency Theory, 7th International Conference, Proceedings, Lecture Notes in Computer Science, vol. 1119 (1996), Springer), 406-421
[36] Fournet, C.; Gonthier, G., The join calculus: a language for distributed mobile programming, (Applied Semantics, International Summer School, APPSEM 2000, Advanced Lectures. Applied Semantics, International Summer School, APPSEM 2000, Advanced Lectures, Lecture Notes in Computer Science, vol. 2395 (2002), Springer), 268-332 · Zbl 1065.68071
[37] Cardelli, L.; Gordon, A. D., Mobile ambients, Theor. Comput. Sci., 240, 1, 177-213 (2000) · Zbl 0954.68108
[38] W3C, Web services activity (2018)
[39] Lapadula, A.; Pugliese, R.; Tiezzi, F., A calculus for orchestration of web services, (ESOP. ESOP, LNCS, vol. 4421 (2007), Springer), 33-47 · Zbl 1187.68070
[40] OASIS WSBPEL TC, Web Services Business Process Execution Language Version 2.0 (April 2007), Tech. rep., OASIS
[41] Merro, M.; Sangiorgi, D., On asynchrony in name-passing calculi, Math. Struct. Comput. Sci., 14, 5, 715-767 (2004) · Zbl 1093.68026
[42] Amadio, R.; Castellani, I.; Sangiorgi, D., On bisimulations for the asynchronous pi-calculus, Theor. Comput. Sci., 195, 2, 291-324 (1998) · Zbl 0915.68009
[43] Cesari, L.; Pugliese, R.; Tiezzi, F., Blind-date conversation joining, Serv. Oriented Comput. Appl., 11, 3, 265-283 (2017)
[44] Milner, R.; Parrow, J.; Walker, D., A calculus of mobile processes, I and II, Inf. Comput., 100, 1, 1-40 (1992), pp. 41-77 · Zbl 0752.68036
[45] Lapadula, A.; Pugliese, R.; Tiezzi, F., Using formal methods to develop WS-BPEL applications, Sci. Comput. Program., 77, 3, 189-213 (2012)
[46] Cesari, L.; Pugliese, R.; Tiezzi, F., A tool for rapid development of WS-BPEL applications, ACM SIGAPP Appl. Comput. Rev., 11, 1, 27-40 (2010)
[47] Lapadula, A.; Pugliese, R.; Tiezzi, F., Regulating data exchange in service oriented applications, (FSEN. FSEN, LNCS, vol. 4767 (2007), Springer), 223-239 · Zbl 1141.68509
[48] Pugliese, R.; Tiezzi, F.; Yoshida, N., On observing dynamic prioritised actions in SOC, (ICALP. ICALP, LNCS, vol. 5556 (2009), Springer), 558-570 · Zbl 1248.68099
[49] Fantechi, A., A logical verification methodology for service-oriented computing, ACM Trans. Softw. Eng. Methodol., 21, 3, 16:1-16:46 (2012)
[50] Masi, M.; Pugliese, R.; Tiezzi, F., On secure implementation of an IHE XUA-based protocol for authenticating healthcare professionals, (ICISS. ICISS, LNCS, vol. 5905 (2009), Springer), 55-70
[51] Gnesi, S.; Pugliese, R.; Tiezzi, F., The sensoria approach applied to the finance case study, (Rigorous Software Engineering for Service-Oriented Systems. Rigorous Software Engineering for Service-Oriented Systems, LNCS, vol. 6582 (2011), Springer), 698-718
[52] Lapadula, A.; Pugliese, R.; Tiezzi, F., tcows: A timed service-oriented calculus, (Proc. of 4th International Colloquium on Theoretical Aspects of Computing (ICTAC). Proc. of 4th International Colloquium on Theoretical Aspects of Computing (ICTAC), LNCS, vol. 4711 (2007), Springer), 275-290 · Zbl 1147.68846
[53] Lapadula, A.; Pugliese, R.; Tiezzi, F., Service discovery and negotiation with Cows, (Proc. of 3rd International Workshop on Automated Specification and Verification of Web Systems (WWV), Vol. 200(3) of ENTCS (2008), Elsevier Science), 133-154
[54] Prandi, D.; Quaglia, P., Stochastic Cows, (Proc. of 5th International Conference on Service Oriented Computing (ICSOC). Proc. of 5th International Conference on Service Oriented Computing (ICSOC), LNCS, vol. 4749 (2007), Springer), 245-256
[55] Prandi, D.; Quaglia, P.; Zannone, N., Formal analysis of BPMN via a translation into Cows, (Proc. of 10th International Conference on Coordination Models and Languages (COORDINATION). Proc. of 10th International Conference on Coordination Models and Languages (COORDINATION), LNCS, vol. 5052 (2008), Springer), 249-263
[56] Laneve, C.; Zavattaro, G., Foundations of web transactions, (Proc. of 8th International Conference on Foundations of Software Science and Computational Structures (FoSSaCS). Proc. of 8th International Conference on Foundations of Software Science and Computational Structures (FoSSaCS), LNCS, vol. 3441 (2005), Springer), 282-298 · Zbl 1118.68335
[57] Laneve, C.; Zavattaro, G., web-pi at work, (Prof. of 1st International Symposium on Trustworthy Global Computing (TGC). Prof. of 1st International Symposium on Trustworthy Global Computing (TGC), LNCS, vol. 3705 (2005), Springer), 182-194 · Zbl 1151.68539
[58] Mazzara, M.; Lanese, I., Towards a unifying theory for web services composition, (Proc. of 3rd International Workshop on Web Services and Formal Methods (WS-FM). Proc. of 3rd International Workshop on Web Services and Formal Methods (WS-FM), LNCS, vol. 4184 (2006), Springer), 257-272
[59] Mazzara, M.; Lucchi, R., A pi-calculus based semantics for WS-BPEL, J. Log. Algebraic Program., 70, 1, 96-118 (2006) · Zbl 1178.68367
[60] Butler, M.; Hoare, C.; Ferreira, C., A trace semantics for long-running transactions, (25 Years Communicating Sequential Processes. 25 Years Communicating Sequential Processes, LNCS, vol. 3525 (2005), Springer), 133-150 · Zbl 1081.68644
[61] Boreale, M.; Bruni, R.; Caires, L.; De Nicola, R.; Lanese, I.; Loreti, M.; Martins, F.; Montanari, U.; Ravara, A.; Sangiorgi, D.; Vasconcelos, V.; Zavattaro, G., SCC: a service centered calculus, (Proc. of 3rd International Workshop on Web Services and Formal Methods (WS-FM). Proc. of 3rd International Workshop on Web Services and Formal Methods (WS-FM), LNCS, vol. 4184 (2006), Springer), 38-57
[62] Boreale, M.; Bruni, R.; De Nicola, R.; Loreti, M., Sessions and pipelines for structured service programming, (Proc. of 10th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS). Proc. of 10th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), LNCS, vol. 5051 (2008), Springer), 19-38
[63] Guidi, C.; Lucchi, R.; Gorrieri, R.; Busi, N.; Zavattaro, G., SOCK: a calculus for service oriented computing, (ICSOC. ICSOC, LNCS, vol. 4294 (2006), Springer), 327-338
[64] (Wirsing, M.; Hölzl, M. M., Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing. Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing, LNCS, vol. 6582 (2011), Springer)
[65] De Nicola, R.; Latella, D.; Lluch-Lafuente, A.; Loreti, M.; Margheri, A.; Massink, M.; Morichetta, A.; Pugliese, R.; Tiezzi, F.; Vandin, A., The SCEL language: design, implementation, verification, (Software Engineering for Collective Autonomic Systems - the ASCENS Approach. Software Engineering for Collective Autonomic Systems - the ASCENS Approach, LNCS, vol. 8998 (2015), Springer), 3-71
[66] Cesari, L.; De Nicola, R.; Pugliese, R.; Puviani, M.; Tiezzi, F.; Zambonelli, F., Formalising adaptation patterns for autonomic ensembles, (Formal Aspects of Component Software - 10th International Symposium, FACS 2013. Formal Aspects of Component Software - 10th International Symposium, FACS 2013, LNCS, vol. 8348 (2013), Springer), 100-118
[67] Cabri, G.; Capodieci, N.; Cesari, L.; De Nicola, R.; Pugliese, R.; Tiezzi, F.; Zambonelli, F., Self-expression and dynamic attribute-based ensembles in SCEL, (Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 6th International Symposium, ISoLA 2014. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, LNCS, vol. 8802 (2014), Springer), 147-163
[68] Cesari, L., Formalising adaptation patterns for autonomic ensembles, (FACS. FACS, LNCS, vol. 8348 (2013), Springer), 100-118
[69] Bures, T., A life cycle for the development of autonomic systems: the e-mobility showcase, (SASOW (2013), IEEE), 71-76
[70] De Nicola, R.; Ferrari, G.; Loreti, M.; Pugliese, R., A language-based approach to autonomic computing, (FMCO. FMCO, LNCS, vol. 7542 (2012), Springer), 25-48
[71] Margheri, A.; Pugliese, R.; Tiezzi, F., Linguistic abstractions for programming and policing autonomic computing systems, (UIC/ATC (2013), IEEE), 404-409
[72] Mayer, P., The autonomic cloud: a vision of voluntary, peer-2-peer cloud computing, (SASOW (2013), IEEE), 89-94
[73] Montanari, U.; Pugliese, R.; Tiezzi, F., Programming autonomic systems with multiple constraint stores, (Software, Services, and Systems. Software, Services, and Systems, LNCS, vol. 8950 (2015), Springer), 641-661 · Zbl 1454.68126
[74] De Nicola, R.; Lluch-Lafuente, A.; Loreti, M.; Morichetta, A.; Pugliese, R.; Senni, V.; Tiezzi, F., Programming and verifying component ensembles, (From Programs to Systems. The Systems Perspective in Computing - ETAPS Workshop, FPS 2014. From Programs to Systems. The Systems Perspective in Computing - ETAPS Workshop, FPS 2014, LNCS, vol. 8415 (2014), Springer), 69-83 · Zbl 1416.68051
[75] Margheri, A.; Masi, M.; Pugliese, R.; Tiezzi, F., A rigorous framework for specification, analysis and enforcement of access control policies, IEEE Trans. Softw. Eng., 45, 1, 2-33 (2019)
[76] Holzmann, G. J., The model checker SPIN, IEEE Trans. Softw. Eng., 23, 5, 279-295 (1997)
[77] Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N.; Meseguer, J.; Talcott, C. L., All About Maude, LNCS, vol. 4350 (2007), Springer
[78] Sebastio, S.; Vandin, A., MultiVeStA: statistical model checking for discrete event simulators, (ValueTools, ICST/ACM (2013)), 310-315
[79] Belzner, L.; De Nicola, R.; Vandin, A.; Wirsing, M., Reasoning (on) service component ensembles in rewriting logic, (Specification, Algebra, and Software. Specification, Algebra, and Software, LNCS, vol. 8373 (2014), Springer), 188-211
[80] Durfee, E.; Lesser, V.; Corkill, D. D., Trends in cooperative distributed problem solving, IEEE Trans. Knowl. Data Eng., 1, 1, 63-83 (1989)
[81] Klusch, M.; Gerber, A., Dynamic coalition formation among rational agents, IEEE Intell. Syst., 17, 3, 42-47 (2002)
[82] Zambonelli, F.; Omicini, A., Challenges and research directions in agent-oriented software engineering, Auton. Agents Multi-Agent Syst., 9, 3, 253-283 (2004)
[83] McKinley, P.; Sadjadi, S.; Kasten, E.; Cheng, B. H.C., Composing adaptive software, Computer, 37, 7, 56-64 (2004)
[84] Rao, A. S., AgentSpeak(L): BDI agents speak out in a logical computable language, (MAAMAW. MAAMAW, LNCS, vol. 1038 (1996), Springer), 42-55
[85] Bordini, R. H.; Hübner, J. F.; Vieira, R., Jason and the golden fleece of agent-oriented programming, (Multi-Agent Programming. Multi-Agent Programming, Multiagent Systems, Artificial Societies, and Simulated Organizations, vol. 15 (2005), Springer), 3-37
[86] Winikoff, M., JACKtm intelligent agents: an industrial strength platform, (Multi-Agent Programming, Multiagent Systems, Artificial Societies, and Simulated Organizations, vol. 15 (2005), Springer), 175-193
[87] Bellifemine, F. L.; Caire, G.; Greenwood, D., Developing Multi-Agent Systems with JADE, Wiley Series in Agent Technology (2007), John Wiley & Sons
[88] Dastani, M., 2APL: a practical agent programming language, Auton. Agents Multi-Agent Syst., 16, 3, 214-248 (2008)
[89] Mottola, L.; Picco, G. P., Logical neighborhoods: a programming abstraction for wireless sensor networks, (DCOSS. DCOSS, LNCS, vol. 4026 (2006), Springer), 150-168
[90] Costa, P.; Mottola, L.; Murphy, A. L.; Picco, G., Tuple space middleware for wireless networks, (Middleware for Network Eccentric and Mobile Applications (2009), Springer), 245-264
[91] Mamei, M.; Zambonelli, F., Programming pervasive and mobile computing applications: The tota approach, ACM Trans. Softw. Eng. Methodol., 18, 4, 15:1-15:56 (2009)
[92] Nordström, E.; Gunningberg, P.; Rohner, C., A Search-Based Network Architecture for Mobile Devices (2009), Uppsala University, Computer Systems, Tech. Rep. 2009-003
[93] Mottola, L.; Picco, G. P., Middleware for wireless sensor networks: an outlook, J. Internet Serv. Appl., 3, 1, 31-39 (2012)
[94] NIST, A survey of access control models (2009)
[95] Agha, G. A., ACTORS - a Model of Concurrent Computation in Distributed Systems, MIT Press Series in Artificial Intelligence (1990), MIT Press
[96] Milner, R., Communication and Concurrency, PHI Series in Computer Science (1989), Prentice Hall · Zbl 0683.68008
[97] Banâtre, J.-P.; Radenac, Y.; Fradet, P., Chemical specification of autonomic systems, (IASSE (2004), ISCA), 72-79
[98] Andrei, O.; Kirchner, H., A higher-order graph calculus for autonomic computing, (Graph Theory, Computational Intelligence and Thought (2009), Springer), 15-26 · Zbl 1194.68117
[99] Mezzetti, N.; Sangiorgi, D., Towards a calculus for wireless systems, Electron. Notes Theor. Comput. Sci., 158, 331-353 (2006) · Zbl 1273.68264
[100] Singh, A.; Ramakrishnan, C. R.; Smolka, S. A., A process calculus for mobile ad hoc networks, Sci. Comput. Program., 75, 6, 440-469 (2010) · Zbl 1192.68451
[101] (Wirsing, M.; Hölzl, M. M.; Koch, N.; Mayer, P., Software Engineering for Collective Autonomic Systems - the ASCENS Approach. Software Engineering for Collective Autonomic Systems - the ASCENS Approach, LNCS, vol. 8998 (2015), Springer)
[102] Ferscha, A., Collective adaptive systems, (UbiComp/ISWC (2015), ACM), 893-895
[103] Abd Alrahman, Y., A calculus for attribute-based communication, (SAC ’15 (2015), ACM), 1840-1845
[104] Alrahman, Y. A.; De Nicola, R.; Loreti, M., A calculus for collective-adaptive systems and its behavioural theory, Inf. Comput., 268 (2019) · Zbl 1430.68158
[105] Agha, G., Actors: A Model of Concurrent Computation in Distributed Systems (1986), MIT Press: MIT Press Cambridge, MA, USA
[106] Prasad, K. V.S., A calculus of broadcasting systems, Sci. Comput. Program., 25, 2-3, 285-327 (1995)
[107] Abd Alrahman, Y.; De Nicola, R.; Loreti, M., Programming of CAS systems by relying on attribute-based communication, (ISoLA. ISoLA, LNCS, vol. 9952 (2016), Springer), 539-553
[108] De Nicola, R.; Duong, T.; Inverso, O.; Trubiani, C., AErlang: empowering erlang with attribute-based communication, (COORDINATION. COORDINATION, LNCS, vol. 10319 (2017), Springer), 21-39
[109] Ericsson Computer Science Laboratory, The Erlang Programming Language (2018)
[110] Google, The Go programming language (2018)
[111] Hoare, C. A.R., Communicating sequential processes, Commun. ACM, 21, 8, 666-677 (1978) · Zbl 0383.68028
[112] Abd Alrahman, Y.; De Nicola, R.; Garbi, G.; Loreti, M., A distributed coordination infrastructure for attribute-based interaction, (Formal Techniques for Distributed Objects, Components, and Systems - 38th IFIP WG 6.1 International Conference, FORTE 2018. Formal Techniques for Distributed Objects, Components, and Systems - 38th IFIP WG 6.1 International Conference, FORTE 2018, LNCS, vol. 10854 (2018), Springer), 1-20
[113] Maggs, B. M.; Sitaraman, R. K., Algorithmic nuggets in content delivery, Comput. Commun. Rev., 45, 3, 52-66 (2015)
[114] De Nicola, R.; Duong, T.; Loreti, M., ABEL - a domain specific framework for programming with attribute-based communication, (Coordination Models and Languages, COORDINATION 2019. Coordination Models and Languages, COORDINATION 2019, Lecture Notes in Computer Science, vol. 11533 (2019), Springer), 111-128
[115] De Nicola, R.; Duong, T.; Inverso, O.; Mazzanti, F., Verifying properties of systems relying on attribute-based communication, (ModelEd, TestEd, TrustEd. ModelEd, TestEd, TrustEd, LNCS, vol. 10500 (2017), Springer), 169-190
[116] ter Beek, M. H.; Fantechi, A.; Gnesi, S.; Mazzanti, F., A state/event-based model-checking approach for the analysis of abstract system properties, Sci. Comput. Program., 76, 2, 119-135 (2011) · Zbl 1213.68392
[117] Duong, T., Programming and Verifying Systems Relying on Attribute-Based Communication (2019), GSSI - School of Advanced Studies, forthcoming
[118] Bengtson, J.; Johansson, M.; Parrow, J.; Victor, B., Psi-calculi: a framework for mobile processes with nominal data and logic, Log. Methods Comput. Sci., 7, 1 (2011) · Zbl 1213.68399
[119] Borgström, J.; Huang, S.; Johansson, M.; Raabjerg, P.; Victor, B.; Pohjola, J.Å.; Parrow, J., Broadcast psi-calculi with an application to wireless protocols, Softw. Syst. Model., 14, 1, 201-216 (2015)
[120] Prasad, K. V., A calculus of broadcasting systems, Sci. Comput. Program., 25, 2, 285-327 (1995)
[121] Ene, C.; Muntean, T., A broadcast-based calculus for communicating systems, (Parallel and Distributed Processing Symposium, International, vol. 3 (2001), IEEE Computer Society), pp. 30149b-30149b
[122] Given-Wilson, T.; Gorla, D.; Jay, B., Concurrent pattern calculus, (Theoretical Computer Science (2010), Springer), 244-258 · Zbl 1198.68211
[123] John, M.; Lhoussaine, C.; Niehren, J.; Uhrmacher, A. M., The attributed pi-calculus with priorities, (Transactions on Computational Systems Biology XII (2010), Springer), 13-76 · Zbl 1275.92023
[124] John, M.; Lhoussaine, C.; Niehren, J., Dynamic compartments in the imperative π-calculus, (Computational Methods in Systems Biology (2009), Springer), 235-250
[125] Bruni, A.; Modersheim, S.; Nielson, F.; Nielson, H. R., Set-pi: set membership p-calculus, (2015 IEEE 28th Computer Security Foundations Symposium (2015)), 185-198
[126] Vigo, R.; Nielson, F.; Riis Nielson, H., Broadcast, denial-of-service, and secure communication, (10th International Conference on Integrated Formal Methods (IFM’13). 10th International Conference on Integrated Formal Methods (IFM’13), LNCS, vol. 7940 (2013)), 410-427
[127] Arbab, F.; Rutten, J. J.M. M., A coinductive calculus of component connectors, (WADT. WADT, LNCS, vol. 2755 (2002), Springer), 34-55 · Zbl 1278.68200
[128] Sirjani, M.; Movaghar, A.; Shali, A.; de Boer, F. S., Modeling and verification of reactive systems using rebeca, Fundam. Inform., 63, 4, 385-410 (2004) · Zbl 1082.68007
[129] Baier, C.; Sirjani, M.; Arbab, F.; Rutten, J. J.M. M., Modeling component connectors in reo by constraint automata, Sci. Comput. Program., 61, 2, 75-113 (2006) · Zbl 1105.68058
[130] Beal, J.; Viroli, M., Aggregate programming: from foundations to applications, (SFM. SFM, LNCS, vol. 9700 (2016), Springer), 233-260
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.