×

Petri net based context-aware service modeling and interference discovery. (Chinese. English summary) Zbl 1324.68066

Summary: In order to find out explicit and implicit interferences among context-aware services, we propose a modeling and simulating method for the context-aware system. By modeling services as well as changing the contexts using timed colored Petri net (TCPN), we are able to simulate a context-aware system and check to see if there are interferences among the services through the simulation report analysis. Firstly, we define TCPN by introducing timestamps and random functions into the traditional colored Petri net to simulate the randomness of the contexts in a physical environment. Then we discuss the way to model the context-aware system by using the defined TCPN model. The modeling method we proposed is able to simulate the real-life situation well. And finally, a case for the smart assisting system for Alzheimer’s disease is developed by using the proposed method and several interferences among services are discovered through a simulation analysis, which also verifies the feasibility and validity of the proposed method.

MSC:

68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
PDFBibTeX XMLCite
Full Text: DOI