Ontology-Supported Verification Method for Implementation of IoT Service Design with Petri Net
Mohd Anuaruddin Bin Ahmadon, Shingo Yamaguchi · 2018
In this paper, we embrace the concept of “Design once, provide anywhere” for IoT service design and implementation. We proposed a verification method of device implementation into service design. Although the service is reusable, the devices used for the implementation may change. However, due to strict specifications, most devices are not implementable for the service thus the design phase is repeated unnecessarily. We use ontology tree and behavioral inheritance to verify whether a device is implementable or not. Our verification method improves the rate of devices that can be implemented for a service. Finally, we showed the effectiveness of our method quantitatively with a comparison to conventional method.