Web Service Composition Based on XML Nets
HICSS '09 Proceedings of the 42nd Hawaii International Conference on System Sciences
The Petri net markup language: concepts, technology, and tools
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Hi-index | 0.00 |
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.