Fluidware: Novel Approaches for Large-Scale Iot Systems

本書概述了多種可採用的程式設計和部署高度適應性及大規模物聯網（IoT）系統的方法，特別聚焦於Fluidware研究專案所取得的關鍵成果。作者首先介紹了Fluidware，該專案開發了一種新穎的物聯網服務和應用程式的程式設計模型，以及相關的穩健大規模物聯網服務和應用程式。基於在基於現場的協調、集體適應系統、串流計算和聚合計算等領域的先前研究成果，作者通過圍繞一種新的分散式程式設計概念的全面工程方法，來解決構建現代大規模物聯網系統的複雜性。作者展示了Fluidware的關鍵創新理念是將物聯網架構中的設備集體抽象為分散式“流”的來源、消化器和目標，這些流攜帶有關產生的數據和執行命令的上下文事件信息。本書分為三個部分：（i）第一部分是對Fluidware理念及與物聯網系統程式設計相關的關鍵問題的一般介紹；（ii）第二部分介紹了Fluidware專案中取得的關鍵成果；（iii）第三部分識別了開放挑戰和研究方向。

Franco Zambonelli is full professor of Computer Science at the University of Modena and Reggio Emilia. He got his PhD in Computer Science and Engineering from the University of Bologna in 1997. His research interests include: pervasive computing, multi-agent systems, self-adaptive and self-organizing systems, with applications to healthcare and smart cities. He has published over 130 papers in peer-reviews journals, and has been invited speaker at many conferences and workshops. He is in the editorial board of the ACM Transactions on Autonomous and Adaptive Systems, Springer-Nature Computer Science Journal, IEEE Society & Technology Magazine, the BCS Computer Journal, the Journal of Pervasive Computing and Communications. He has been scientific manager of the EU FP6 Project CASCADAS and coordinator of the EU FP7 Project SAPERE and of the PRIN 2017 Project Fluidware. He is ACM Distinguished Scientist, member of the Academia Europaea, IEEE Fellow, and has been recipient of the 2018 IFAAMAS Influential Paper Award.

Giancarlo Fortino (IEEE Fellow 22) is Full Professor of Computer Engineering at the Dept of Informatics, Modeling, Electronics, and Systems of the University of Calabria (Unical), Italy. He received a PhD in Computer Engineering from Unical in 2000. He is also distinguished professor at Wuhan University of Technology and Huazhong Agricultural University (China), high-end expert at HUST (China), senior research fellow at the Italian ICAR-CNR Institute, CAS PIFI visiting scientist at SIAT - Shenzhen, and Distinguished Lecturer for IEEE Sensors Council. At Unical, he is the Rector's delegate to Int'l relations, the chair of the PhD School in ICT, the director of the Postgraduate Master course in INTER-IoT, and the director of the SPEME lab as well as co-chair of Joint labs on IoT established between Unical and WUT, SMU and HZAU Chinese universities, respectively. Fortino is currently the scientific responsible of the Digital Health groupof the Italian CINI National Laboratory at Unical. He is Highly Cited Researcher 2002 and 2021 in Computer Science by Clarivate. Currently he has 19 highly cited papers in WoS, and h-index=63 with 14700+ citations in Google Scholar. His research interests include wearable computing systems, e-Health, Internet of Things, and agent-based computing. He is author of 550+ papers in int'l journals, conferences and books. He is (founding) series editor of IEEE Press Book Series on Human- Machine Systems and EiC of SpringerInternet of Things series and AE of premier int'l journals such as IEEE TAFFC-CS, IEEE THMS, IEEE T-AI, IEEE IoTJ, IEEE SJ, IEEE JBHI, IEEE SMCM, IEEE OJEMB, IEEE OJCS, Information Fusion, JNCA, EAAI, etc. He organized as chair many int'l workshops and conferences (110+), was involved in a huge number of int'l conferences/workshops (500+) as IPC member, is/was guest-editor of many special issues (70+). He is cofounder and CEO of SenSysCal S.r.l., a Unical spinoff focused oninnovative IoT systems. Fortino is currently member of the IEEE SMCS BoG and of the IEEE Press BoG, and chair of the IEEE SMCS Italian Chapter.

