Petri net-based context modeling for context-aware systems

The context-aware services require to efficiently perceive not only the user requirements but also the context of the environment to provide customized services to the user. To efficiently develop the context-aware applications a systematic methodology correctly specifying the relation among dynamically changing contexts is essential. Here the context model simplifying the manipulation of complex contexts is a key accessor for the specification and analysis of the service. Among various modeling approaches such as timed automata (Tang and You in Intell Automat Soft Comput 16(4):605–619, 2010), workflow (Rosemann et al. in Understanding context-awareness in business process design, 2010), Petri net (PN) (Jørgensen et al. in Innovat Syst Softw Eng 5(1):13–25, 2009), etc. developed for context-aware system, the PN-based approach has been recognized as one of the most effective one. In this paper we identify the issues of how the contexts are modeled and what kinds of the requirements needs to be considered in the context processing. We then discuss various Petri net (PN)-based modeling methodologies concerning the five important features for context processing: relationships and dependencies, time constraint, resource constraint, usability of modeling formalisms, and context identification. The study reveals that the approach effectively allowing both the time and resource constraints in the model while supporting other important properties needs to be developed further for accurately assess the context-aware systems. Also, the expandability and scalability issue need to be investigated.

[1]  Hee Yong Youn,et al.  CALM: an intelligent agent-based middleware for community computing , 2006, The Fourth IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, and the Second International Workshop on Collaborative Computing, Integration, and Assurance (SEUS-WCCIA'06).

[2]  MengChu Zhou,et al.  Modeling and Analysis of Real-Time Cooperative Systems Using Petri Nets , 2007, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[3]  Congling Shi,et al.  Study in performance analysis of China Urban Emergency Response System based on Petri net , 2010, Safety Science.

[4]  Claudia Linnhoff-Popien,et al.  A Context Modeling Survey , 2004 .

[5]  Oh Byung Kwon,et al.  Modeling and generating context-aware agent-based applications with amended colored Petri nets , 2004, Expert Syst. Appl..

[6]  G. Florin,et al.  Stochastic Petri nets: Properties, applications and tools , 1991 .

[7]  Jadwiga Indulska,et al.  A survey of context modelling and reasoning techniques , 2010, Pervasive Mob. Comput..

[8]  MengChu Zhou,et al.  Timing constraint workflow nets for workflow analysis , 2003, IEEE Trans. Syst. Man Cybern. Part A.

[9]  Arkady B. Zaslavsky,et al.  Multiple-Agent Perspectives in Reasoning About Situations for Context-Aware Pervasive Computing Systems , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[10]  Claudio Bettini,et al.  Efficient profile aggregation and policy evaluation in a middleware for adaptive mobile applications , 2008, Pervasive Mob. Comput..

[11]  João M. Fernandes,et al.  Formal requirements modelling with executable use cases and coloured Petri nets , 2009, Innovations in Systems and Software Engineering.

[12]  Antony Tang,et al.  Collision avoidance timing analysis of DSRC-based vehicles. , 2010, Accident; analysis and prevention.

[13]  M. Diaz,et al.  Modeling and Verification of Time Dependent Systems Using Time Petri Nets , 1991, IEEE Trans. Software Eng..

[14]  Jadwiga Indulska,et al.  Developing context-aware pervasive computing applications: Models and approach , 2006, Pervasive Mob. Comput..

[15]  Jean-Marc Petit,et al.  Web Intelligence and Intelligent Agent Technology , 2011 .

[16]  Enrico Vicario,et al.  Correctness verification and performance analysis of real-time systems using stochastic preemptive time Petri nets , 2005, IEEE Transactions on Software Engineering.

[17]  Rainer Schmidt.  Flexible Support of Inter-Organizational Business Processes Using Web Services , 2005 .

[18]  Minyi Guo,et al.  Context-Aware Workflow Management For Intelligent Navigation Applications In Pervasive Environments , 2010, Intell. Autom. Soft Comput..

[19]  Claudio Bettini,et al.  Context-Aware Activity Recognition through a Combination of Ontological and Statistical Reasoning , 2009, UIC.

[20]  Hyo-Won Suh,et al.  A timed colored Petri nets modeling for dynamic workflow in product development process , 2008, Comput. Ind..

[21]  Hanifa Boucheneb,et al.  Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties , 2008, Formal Aspects of Computing.

[22]  Yongping Zhang,et al.  A Petri-Net Based Context Representation in Smart Car Environment , 2011, Int. J. Handheld Comput. Res..

[23]  Thomas A. Horan,et al.  Time-critical information services , 2007, Commun. ACM.

[24]  Oliver Brdiczka,et al.  Context‐aware environments: from specification to implementation , 2007, Expert Syst. J. Knowl. Eng..

[25]  Hee Yong Youn,et al.  A New Agent Platform Architecture Supporting the Agent Group Paradigm for Multi-Agent Systems , 2007 .

[26]  Enrico Vicario,et al.  Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets , 1995, IEEE Trans. Software Eng..

[27]  Hee Yong Youn,et al.  Modeling and Analysis of Time-Critical Context-Aware Service Using Extended Interval Timed Colored Petri Nets , 2012, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[28]  Michael Rosemann,et al.  Understanding context-awareness in business process design , 2006 .

[29]  Wlodzimierz M. Zuberek,et al.  Timed Petri nets definitions, properties, and applications , 1991 .

[30]  Michael D. Harrison,et al.  An infrastructure for experience centered agile prototyping of ambient intelligence , 2009, EICS '09.

[31]  Thomas Springer,et al.  Context-sensitive adaptation of workflows , 2009, ESEC/FSE Doctoral Symposium '09.

[32]  Manfred Reichert,et al.  Adeptflex—Supporting Dynamic Changes of Workflows Without Losing Control , 1998, Journal of Intelligent Information Systems.

[33]  Kun Yang,et al.  Context modelling and a context-aware framework for pervasive service creation: A model-driven approach , 2010, Pervasive Mob. Comput..

[34]  Yongping Zhang,et al.  A Petri-Net Based Context Representation in Smart Car Environment , 2010, GPC.

[35]  Hee Yong Youn,et al.  Modeling and Verification of Context-Awareness Service for Time Critical Applications Using Colored Petri-Net , 2008, 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology.

[36]  Wil M. P. van der Aalst,et al.  The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..

[37]  Hee Yong Youn,et al.  A Flexible and Scalable Agent Platform for Multi-Agent Systems , 2007 .

[38]  Hee Yong Youn,et al.  Modeling the contexts without distracting the perspectives of the agents in distributed reasoning , 2009, 2009 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery.

[39]  Jaeyoung Choi,et al.  A Workflow Language Based on Structural Context Model for Ubiquitous Computing , 2005, EUC.

[40]  Selmin Nurcan,et al.  Towards Context Aware Business Process Modelling , 2007 .

[41]  Qingtian Zeng,et al.  Modeling and Analysis for Workflow Constrained by Resources and Nondetermined Time: An Approach Based on Petri Nets , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[42]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[43]  Anind K. Dey,et al.  Understanding and Using Context , 2001, Personal and Ubiquitous Computing.

[44]  Gang Xu,et al.  Reachability Analysis of Real-Time Systems Using Time Petri Nets , 2000 .