Context-aware service system modeling using timed CPN

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