Modeling and Verification of Time Dependent Systems Using Time Petri Nets
IEEE Transactions on Software Engineering
Adept_flex—Supporting Dynamic Changes of Workflows Without Losing Control
Journal of Intelligent Information Systems - Special issue on workflow management systems
Understanding and Using Context
Personal and Ubiquitous Computing
Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
CALM: An Intelligent Agent-based Middleware for Community Computing
SEUS-WCCIA '06 Proceedings of the 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)
Time-critical information services
Communications of the ACM - Emergency response information systems: emerging trends and technologies
A timed colored Petri nets modeling for dynamic workflow in product development process
Computers in Industry
A New Agent Platform Architecture Supporting the Agent Group Paradigm for Multi-Agent Systems
IAT '07 Proceedings of the 2007 IEEE/WIC/ACM International Conference on Intelligent Agent Technology
Formal Aspects of Computing
Efficient profile aggregation and policy evaluation in a middleware for adaptive mobile applications
Pervasive and Mobile Computing
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
An infrastructure for experience centered agile prototyping of ambient intelligence
Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems
Context-Aware Activity Recognition through a Combination of Ontological and Statistical Reasoning
UIC '09 Proceedings of the 6th International Conference on Ubiquitous Intelligence and Computing
Context-sensitive adaptation of workflows
Proceedings of the doctoral symposium for ESEC/FSE on Doctoral symposium
Developing context-aware pervasive computing applications: Models and approach
Pervasive and Mobile Computing
A survey of context modelling and reasoning techniques
Pervasive and Mobile Computing
Pervasive and Mobile Computing
A workflow language based on structural context model for ubiquitous computing
EUC'05 Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing
A petri-net based context representation in smart car environment
GPC'10 Proceedings of the 5th international conference on Advances in Grid and Pervasive Computing
Reachability analysis of real-time systems using time Petri nets
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Timing constraint workflow nets for workflow analysis
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Modeling and Analysis of Real-Time Cooperative Systems Using Petri Nets
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
| Hi-index | 0.00 |
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.