首届物联网架构、语言与范式研讨会会议录
分布式、并行与集群计算
2018-02-06 v1 多智能体系统
软件工程
摘要
首届物联网架构、语言与范式研讨会(ALP4IoT 2017)于2017年9月19日在都灵举行。ALP4IoT是第13届国际集成形式化方法会议(iFM 2017)的卫星活动。该研讨会旨在批判性地审视物联网形式化技术与软件方法的最新研究与实践现状，提出开放问题与挑战，并引发具有不同视角和背景的参与者之间的讨论。物联网正带来互联智能物体数量和种类的急剧增长。通信能力与计算能力日益嵌入日常设备，包括个人智能设备、公共显示屏、汽车、无人机和电子标签。这一现状开辟了前所未有的研究机遇：此类设备固有的分布式、移动性、情境性和异构性，要求对其系统基础进行恰当的科学理解，并发展新颖的软件方法。研讨会征集了关于架构、语言、范式和技术的原创投稿，这些工作对面向物联网的软件系统具有潜在的实际与理论影响，并欢迎跨学科方法。
引用
@article{arxiv.1802.00976,
title = {Proceedings First Workshop on Architectures, Languages and Paradigms for IoT},
author = {Danilo Pianini and Guido Salvaneschi},
journal= {arXiv preprint arXiv:1802.00976},
year = {2018}
}