{"title":"“CANthings”(Context Aware Network for the Design of Connected Things) service modeling based on Timed CPN","authors":"M. Davoudpour, A. Sadeghian, H. Rahnama","doi":"10.1109/ICOSC.2015.7050790","DOIUrl":null,"url":null,"abstract":"In the past few years, the advances in context-aware systems and sensor technologies, has elevated the Internet of Things (IoT) development greatly and rather quickly. Services of IoT systems must be reasonably designed to provide not only the user's requirements and requests, but also perceive the environmental context and customized services to get user's satisfaction. Systematic modeling methodologies are essential to control the correctness of the services and the systems behaviors among dynamic changing contexts. The presented solution will be a novel IoT framework, “CANthings” (Context-Aware Networks for the Design of Connected Things) to identify IoT needs.This paper mainly promotes and analyzes an IoT system modeling methodology based on Timed Colored Petri Net (TCPN) to check the effectiveness of the provided services in the CANthings framework. Our goal is to present a standard solution that can be used in high-technical research and industrial projects.","PeriodicalId":126701,"journal":{"name":"Proceedings of the 2015 IEEE 9th International Conference on Semantic Computing (IEEE ICSC 2015)","volume":"15 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2015-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the 2015 IEEE 9th International Conference on Semantic Computing (IEEE ICSC 2015)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICOSC.2015.7050790","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 5
Abstract
In the past few years, the advances in context-aware systems and sensor technologies, has elevated the Internet of Things (IoT) development greatly and rather quickly. Services of IoT systems must be reasonably designed to provide not only the user's requirements and requests, but also perceive the environmental context and customized services to get user's satisfaction. Systematic modeling methodologies are essential to control the correctness of the services and the systems behaviors among dynamic changing contexts. The presented solution will be a novel IoT framework, “CANthings” (Context-Aware Networks for the Design of Connected Things) to identify IoT needs.This paper mainly promotes and analyzes an IoT system modeling methodology based on Timed Colored Petri Net (TCPN) to check the effectiveness of the provided services in the CANthings framework. Our goal is to present a standard solution that can be used in high-technical research and industrial projects.