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

https://hal.inria.fr/hal-01821499
Contributor : Hal Ifip <>
Submitted on : Friday, June 22, 2018 - 2:56:06 PM
Last modification on : Tuesday, October 13, 2020 - 5:22:02 PM
Long-term archiving on: : Tuesday, September 25, 2018 - 5:54:03 PM

File

468924_1_En_5_Chapter.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Rocco 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⟩

Share

Metrics

Record views

347

Files downloads

14