Home   >   CSC-OpenAccess Library   >    Manuscript Information
A PNML extension for the HCI design
Faouzi Moussa, Ines Riahi, Meriem Riahi
Pages - 78 - 100     |    Revised - 01-09-2011     |    Published - 05-10-2011
Volume - 2   Issue - 3    |    Publication Date - November / December 2011  Table of Contents
MORE INFORMATION
KEYWORDS
Human-Computer Interaction, Formal Specification, Ubiquitous Environment, Ontology, Petri Nets, PNML
ABSTRACT
Our research aims to propose a global approach for specification, design and verification of context awareness Human Computer Interface (HCI). This is a Model Based Design approach (MBD). This methodology describes the ubiquitous environment by ontologies. OWL is the standard used for this purpose. The specification and modeling of Human-Computer Interaction are based on Petri nets (PN). This raises the question of representation of Petri nets with XML. We use for this purpose, the standard of modeling PNML. In this paper, we propose an extension of this standard for specification, generation and verification of HCI. This extension is a methodological approach for the construction of PNML with Petri nets. The design principle uses the concept of composition of elementary structures of Petri nets as PNML Modular. The objective is to obtain a valid interface through verification of properties of elementary Petri nets represented with PNML.
1 Google Scholar 
2 CiteSeerX 
3 Scribd 
4 SlideShare 
5 PdfSR 
ABED. M., Ezzedine. H. 1998. « Vers une démarche intégrée de conception-évaluation des systèmes Homme-Machine ». Journal of Decision Systems. Vol. 7, pp. 147-175.
Abowd. G., Dey. D., Brown. A. K., Davies. P. J., Smith. N., and Steggles. P. 1999. “Towards a Better Understanding of Context and Context-Awareness”: Proceedings of the 1st international Symposium on Handheld and Ubiquitous Computing. September 27 - 29, 1999 Karlsruhe, Germany.
Balbo. S. 1994. « Un pas vers l’évaluation automatique des interfaces homme-machine ». In Thèse en informatique. Université Joseph Fourier (Grenoble 1), septembre 1994.
Balme. L., Coutaz. J. 2009. « Ethylene: composants dynamiques pour la mise en oeuvre d?IHM plastiques en informatique ambiante », IHM 2009, p 75- 84, Grenoble, France.
Barros. J.P., and Gomes. L. 2004. “Operational PNML: Towards a PNML Support for Model Construction and Modification”. Workshop on the definition, implementation and application of a standard interchange format for Petri Nets, Bologna, Italy, 21-25 June 2004.
Billington. J., Christensen. S., van Hee. K., Kindler. E., Kummer. O., Petrucci. L., Post. R., Stehno. C., and Weber. M. 2003. “The Petri Net Markup Language: Concepts, Technology, and Tools”, 24th International Conference on Application and Theory of Petri Nets. LNCS volume 2679, pages 483-505.
Bolognesi. T., et Brinksma. E. 1989. “The formal description technique LOTOS, Introduction to the ISO specification language LOTOS”, Elsevier Science Publishers.
Brun. P. 1998. » XTL : une logique temporelle pour la spécification formelle des systèmes interactifs ». Thèse en informatique, Université Paris XI – Orsay, septembre.
Calvary. G., Demeure. A., Coutaz. J., Daassi. O. 2004. « Adaptation des interfaces homme machine à leur contexte d'usage Plasticité des IHM, La présentation d'information sur mesure », Numero Special de RIA; Paris, C. et Colineau, N. (editeurs invites). Vol 18 (4) 2004. Date de parution: Septembre 2004.
Calvary. G., et Coutaz. J. 2002. « Plasticité des interfaces : une nécessité ! », information interaction intelligence, Actes des deuxièmes Assises nationales du GDR I3, Nancy, décembre. Toulouse : Cépaduès Editions, pp 247-261.
Che. H., Li. Y., Oberweis. A., and Stucky. W. 2009. “Web Service Composition Based on XML Nets”, Proceedings of the 42nd Hawaii International Conference on System Sciences.
Che. H., Mevius. M., Ju. Y., Stucky. W., and Trunko. R. 2007. “A Method for Interorganizational Business Process Management”, Proceedings of the IEEE International Conference on Automation and Logistics, August 18 - 21, 2007, Jinan, China.
Che. H., Stucky. W., and Ju. Y. 2008. “Using XML Nets and Grid Services to support SCOR”, Proceedings of the Seventh International Conference on Machine Learning and Cybernetics, Kunming, 12-15 July 2008.
De Rosis. P. 1998. “Formal Description and Evaluation of User Adapted Interfaces”. Int. Journal of Human-Computer Studie. Vol. 49, 1998, pp. 95-120.
Dey. A.K., and Gregory. D. A. 2000. “Towards a Better Understanding of Context and Context-Awareness”. In Proceedings of CHIA'00 workshop on Context-Awareness, 2000.
D’Ausbourg. B., Durrieu. G., and Rocher. P. 1996. “Deriving a formal model of interactive system from its UIL description in order to verify and to test its behavior”. In Proceedings of DSV-IS’96. Springer verlag, pp. 104-122.
Favre. J.M., Estublier. J., Blay-Fornarino. M. « L’ingénierie dirigée par les modèles, au-delà du MDA ». Hermes, Paris.
Ghiani. G., Paternò. F. 2010. “Supporting Mobile Users in Selecting Target Devices”. Journal of Universal Computer Science, vol. 16, no. 15, pp. 2019-2037, 2010.
Gruber. T. R. 1993. “Formal ontology in conceptual analysis and knowledge representation”, Chapter: Towards principles for the design of ontologies used for knowledge sharing, Kluwer Academic Publishers, 1993.
Guarino N. 1997. “Understanding, building and using ontologies”. Int J Human Computer Studies, vol. 46, 1997.
Hachani. S., Dupuy-Chessa. S., Front. A. 2009. « Une approche générique pour l’adaptation dynamique des IHM au contexte ». IHM 2009, p 89-96, Grenoble, France.
Hillah. L.M., Kindler. E., Kordon. F., Petrucci. L., Trèves. N. 2009. « A primer on the Petri Net Markup Language and ISO/IEC 15909-2”. Petri Net Newsletter, 2009.
Hix. D., Hartson. H. R. 1993. “Developing user interface : Ensuring usability through Product process”, John Wiley Sons, New York, 1993.
ISO/IEC, Software and Systems Engineering – High-level Petri Nets, Part 2: Concepts, Definitions and Graphical Notation, International Standard ISO/IEC 15909 (2007).
Jambon. F., Brun. Ph., Aït-Ameur. Y. 2001. « Spécification des systèmes interactifs », In Kolski C, (Ed.), Analyse et Conception de l’IHM, Interaction Homme Machine pour les SI. Volume 1, pp. 175-206. Paris, Éditions Hermes, 2001.
Jungel. M., Kindler. E., Weber. M. 2000. “The Petri Net Markup Language”, Proc. 7. Workshop AWPN, Universitat Koblenz-Landau (2000) 47–52.
Lenz. K., and Oberweis. A. 2003. “Inter-Organizational Business Process Management with XML Nets”. H. Ehrig, W. Reisig, G. Rozenberg, H. Weber (Eds.): Petri Net Technology for Communication Based Systems, LNCS 2472, pp. 243-263, Springer-Verlag, 2003.
Moalla. M. 1985. « Réseaux de Petri interprétés et Grafcet ». TSI de l'AFCET. Vol. 4 (1), 1985.
Moussa. F. 2005. « Vers une méthodologie globale de conception et de génération semiautomatique des IHM pour les systèmes industriels », Habilitation Universitaire en Informatique, Faculté des Sciences de Tunis, 2005.
Moussa. F., Riahi. M., Kolski. C., Moalla. M. 2002. “Interpreted Petri Nets used for Human- Machine Dialogue Specification”. International journal: Integrated Computer-Aided Engineering (ICAE), Volume 9, N° 1, 2002, (pp. 87-98). Edition Iopress. ISSN: 1069- 2509.
Norman. D. A., Draper. S. (Eds.), “User Centered System Design: New Perspectives on Human-Computer Interaction”. Hillsdale, NJ: Lawrence Erlbaum Associates (Pointer to Catalog entry in Amazon.com).
Palanque. P. 1997. « Spécifications formelles et systèmes interactifs : vers des systèmes fiables et utilisables ». Habilitation à diriger des recherches, Université de Toulouse I, 1997.
Palanque. P., and Paterno. F. 1997. (Eds.), “Formal Methods in Human-Computer Interaction”, Springer Verlag, 1997.
Palanque. P., Bastide. R. 1995. « Spécifications formelles pour l'ingénierie des interfaces homme-machine ». Technique et Science Informatique, vol. 14, n° 4, éditions Hermès, p. 473-500, 1995.
Paterno. F., and Faconti. G. 1992. “On the use of Lotos to describe graphical interaction”. In proceedings of people and computer VII, HCI’92 conference, cambridge university press, 1992, pp. 155-174.
Paterno. F., Mancini. C.1999. “Designing usuable hypermedia, empirical software engineering”, 4(1), pp. 11-42, 1999.
Rasmussen. J. 1986. “Intelligent Decision Support in Process Environments. A framework for cognitive Task Analysis in System Design”, In: Hollnagel, E., Mancini, G., Woods, D.D.(Eds.). NATO ASI series. Vol. F21. Springer-Verlag, Berlin (1986).
Riahi .I, Riahi .M, Moussa .F. 2011. “XML in formal specification, verification and generation of mobile HCI”, HCII 2011, 9-14 Juillet 2011, Orlando, Florida, USA.
Riahi. M., Moussa. F., Kolski. C. and Moalla. R. 2000. “Use of interpreted petri nets for human-machine dialogue specification in process control”. Proceedings ACIDCA’2000 International Conference on Artificial and Computational Intelligence for Decision,Control and Automation in Engineering and Industrial Applications. 22-24 March 2000, Monastir, Tunisia.
Riahi. M.2004. « 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.
Shanon. B. 1990. “What is Context?”, Journal for the Theory of Social Behavior, 1990, Vol.20, pp. 157–166.
Sottet. J-S., Calvary. G., Favre. J-M. 2005. « Ingénierie de l’interaction homme-machine dirigée par les modèles », IDM’05 Premières Journées sur l’Ingénierie Dirigée par les Modèles,Paris 30 juin, 1 juillet 2005.
Sottet. J-S., Calvary. G., Favre. J-M., Coutaz. J., Demeure. A., Balme. L. 2006. “Towards Model Driven Engineering of Plastic User Interfaces”. Satellite Proc. of the ACM/IEEE 8th International Conf. In Models Driven Engineering Languages and Systems, MoDELS/UML 2006.
Stehno. C. 2002. “Petri Net Markup Language: Implementation and Application”, PromiseTechnology.
Szekely. P. 1996. “Retrospective and Challenges for Model-Based Interface Development”,Bodart, F., Vanderdonckt, J. (eds.). In Proceedings of the Eurographics Workshop, Design, Specification and Verification of Interactive Systems ’96, pp. 1–27, Springer.
Tabary. D., and Abed. M. 1998. “TOOD: an object-oriented methodology for describing user taskin interface design and specification - An application to air traffic control”, La Lettre de l'Intelligence Artificielle, vol 134-135-136, pp. 107-114, 1998.
Thevenin. D. 2001. « L’adaptation en Interaction Homme-Machine : le cas de la plasticité ». Thèse de doctorat Informatique préparée au Laboratoire de Communication Langagière et Interaction Personne-Système ({IMAG}), Université Joseph Fourier 238 pages, (2001).
Thevenin. D., et Coutaz. J. 1999. « Plasticity of User Interfaces : Framework and Research Agenda”, International Conference on Human-Computer Interaction; INTERACT’99, Edinburg, Scotland, 1999.
Uschold. M., et Gruninger. M. 1996. “Ontologies: Principles, Methods and Applications”, Knowledge Engineering Review, vol.11, n°2, 1996, p. 93-136.
Vidal. JC., Lama. M., and Bugarin. A. 2006. “A High-level Petri Net Ontology Compatible with PNML”, Petri Net Newsletter, 2006.
Weber. M., and Kindler. E. 2003. “The Petri Net Markup Language”, Petri Net Technology for Communication-Based Systems-Advances in Petri Nets, 2003 LNCS volume 2472, pages 124-144.
Weiser. M. 1993. “Some computer science issues in ubiquitous computing”, Communications of the ACM (1993), pp 74-84.
Williem. R., and Biljon. R. 1988. “Extending Petri Nets for specifying Man-Machine dialogues”, International Journal of Man-Machine Studies, vol. 28, 1988, pp. 437-45.
Mr. Faouzi Moussa
- Tanzania
faouzimoussa@gmail.com
Mr. Ines Riahi
- Tanzania
Mr. Meriem Riahi
- Tanzania