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 metadatas

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 : Wednesday, April 15, 2020 - 9:56:12 AM
Long-term archiving on: : Tuesday, September 25, 2018 - 5:54:03 PM

File

 Restricted access
To satisfy the distribution rights of the publisher, the document is embargoed until : 2021-01-01

Please log in to resquest access to the document

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

325