CoordenaÃÃo de AperfeÃoamento de Pessoal de NÃvel Superior / This work presents a method to generate games with multilevel and multiple users using Hierarchical Coloured Petri Nets. The design of a multiuser game containing multiple navigation environments (multilevel) is made from the model of a Hierarchical Coloured Petri Net, in which are specified all of the rules, properties and structures of the game. The created model for the game can be formally analysed, verifying the existence of deadlocks and invalid paths, for example, and others possible conception problems, that can be done with the tools available on CPN Tools. To validate this method, a tool has been developed, called CPN Games, which allows fast and dynamic development of simple conception games only using Hierarchical Coloured Petri Nets. The XML codes of the designed models in CPN Tools are interpreted by CPN Games following a set of predefined rules to instantiate different games, without additional programing. It is demonstrated the mechanisms of the design, analysis and validation of the models and finally it is presented several examples of games developed by this tool. / Este trabalho apresenta um mÃtodo para geraÃÃo de jogos multinÃveis e com mÃltiplos usuÃrios por meio de modelagem em Redes de Petri Coloridas HierÃrquicas. A concepÃÃo de um jogo multiusuÃrio, contendo mÃltiplos ambientes de navegaÃÃo (multinÃveis), à feita a partir da criaÃÃo de um modelo hierÃrquico em Rede de Petri Colorida, no qual se especificam todas as regras, propriedades e estruturas do jogo. O modelo criado para o jogo pode ser analisado formalmente, verificando-se, por exemplo, a existÃncia de bloqueios e de transiÃÃes mortas (caminhos invÃlidos), entre outros possÃveis problemas de concepÃÃo, o que pode ser feito com a utilizaÃÃo de ferramentas disponÃveis no CPN Tools. Para validar esse mÃtodo, foi concebida uma ferramenta, denominada CPN Games, que permite o desenvolvimento rÃpido e dinÃmico de jogos de concepÃÃo simples exclusivamente por Rede de Petri Colorida HierÃrquica. Os cÃdigos em XML de modelos constituÃdos com o CPN Tools sÃo interpretadas pelo CPN Games seguindo um conjunto de regras prà estabelecidas para instanciar diferentes jogos, sem a necessidade de programaÃÃo adicional. SÃo demonstrados os mecanismos de criaÃÃo, anÃlise e validaÃÃo dos modelos e diferentes exemplos de jogos construÃdos com a ferramenta.
| Identifer | oai:union.ndltd.org:IBICT/oai:www.teses.ufc.br:9020 |
| Date | 19 December 2014 |
| Creators | Vanessa Viana da Silva Carvalho |
| Contributors | Josà Marques Soares, Giovanni Cordeiro Barroso, Danielo GonÃalves Gomes, Windson Viana de Carvalho |
| Publisher | Universidade Federal do CearÃ, Programa de PÃs-GraduaÃÃo em Engenharia de TeleinformÃtica, UFC, BR |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | Portuguese |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
| Format | application/pdf |
| Source | reponame:Biblioteca Digital de Teses e Dissertações da UFC, instname:Universidade Federal do Ceará, instacron:UFC |
| Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0089 seconds