A Formal Methodology for Easing Development and Maintenance of Entity Services in Service Oriented Software-Defined Internet of Things

doi:10.1109/JIOT.2019.2929285

	A Formal Methodology for Easing Development and Maintenance of Entity Services in Service Oriented Software-Defined Internet of Things
	Chen, Haiming 1,2; Xie, Kaibin 3; Cui, Li 3; Pescape, Antonio 4
	2019-12-01
发表期刊	IEEE INTERNET OF THINGS JOURNAL
ISSN	2327-4662
卷号	6 期号:6 页码:9516-9530
摘要	Internet of Things (IoT) systems are usually built with entity services, which are those abstracting functionalities of sensing and executing devices in the physical space. As requirements of sensing or controlling the physical space can be varied with different systems, entity services are supposed to be easily adapted to meet such dynamicity. To ease updating and modification of entity services, although a software-defined network approach has been applied in building IoT systems, entity services developed with the same software architecture as traditional services on the Internet have an inherited problem in adaptability. In order to solve the problem, we abstract the functionalities of an entity service in social, cyber, and physical spaces into application model, sense-execute model, and physical model, respectively, and propose a physical model driven software architecture (PMDA) for guiding design of entity services. To ease development of entity services, we also propose a formal development method of entity services (fDES) to transform the abstracted models of PMDA into implementable software modules. Besides, to reduce maintenance cost of entity services when adapting them to different requirements from the social space, we propose a formal maintenance method of entity service (fMES). The correctness of fDES and fMES is verified by a case study, and their effectiveness in reducing cost of developing and maintaining IoT systems composed of large-scale frequently changed entity services is proved by analysis.
关键词	Edge service entity service evolution mechanism (EM) Internet of Things (IoT) software architecture
DOI	10.1109/JIOT.2019.2929285
收录类别	SCI
语种	英语
资助项目	Zhejiang Provincial Natural Science Foundation of China[LY18F020011] ; Ningbo Natural Science Foundation[2018A610154] ; National Natural Science Foundation of China[61672498] ; K. C. Wong Magna Fund in Ningbo University
WOS研究方向	Computer Science ; Engineering ; Telecommunications
WOS类目	Computer Science, Information Systems ; Engineering, Electrical & Electronic ; Telecommunications
WOS记录号	WOS:000503985700027
出版者	IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
引用统计	被引频次：3[WOS] [WOS记录] [WOS相关记录]
文献类型	期刊论文
条目标识符	http://119.78.100.204/handle/2XEOYT63/14995
专题	中国科学院计算技术研究所期刊论文_英文
通讯作者	Chen, Haiming
作者单位	1.Ningbo Univ, Fac Elect Engn & Comp Sci, Ningbo 315211, Zhejiang, Peoples R China 2.Ningbo Univ, Zhejiang Prov Key Lab Mobile Network Applicat Tec, Ningbo 315211, Zhejiang, Peoples R China 3.Chinese Acad Sci, Inst Comp Technol, Beijing 100190, Peoples R China 4.Univ Napoli Federico II, Dept Elect Engn & Informat Technol, I-80125 Naples, Italy
推荐引用方式 GB/T 7714	Chen, Haiming,Xie, Kaibin,Cui, Li,et al. A Formal Methodology for Easing Development and Maintenance of Entity Services in Service Oriented Software-Defined Internet of Things[J]. IEEE INTERNET OF THINGS JOURNAL,2019,6(6):9516-9530.
APA	Chen, Haiming,Xie, Kaibin,Cui, Li,&Pescape, Antonio.(2019).A Formal Methodology for Easing Development and Maintenance of Entity Services in Service Oriented Software-Defined Internet of Things.IEEE INTERNET OF THINGS JOURNAL,6(6),9516-9530.
MLA	Chen, Haiming,et al."A Formal Methodology for Easing Development and Maintenance of Entity Services in Service Oriented Software-Defined Internet of Things".IEEE INTERNET OF THINGS JOURNAL 6.6(2019):9516-9530.