Barbara Re is an Associate Professor of Computer Science at the University of Camerino. She received her PhD in Information Science and Complex Systems from Camerino University. Her research interests refer to Business Process Management, from modelling to analysis. Particular attention is paid to push the use of formal methods as methodological and automatic tools to develop high-quality process-aware information systems. More recently, she was involved in research activities related to IoT aware process-aware information systems, including multi-robot systems. She was involved in multidisciplinary research projects collaborating with national and international research institutes and companies.

Mirko Viroli is Full Professor in Computer Engineering at the University of Bologna, Italy. He i^7000 citations. He is senior member of ACM and IEEE, member of the Editorial Board of IEEE Software magazine, and was program chair of the ACM Symposium on Applied Computing (SAC 2008 and 2009), and IEEE Self-Adaptive and Self-Organizing systems (SASO 2014) conferences.

Franco Zambonelli 是摩德納與雷焦艾米利亞大學的計算機科學全職教授。他於1997年在博洛尼亞大學獲得計算機科學與工程博士學位。他的研究興趣包括：普遍計算、多代理系統、自適應和自組織系統，並應用於醫療保健和智慧城市。他在同行評審的期刊上發表了超過130篇論文，並在許多會議和研討會上擔任受邀演講者。他是《ACM Autonomous and Adaptive Systems Transactions》、《Springer-Nature Computer Science Journal》、《IEEE Society & Technology Magazine》、《BCS Computer Journal》、《Journal of Pervasive Computing and Communications》的編輯委員會成員。他曾擔任歐盟FP6計畫CASCADAS的科學負責人，以及歐盟FP7計畫SAPERE和PRIN 2017計畫Fluidware的協調人。他是ACM傑出科學家、歐洲學院成員、IEEE Fellow，並曾獲得2018年IFAAMAS影響力論文獎。

Giancarlo Fortino（IEEE Fellow 22）是意大利卡拉布里亞大學（Unical）資訊、建模、電子與系統系的計算機工程全職教授。他於2000年在Unical獲得計算機工程博士學位。他同時是武漢科技大學和華中農業大學的特聘教授、中國HUST的高端專家、意大利ICAR-CNR研究所的高級研究員、中國科學院PIFI訪問科學家，以及IEEE Sensors Council的特聘講師。在Unical，他是國際關係的校長代表、ICT博士學校的主任、INTER-IoT研究所的碩士課程主任，以及SPEME實驗室的主任，同時也是Unical與武漢科技大學、南方科技大學和華中農業大學之間建立的物聯網聯合實驗室的共同主席。Fortino目前是意大利CINI國家實驗室數位健康小組的科學負責人。他在計算機科學領域被Clarivate評選為2002年和2021年高被引研究者。目前他在WoS上有19篇高被引論文，h-index為63，Google Scholar引用次數超過14700次。他的研究興趣包括可穿戴計算系統、電子健康、物聯網和基於代理的計算。他在國際期刊、會議和書籍上發表了550篇以上的論文。他是IEEE Press人機系統系列書籍的創始系列編輯，以及Springer物聯網系列的編輯和多個頂級國際期刊的副編輯，如IEEE TAFFC-CS、IEEE THMS、IEEE T-AI、IEEE IoTJ、IEEE SJ、IEEE JBHI、IEEE SMCM、IEEE OJEMB、IEEE OJCS、Information Fusion、JNCA、EAAI等。他作為主席組織了許多國際研討會和會議（超過110場），並作為IPC成員參與了大量國際會議/研討會（超過500場），同時擔任多個特刊的客座編輯（超過70期）。他是SenSysCal S.r.l.的共同創辦人和首席執行官，這是一家專注於創新物聯網系統的Unical衍生公司。Fortino目前是IEEE SMCS BoG和IEEE Press BoG的成員，以及IEEE SMCS意大利分會的主席。

Barbara Re 是卡梅里諾大學的計算機科學副教授。她在卡梅里諾大學獲得資訊科學與複雜系統的博士學位。她的研究興趣涉及業務流程管理，從建模到分析。特別關注推動使用正式方法作為方法論和自動化工具，以開發高品質的流程感知資訊系統。最近，她參與了與物聯網感知的流程感知資訊系統相關的研究活動，包括多機器人系統。她參與了與國內外研究機構和公司的多學科研究項目。

Mirko Viroli 是意大利博洛尼亞大學的計算機工程全職教授。他的引用次數超過7000次。