A methodology to specify three-dimensional interaction using Petri Nets

  • Authors:

  • Rafael Rieder;Alberto Barbosa Raposo;Márcio Sarroglia Pinho

  • Affiliations:

  • Pontifícia Universidade Católica do Rio Grande do Sul - PUCRS, Faculdade de Informática - FACIN, Avenida Ipiranga, 6681, Prédio 32, Sala 607, CEP 90619-900 Porto Alegre, RS, Br ...;Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio Grupo de Tecnologia em Computação Gráfica, TECGRAF Rua Marquês de São Vicente, 225, Prédio Belis ...;Pontifícia Universidade Católica do Rio Grande do Sul - PUCRS, Faculdade de Informática - FACIN, Avenida Ipiranga, 6681, Prédio 32, Sala 607, CEP 90619-900 Porto Alegre, RS, Br ...

  • Venue:
  • Journal of Visual Languages and Computing
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

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.