Access the full text.
Sign up today, get DeepDyve free for 14 days.
F Tang, I You (2010)
Context-aware workflow management for intelligent navigation applications in pervasive environmentsIntell Automat Soft Comput, 16
A Dey (2001)
Understanding and using contextPersonal Ubiquitous Comput, 5
JB Jørgensen, S Tjell, JM Fernandes (2009)
Formal requirements modeling with executable use cases and coloured petri netsInnovat Syst Softw Eng, 5
WMP Aalst (1998)
The application of Petri nets to workflow managementJ Circuits Syst Comput, 8
C Bettini, O Brdiczka ea (2010)
A survey of context modeling and reasoning techniquesPervasive Mobile Comput, 6
A Tang, A Yip (2010)
Collision avoidance timing analysis of dsrc-based vehiclesAccident Anal Prevent, 42
YY Du, CJ Jiang, MC Zhou (2007)
Modeling and analysis of real-time cooperative systems using petri netsIEEE Trans Syst Man Cybern A Syst Hum, 37
E Aarts, S Marzano (2003)
The new everything
J Wang, Y Deng, G Xu (2002)
Reachability analysis of real-time systems using time Petri netsSyst Man Cybern B Cybern IEEE Trans, 30
H Boucheneb (2008)
Interval timed coloured petri net: efficient construction of its state class space preserving linear propertiesFormal Aspects Comput, 20
S Ha, HW Suh (2008)
A timed colored Petri nets modeling for dynamic workflow in product development processComput Ind, 59
P Reignier, O Brdiczka (2007)
Context-aware environments: from specification to implementationExp Syst, 24
M Zhong, C Shi (2010)
Study in performance analysis of China Urban emergency response system based on petri netSaf Sci, 48
JQ Li, YS Fan, MC Zhou (2003)
Timing constraint workflow nets for workflow analysisSyst Man Cybern A Syst Hum IEEE Trans, 33
B Berthomieu, M Diaz (1991)
Modeling and verification of time dependent systems using time petri netsIEEE Trans Softw Eng, 17
G Florin, C Fraize, S Natkin (1991)
Stochastic petri nets: properties, applications and toolsMicroelectron Reliab, 31
A Padovitz, SW Loke (2008)
Multiple-agent perspectives in reasoning about situations for context-aware pervasive computing systemsIEEE Trans Syst Man Cybern A, 38
T Murata (2002)
Petri nets: properties, analysis and applicationsProc IEEE, 77
C Bettini, L Pareschi, R D (2008)
Efficient profile aggregation and policy evaluation in a middleware for adaptive mobile applicationsPervasive Mobile Comput, 4
H Wang, Q Zeng (2008)
Modeling and analysis for workflow constrained by resources and nondetermined time: an approach based on petri netsIEEE Trans Syst Man Cybern A Syst Hum, 38
K Henricksen, J Indulska (2006)
Developing context-aware pervasive computing applications: models and approachPervasive Mobile Comput, 2
M Reichert, P Dadam (1998)
ADEPT flex-supporting dynamic changes of workflows without losing controlJ Intell Inf Syst, 10
OB Kwon (2004)
Modeling and generating context-aware agent-based applications with amended colored petri netsExp Syst Appl, 27
S Han, SK Song, HY Youn (2010)
Modeling and analysis of time critical context aware service using extended interval timed colored petri. nets. Tech. rep., The school of information and communication engineering
WM Zuberek (1991)
Timed petri nets: definitions, properties, and applicationsMicroelectron Reliab, 31
A Achilleos, K Yang, N Georgalas (2010)
Context modeling and a context-aware framework for pervasive service creation: a model-driven approachPervasive Mobile Comput, 6
G Bucci, E Vicario (2002)
Compositional validation of time-critical systems using communicating time Petri netsSoftw Eng IEEE Trans, 21
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.
Artificial Intelligence Review – Springer Journals
Published: May 5, 2011
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.