Skip to Main content Skip to Navigation
Conference papers

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

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.
Complete list of metadata

Cited literature [64 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Friday, June 22, 2018 - 2:56:06 PM
Last modification on : Tuesday, December 7, 2021 - 4:26:03 PM
Long-term archiving on: : Tuesday, September 25, 2018 - 5:54:03 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese, Francesco Tiezzi. A Formal Approach to the Engineering of Domain-Specific Distributed Systems. 20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.110-141, ⟨10.1007/978-3-319-92408-3_5⟩. ⟨hal-01821499⟩



Record views


Files downloads