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, Scel and AbC. 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.

我们回顾了一些有关规范，编程和验证不同类别的分布式系统的结果，这些结果源于佛罗伦萨大学并发和移动性小组的研究。更具体地说，我们研究了网络感知编程，面向服务的计算，自主计算和集体自适应系统编程的显着特征。然后，我们概述了四种不同的语言，即Klaim，Cows，Scel 和A b C。对于每种语言，我们讨论设计选择，当前的语法和语义，显示如何使用不同的形式主义对旅行预订方案进行建模和编程，并描述编程环境和验证技术。