Abstract
Our work is carried out in the framework of a global approach for Human-Computer Interaction design and automatic generation. This approach is based on a formal modeling of the Human-Computer Interaction. We propose a Model Based Design Approach (MBDA). We are concerned with identifying the user tasks and requirements and further with the automatic graphical interface validation and generation. Therefore we use Petri Nets. Indeed, the Petri Nets are very efficient in formal modeling of HCI. Our research focuses on mobile HCI. It aims to analyze the ubiquitous environment using ontology described in OWL2 standard. We face difficulties in modeling ontology in XML using Petri Nets. Thus, it becomes necessary to adopt approaches for manipulation of Petri nets via XML as PNML or XML Nets.
Chapter PDF
Similar content being viewed by others
Keywords
References
Chaari, T.: Adaptation d’applications pervasives dans des environnements multi-contextes. Thèse de doctorat, L’institut national des sciences appliquées de Lyon (2007)
Calvet-Inglad, G.: Etude empirique de l’interaction multimodale mobile en situation naturelle. Thèse de doctorat, Université de Toulouse (2008)
Riahi, M.: Contribution à l’élaboration d’une méthodologie de spécification, de vérification et de génération semi-automatique d’interfaces homme-machine: Application à l’outil Ergo-Conceptor+. Thèse de doctorat, Université de Valenciennes et du Hainaut-Cambrésis (2004)
Moussa, F.: Vers une méthodologie globale de conception et de génération semi- automatique des IHM pour les systèmes industriels. Habilitation Universitaire en Informatique, Faculté des Sciences de Tunis (2005)
Lenz, K., Oberweis, A.: Inter-Organizational Business Process Management with XML Nets. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol. 2472, pp. 243–263. Springer, Heidelberg (2003)
Weber, M., Kindler, E.: The Petri Net Markup Language. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol. 2472, pp. 124–144. Springer, Heidelberg (2003)
Hillah, L.M., Kindler, E., Kordon, F., Petrucci, L., Trèves, N.: A primer on the Petri Net Markup Language and ISO/IEC 15909-2. Petri Net Newsletter (2009)
Billington, J., Christensen, S., van Hee, K.M., Kindler, E., Kummer, O., Petrucci, L., Post, R., Stehno, C., Weber, M.: The Petri Net Markup Language: Concepts, Technology, and Tools. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 483–505. Springer, Heidelberg (2003)
Che, H., Li, Y., Oberweis, A., Stucky, W.: Web Service Composition Based on XML Nets. In: Proceedings of the 42nd Hawaii International Conference on System Sciences (2009)
Che, H., Mevius, M., Ju, Y., Stucky, W., Trunko, R.: A Method for Inter-organizational Business Process Management. In: Proceedings of the IEEE International Conference on Automation and Logistics, Jinan, China (August 18-21, 2007)
Che, H., Stucky, W., Ju, Y.: Using XML Nets and Grid Services to support SCOR. In: Proceedings of the Seventh International Conference on Machine Learning and Cybernetics, Kunming (July 12-15, 2008)
Vidal, J., Lama, M., Bugarin, A.: A High-level Petri Net Ontology Compatible with PNML. Petri Net Newsletter (2006)
http://www.technoscience.net/?onglet=glossaire&definition=324
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Riahi, I., Riahi, M., Moussa, F. (2011). XML in Formal Specification, Verification and Generation of Mobile HCI. In: Jacko, J.A. (eds) Human-Computer Interaction. Towards Mobile and Intelligent Interaction Environments. HCI 2011. Lecture Notes in Computer Science, vol 6763. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21616-9_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-21616-9_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21615-2
Online ISBN: 978-3-642-21616-9
eBook Packages: Computer ScienceComputer Science (R0)