Search


Volume

Author

Year

  • < Previous
  • 1
  • Next >
2 results

Automata for Specifying and Orchestrating Service Contracts

Davide Basile ; Pierpaolo Degano ; Gian-Luigi Ferrari.
An approach to the formal description of service contracts is presented in terms of automata. We focus on the basic property of guaranteeing that in the multi-party composition of principals each of them gets his requests satisfied, so that the overall composition reaches its goal. Depending on&nbsp;[&hellip;]
Published on April 27, 2017
Volume 12, Issue 4

Tracing where IoT data are collected and aggregated

Chiara Bodei ; Pierpaolo Degano ; Gian-Luigi Ferrari ; Letterio Galletta.
The Internet of Things (IoT) offers the infrastructure of the information society. It hosts smart objects that automatically collect and exchange data of various kinds, directly gathered from sensors or generated by aggregations. Suitable coordination primitives and analysis mechanisms are in order&nbsp;[&hellip;]
Published on July 19, 2017
Volume 13, Issue 3
  • < Previous
  • 1
  • Next >