Abstract | ||
---|---|---|
In this paper, we proposed an approach for modeling services and service personalization based on a formal tool called PN2 (Petri nets in a Petri net). We showed that an Internet of Me (IoM for short) environment can be modeled with PN2. Then, we proposed a method to verify service personalization of a PN2 model. We illustrated the proposed method with an example of an IoM environment and its service personalization. |
Year | Venue | Field |
---|---|---|
2016 | 2016 IEEE INTERNATIONAL CONFERENCE ON CONSUMER ELECTRONICS (ICCE) | World Wide Web,Model checking,Petri net,Computer science,Artificial neural network,The Internet,Personalization |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
0 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Mohd Anuaruddin Bin Ahmadon | 1 | 6 | 10.13 |
shingo | 2 | 64 | 31.04 |