Home   >   CSC-OpenAccess Library   >    Manuscript Information
Full Text Available

This is an Open Access publication published under CSC-OpenAccess Policy.
Publications from CSC-OpenAccess Library are being accessed from over 158 countries worldwide.
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
Human-Computer Interaction, Formal Specification, Ubiquitous Environment, Ontology, Petri Nets, PNML
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 
1 Weiser. M. 1993. “Some computer science issues in ubiquitous computing”, Communications of the ACM (1993), pp 74-84.
2 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.
3 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.
4 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).
5 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.
6 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.
7 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.
8 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.
9 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.
10 Favre. J.M., Estublier. J., Blay-Fornarino. M. « L’ingénierie dirigée par les modèles, au-delà du MDA ». Hermes, Paris.
11 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.
12 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.
13 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.
14 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.
15 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.
16 Shanon. B. 1990. “What is Context?”, Journal for the Theory of Social Behavior, 1990, Vol.20, pp. 157–166.
17 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.
18 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.
19 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.
20 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.
21 Palanque. P., and Paterno. F. 1997. (Eds.), “Formal Methods in Human-Computer Interaction”, Springer Verlag, 1997.
22 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.
23 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.
24 De Rosis. P. 1998. “Formal Description and Evaluation of User Adapted Interfaces”. Int. Journal of Human-Computer Studie. Vol. 49, 1998, pp. 95-120.
25 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.
26 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.
27 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.
28 Bolognesi. T., et Brinksma. E. 1989. “The formal description technique LOTOS, Introduction to the ISO specification language LOTOS”, Elsevier Science Publishers.
29 Hix. D., Hartson. H. R. 1993. “Developing user interface : Ensuring usability through Product process”, John Wiley Sons, New York, 1993.
30 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.
31 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.
32 Paterno. F., Mancini. C.1999. “Designing usuable hypermedia, empirical software engineering”, 4(1), pp. 11-42, 1999.
33 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.
34 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.
35 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.
36 Uschold. M., et Gruninger. M. 1996. “Ontologies: Principles, Methods and Applications”, Knowledge Engineering Review, vol.11, n°2, 1996, p. 93-136.
37 Guarino N. 1997. “Understanding, building and using ontologies”. Int J Human Computer Studies, vol. 46, 1997.
38 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.
39 Jungel. M., Kindler. E., Weber. M. 2000. “The Petri Net Markup Language”, Proc. 7. Workshop AWPN, Universitat Koblenz-Landau (2000) 47–52.
40 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.
41 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.
42 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.
43 ISO/IEC, Software and Systems Engineering – High-level Petri Nets, Part 2: Concepts, Definitions and Graphical Notation, International Standard ISO/IEC 15909 (2007).
44 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.
45 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.
46 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.
47 Stehno. C. 2002. “Petri Net Markup Language: Implementation and Application”, PromiseTechnology.
48 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.
49 Vidal. JC., Lama. M., and Bugarin. A. 2006. “A High-level Petri Net Ontology Compatible with PNML”, Petri Net Newsletter, 2006.
50 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.
51 Moalla. M. 1985. « Réseaux de Petri interprétés et Grafcet ». TSI de l'AFCET. Vol. 4 (1), 1985.
52 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).
53 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).
Mr. Faouzi Moussa
- Tanzania
Mr. Ines Riahi
- Tanzania
Mr. Meriem Riahi
- Tanzania