Hits:

Indexed by:会议论文

Date of Publication:2013-07-17

Included Journals:EI、CPCI-S、Scopus

Page Number:164-169

Key Words:context-aware system; service modeling; ECA rules; Timed Colored Petri net

Abstract:In recent years, the advances of computer, network and sensor technologies promote the research and development of context-aware system greatly. Service logics in context-aware system should be correct and reasonable to make sure the system provides user satisfied services. In this paper, we propose a context-aware system modeling methodology based on Timed Colored Petri Net (Timed CPN) to check the correctness of service logics. To simulate the real situation, including the randomness of contexts, we extend CPN by introducing time attributes and random functions. Since many of the service logics are described in ECA rules, we also develop four basic transforming patterns that are used to transform ECA rules into Timed CPN models. The whole system model can be obtained by fusing the Timed CPN models of service logic and context randomness. We describe this methodology in detail by modeling a case of smart home and verify its feasibility and validity.