Title :
Measurement and modelling of interactions between virtual environment and components: a theoretical characterization
Author :
Gianfelici, Francesco
Author_Institution :
Dipt. di Elettronica, Intelligenza Artificiale e Telecomunicazioni, Univ. Politecnica delle Marche, Ancona, Italy
Abstract :
This paper presents a novel theoretical formalization that is enable model interactions between virtual environment, and components, by means of multilayer automata. Secondly, we prove that these automata are the platforms, based on application program interfaces (APIs), of platform-based design paradigm: so obtaining a theoretical result, which highlights the effectiveness of APIs in modelling of these interactions. Finally a case study of an embedded system for electronic measurement of gas concentration is proposed, and described.
Keywords :
application program interfaces; automata theory; computerised instrumentation; embedded systems; gas sensors; process algebra; virtual reality; application program interfaces; electronic measurement; embedded system; gas concentration; model interactions; multilayer automata; platform-based design paradigm; process algebra; virtual environment; Algebra; Artificial intelligence; Automata; Embedded system; Internet; Postal services; Process design; Stochastic processes; Virtual environment;
Conference_Titel :
Virtual Environments, Human-Computer Interfaces and Measurement Systems, 2005. VECIMS 2005. Proceedings of the 2005 IEEE International Conference on
Print_ISBN :
0-7803-9041-5
DOI :
10.1109/VECIMS.2005.1567581
