Paper Info
Title
A methodology to specify three-dimensional interaction using Petri Nets
Abstract
This work presents a methodology to formally model and to build three-dimensional interaction tasks in virtual environments using three different tools: Petri Nets, the Interaction Technique Decomposition taxonomy, and Object-Oriented techniques. User operations in the virtual environment are represented as Petri Net nodes; these nodes, when linked, represent the interaction process stages. In our methodology, places represent all the states an application can reach, transitions define the conditions to start an action, and tokens embody the data manipulated by the application. As a result of this modeling process we automatically generate the core of the application's source code. We also use a Petri Net execution library to run the application code. In order to facilitate the application modeling, we have adapted Dia, a well-known graphical diagram editor, to support Petri Nets creation and code generation. The integration of these approaches results in a modular application, based on Petri Nets formalism that allows for the specification of an interaction task and for the reuse of developed blocks in new virtual environment projects.
Year
DOI
Venue
2010
10.1016/j.jvlc.2010.01.002
J. Vis. Lang. Comput.
Keywords
Field
DocType
petri nets formalism,petri nets creation,application modeling,petri nets,application code,modular application,three-dimensional interaction,interaction task,interaction process stage,code generation,virtual environment,specification,petri net,three dimensional,interaction technique,object oriented,source code
Interaction technique,Petri net,Programming language,Virtual machine,Computer science,Source code,Reuse,Process architecture,Code generation,Modular design,Distributed computing
Journal
Volume
Issue
ISSN
21
3
1045-926X
Citations 
PageRank 
References 
2
0.40
25
Authors
3
Name
Order
Citations
PageRank
Rafael Rieder1183.95
Alberto Barbosa Raposo215830.19
Márcio Sarroglia Pinho3259.06