Petri Nets Context Modeling for the Pervasive Human-Computer Interfaces
Pages 316 - 329
Abstract
Nowadays, generation of user interfaces adapted to the context becomes very important in a world where technology and technical adaptations interfaces continue to increase. This paper presents an approach for the automatic and real time generation of user interface adapted to the context of use. We are particularly interested by modeling the data of context as well as the user's task using Petri nets. The Petri nets are used for its simplicity to generate XML files, which will present the specification and generation of the human-computer interfaces adapted to the context. This approach will be illustrated with a case study that presents a diabetic patient suffering from hypoglycemia in a "smart hospital".
References
[1]
Achilleos, A., Yang, K., Georgalas, N.: Context modeling and a context-aware framework for pervasive service creation: a model-driven approach. Pervasive Mobile Comput. 6, 281---296 2010
[2]
Agostini, A., Bettini, C., Riboni, D.: Hybrid Reasoning in the CARE Middleware for Context-Awareness. International Journal of Web Engineering and Technology 51, 3---23 2009
[3]
Akman, V., Surav, M.: The use of situation theory in context modeling. Computational Intelligence 13, 427---438 1997
[4]
Bauer, J.: Identification and Modeling of Contexts for Different Information Scenarios in Air Traffic, Diplomarbeit March 2003
[5]
Bettini, C., Brdiczka, O., Henricksen, K., Indulska, J., Nicklas, D., Ranganathan, A., Riboni, D.: A survey of context modeling and reasoning techniques. Pervasive and Mobile Computing 6, 161---180 2010
[6]
Boucheneb, H.: Interval timed coloured petri net: efficient construction of its state class space preserving linear properties. Formal Aspects Comput. 202, 225---238 2008
[7]
Calvary, G., Demeure, A., Coutaz, J., Dâassi, O.: Adaptation des Interfaces Homme-Machine í leur contexte d'usage. Revue d'intelligence Artificielle 184, 577---606 2004
[8]
Chen, L., Nugent, C., Mulvenna, M., Finlay, D., Hong, X.: Semantic smart homes: Towards knowledge rich assisted living environments. In: McClean, S., Millard, P., El-Darzi, E., Nugent, C. eds. Intelligent Patient Management. SCI, vol. 189, pp. 279---296. Springer, Heidelberg 2009
[9]
Dey, A.K., Salber, D., Futakawa, M., Abowd G.D.: An Architecture to Support Context-Aware Applications. GVU Technical Reports 1999
[10]
Han, S., Song, S.K., Youn, H.Y.: 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. Sungkyunkwan University, Seoul 2010
[11]
Han, S., Song, S.K., Youn, H.Y.: Modeling and verification of context-awareness service for time critical applications using colored petri-net. In: IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, WI-IAT 2008, vol. 2, pp. 71---74. IEEE 2009
[12]
Han, S., Youn, H.Y.: Petri net-based context modeling for context-aware systems. Artificial Intelligence Review 37, 43---67 2011
[13]
Henricksen, K., Indulska, J.: Modelling and using imperfect context information. In: 1st Workshop on Context Modeling and Reasoning CoMoRea, PerCom 2004 Workshop Proceedings. IEEE Computer Society 2004
[14]
Henricksen, K., Indulska, J., Rakotonirainy, A.: Generating Context Management Infrastructure from High-Level Context Models. In: Industrial Track Proceedings of the 4th International Conference on Mobile Data Management MDM 2003, pp. 1---6 2003
[15]
Henricksen, K., Livingstone, S., Indulska, J.: Towards a hybrid approach to context modelling, reasoning and interoperation. In: Indulska, J., Roure, D.D. eds. Proceedings of the First International Workshop on Advanced Context Modelling, Reasoning and Management, University of Southampton, Nottingham, England 2004
[16]
Kiss, C.: Composite Capability/Preference Profiles CC/PP: Structure and Vocabularies 2.0 - W3C Working Draft April 30, 2007, http://www.w3.org/TR/2007/WD-CCPP-struct-vocab2-20070430/ last consultation April 2011
[17]
Kwon, O.B.: Modeling and generating context-aware agent-based applications with amended colored Petri nets. Exp. Syst. Appl. 274, 609---621 2004
[18]
Moussa, F., Riahi, I., Riahi, M.: A PNML extension for the HCI design. International Journal of Human-Computer Interaction IJHCI 53 2011
[19]
Reignier, P., Brdiczka, O.: Context-aware environments: from specification to implementation. Exp. Syst. 245, 305---320 2007
[20]
Schilit, B., Adams, N., Want, N.L.: Context-aware computing applications. In: IEEE Workshop on Mobile Computing Systems and Applications 1994
[21]
Schmidt, A., Laerhoven, K.V.: How to Build Smart Appliances. IEEE Personal Communications August 2001
[22]
Silva, J.L., Campos, J.C., Harrison, M.D.: An infrastructure for experience centered agile prototyping of ambient intelligence. In: EICS 2009: Proceedings of the 1st ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pp. 79---84 2009
[23]
Strang, T., Linnhoffpopien, C.: A context modeling survey. In: Workshop on Advanced Context Modeling, Reasoning and Management, UbiComp 2004 2004
[24]
Sun, J., Zhang, Y., He, K.: A Petri-Net based context representation in smart car environment. In: Bellavista, P., Chang, R.-S., Chao, H.-C., Lin, S.-F., Sloot, P.M.A. eds. GPC 2010. LNCS, vol. 6104, pp. 162---173. Springer, Heidelberg 2010
[25]
Timmerer, C., Jabornig, J., Hellwagner, H.: Delivery Context Descriptions A Comparison and Mapping Model. In: Proceedings of the 9th Workshop on Multimedia Metadata WMM 2009 held in Conjunction with the 13th French Multimedia Conference on Compression and Representation of Audiovisual Signals CORESA 2009
[26]
Wang, H., Zeng, Q.: Modeling and analysis for workflow constrained by resources and non determined time: an approach based on Petri nets. IEEE Trans. Syst. Man Cybern. A Syst. Hum. 384, 802---817 2008
[27]
Ye, J., Coyle, L., Dobson, S., Nixon, P.: Ontology-based models in pervasive computing systems. The Knowledge Engineering Review 2204, 315---347 2007
[28]
Ye, J., Dobson, S., MacKeeve, S.: Situation identification techniques in pervasive computing: A review. Pervasive and Mobile Computing 8, 36---66 2011
Recommendations
A formal approach for modeling context-aware Human-Computer System
Display Omitted We propose a formal approach for specification of pervasive user interface.We define a Petri nets modeling language for pervasive Human-Computer System.We demonstrate that the accuracy of the generated interface depends on the context ...
Modeling and Analyzing Self-Adaptive Systems with Context Petri Nets
TASE '13: Proceedings of the 2013 International Symposium on Theoretical Aspects of Software EngineeringThe development of self-adaptive systems requires the definition of the parts of the system that will be adapted, when such adaptations will take place, and how these adaptations will interact with each other. However, foreseeing all possible ...
Petri nets and resource bisimulation
Concurrency Specification and Programming (CS&P'2002), Part 2Resources are defined as submultisets of Petri net markings. Two resources are called similar if replacing one of them by another in any marking doesn't change the Petri net's behavior. We define the relations of resource similarity and resource ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
October 2013
380 pages
ISBN:9783642409714
Publisher
Springer-Verlag
Berlin, Heidelberg
Publication History
Published: 28 October 2013
Author Tags
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 12 Nov 2024
Other Metrics
Citations
View Options
View options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in