Paper Info
Title
Ontology-Supported Verification Method for Implementation of IoT Service Design with Petri Net
Abstract
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.
Year
DOI
Venue
2018
10.1109/ICCE-Berlin.2018.8576174
2018 IEEE 8th International Conference on Consumer Electronics - Berlin (ICCE-Berlin)
Keywords
Field
DocType
ontology-supported verification method,IoT service Design,IoT service design,Petri net
Ontology (information science),Service design,Data modeling,Ontology,Petri net,Software engineering,Computer science,Internet of Things
Conference
ISSN
ISBN
Citations 
2166-6814
978-1-5386-6096-6
0
PageRank 
References 
Authors
0.34
5
2
Name
Order
Citations
PageRank
Mohd Anuaruddin Bin Ahmadon1610.13
shingo26431.04