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 review 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 informal semantics, show some illustrative examples, and describe programming environments and verification techniques.

A Formal Approach to the Engineering of Domain-Specific Distributed Systems / Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese, Francesco Tiezzi. - STAMPA. - (2018), pp. 110-141. (Intervento presentato al convegno International Conference on Coordination Models and Languages) [10.1007/978-3-319-92408-3_5].

A Formal Approach to the Engineering of Domain-Specific Distributed Systems

Rosario Pugliese;Francesco Tiezzi
2018

Abstract

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 review 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 informal semantics, show some illustrative examples, and describe programming environments and verification techniques.
2018
Proc. of the 20th International Conference on Coordination Models and Languages (COORDINATION 2018)
International Conference on Coordination Models and Languages
Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese, Francesco Tiezzi
File in questo prodotto:
File Dimensione Formato  
18COORD - A Formal Approach to the Engineering of Domain-Specific Distributed Systems.pdf

Accesso chiuso

Tipologia: Pdf editoriale (Version of record)
Licenza: Open Access
Dimensione 580.4 kB
Formato Adobe PDF
580.4 kB Adobe PDF   Richiedi una copia

I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/1130469
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? 1
social impact