On service personalization analysis for the internet of me based on PN2
説明
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.
収録刊行物
-
- 2016 IEEE International Conference on Consumer Electronics (ICCE)
-
2016 IEEE International Conference on Consumer Electronics (ICCE) 413-416, 2016-01-01
IEEE
