XML in Formal Specification, Verification and Generation of Mobile HCI

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.

[1]  Tarak Chaari.  Adaptation d'applications pervasives dans des environnements multi-contextes , 2007 .

[2]  Paul Grefen,et al.  A Three-Level Process Framework for Contract-Based Dynamic Service Outsourcing , 2003 .

[3]  Hai-Ying Che,et al.  Using XML nets and grid services to support SCOR , 2008, 2008 International Conference on Machine Learning and Cybernetics.

[4]  Guillaume Calvet-Inglada.  Etude empirique de l'interaction multimodale mobile en situation naturelle , 2008 .

[5]  Wil M. P. van der Aalst,et al.  Applications and Theory of Petri Nets 2003 , 2003, Lecture Notes in Computer Science.

[6]  Ekkart Kindler,et al.  The Petri Net Markup Language , 2003, Petri Net Technology for Communication-Based Systems.

[7]  Laure Petrucci,et al.  The Petri Net Markup Language: Concepts, Technology, and Tools , 2003, ICATPN.

[8]  Yanbing Ju,et al.  A Method for Inter-organizational Business Process Management , 2007, 2007 IEEE International Conference on Automation and Logistics.

[9]  Meriem Riahi.  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+ , 2004 .

[10]  Fabrice Kordon,et al.  A primer on the Petri Net Markup Language and ISO/IEC 15909-2 , 2009 .

[11]  Yu Li,et al.  Web Service Composition Based on XML Nets , 2009 .

[12]  Andreas Oberweis,et al.  Inter-organizational Business Process Management with XML Nets , 2003, Petri Net Technology for Communication-Based Systems.