IoT的架构、语言和范例第一次研讨会论文集
Proceedings First Workshop on Architectures, Languages and Paradigms for IoT
摘要：
第一届物联网架构、语言和范式研讨会（ALP4IoT 2017）于2017年9月19日在都灵举行。ALP4IoT是第13届综合形式方法国际会议（iFM 2017）的卫星活动。该研讨会旨在批判性地审查物联网正式技术和软件方法的最新技术和实践水平，提出开放的问题和挑战，并引发不同观点和背景的参与者之间的讨论。物联网正在迎来互联和智能对象的数量和种类的急剧增加。通信能力和计算能力越来越多地嵌入到日常设备中，包括个人智能设备、公共显示器、汽车、无人机和电子标签。这种状态的东西打开了一个前所未有的研究机会：固有的分布，流动性，situatedness，和异质性等设备要求适当的科学理解的基础，这样的系统，以及新的软件方法。研讨会征集了对物联网软件系统具有潜在实践和理论影响的架构、语言、范例和技术方面的原创性贡献，欢迎跨学科方法。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
