Published: 3rd February 2018
DOI: 10.4204/EPTCS.264
ISSN: 2075-2180

EPTCS 264

Proceedings First Workshop on
Architectures, Languages and Paradigms for IoT
Turin, Italy, September 18, 2017

Edited by: Danilo Pianini and Guido Salvaneschi

Preface
Danilo Pianini and Guido Salvaneschi
IoT Architectural Framework: Connection and Integration Framework for IoT Systems
Onoriode Uviase and Gerald Kotonya
1
Aggregate Graph Statistics
Giorgio Audrito, Ferruccio Damiani and Mirko Viroli
18
Resilient Blocks for Summarising Distributed Data
Giorgio Audrito and Sergio Bergamini
23
Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things
Davide Ancona, Luca Franceschini, Giorgio Delzanno, Maurizio Leotta, Marina Ribaudo and Filippo Ricca
27
Formalising Sensor Topologies for Target Counting
Sven Linker and Michele Sevegnani
43

Preface

The 1st workshop on Architectures, Languages and Paradigms for IoT (ALP4IoT 2017), was held in Turin on September 19th, 2017. ALP4IoT was a satellite event of the 13th International Conference on integrated Formal Methods (iFM 2017). The workshop aimed at critically reviewing the state-of-the-art and the state-of-the-practice of formal techniques and software methods for the IoT, presenting open problems and challenges and triggering a discussion among the participants with different views and backgrounds.
The Internet of Things is ushering a dramatic increase in number and variety of interconnected and smart objects. Communication capabilities and computational power are growingly embedded in everyday devices, including personal smart devices, public displays, cars, drones, and electronic tags. This state of the things opens an unprecedented range of research opportunities: the inherent distribution, mobility, situatedness, and heterogeneity of such devices call for proper scientific understanding of the foundations of such systems as well as for novel software methods.
The workshop solicited original contributions on architectures, languages, paradigms, and techniques with potential practical and theoretical impact on software systems targeting the IoT, welcoming inter-disciplinary approaches. The workshop website can be found at: https://apice.unibo.it/xwiki/bin/view/ALP4IoT2016/WebHome.

Five high-quality research articles are included in these post-workshop proceedings.

We hope that you will find reading these contributions enjoyable, helpful, and valuable.

We would like to formally thank the scientific program committee:

Program Co-chairs of ALP4IoT 2017 Danilo Pianini
Guido Salvaneschi