Extraction and improvement of IoT service gap between design and operation based on net model | IEEE Conference Publication | IEEE Xplore