Please use this identifier to cite or link to this item: https://repositorio.ufu.br/handle/123456789/12536
Full metadata record
DC FieldValueLanguage
dc.creatorOliveira, Guilherme Willian de-
dc.date.accessioned2016-06-22T18:32:26Z-
dc.date.available2013-04-24-
dc.date.available2016-06-22T18:32:26Z-
dc.date.issued2012-02-29-
dc.identifier.citationOLIVEIRA, Guilherme Willian de. Modelagem e análise de video games usando as workflow nets e a lógica linear. 2012. 91 f. Dissertação (Mestrado em Ciências Exatas e da Terra) - Universidade Federal de Uberlândia, Uberlândia, 2012. DOI https://doi.org/10.14393/ufu.di.2012.124por
dc.identifier.urihttps://repositorio.ufu.br/handle/123456789/12536-
dc.description.abstractThe objective of this work is to present an approach based onWorkFlow net and Linear Logic for the design process of video games. The main idea consists of representing the scenarios existing at a quest level by a particular type of Petri net called WorkFlow net. A kind of qualitative analysis based on the proof trees of linear logic can then be performed in order to prove the correctness of the soundness property which corresponds to a consistent quest from the point of view of the game. The quantitative analysis is concerned with the planning of the gameplay time of a quest. It is base on version of t-time WorkFlow nets and symbolic date calculation derived from the sequent calculus of linear logic. An extended version of the WorkFlow nets which allows the inclusion of discrete resources permits representing in a formal way, the dierent items that the player can nd and use during the quests of the game. Parts of the game The Legend of Zelda: Oracle of Ages are used to illustrate the proposed approach.eng
dc.formatapplication/pdfpor
dc.languageporpor
dc.publisherUniversidade Federal de Uberlândiapor
dc.rightsAcesso Abertopor
dc.subjectRede de petripor
dc.subjectLógica linearpor
dc.subjectWorkow netpor
dc.subjectSoudnesspor
dc.subjectVideo gamespor
dc.subjectPetri neteng
dc.subjectLinear logiceng
dc.subjectWorkow neteng
dc.subjectSoundnesseng
dc.subjectSoftware - Desenvolvimentopor
dc.titleModelagem e análise de video games usando as workflow nets e a lógica linearpor
dc.typeDissertaçãopor
dc.contributor.advisor1Julia, Stéphane-
dc.contributor.advisor1Latteshttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4796960H1por
dc.contributor.referee1Soares, Michel dos Santos-
dc.contributor.referee1Latteshttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4745139J8por
dc.contributor.referee2Silva, Jose Reinaldo-
dc.contributor.referee2Latteshttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4787720Z3por
dc.creator.Latteshttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4468212D3por
dc.description.degreenameMestre em Ciência da Computaçãopor
dc.description.resumoO objetivo deste trabalho é apresentar uma abordagem baseada nas WorkFlow nets e na Lógica Linear para o processo de criação de video games. A ideia principal consiste em representar os cenários existentes numa quest por meio de um tipo particular de redes de Petri chamadas WorkFlow nets. Um tipo de análise qualitativa com base nas árvores de prova da lógica linear pode então ser realizada a m de provar a propriedade soundness que corresponde a uma quest consistente do ponto de vista do jogo. A análise quantitativa preocupa-se com o planejamento do tempo de jogabilidade de uma quest. Ela se basea numa versão t-temporal das WorkFlow nets e no cálculo de datas simbólicas derivadas do cálculo dos sequentes da lógica linear. Uma versão estendida das WorkFlow nets que autoriza a inclusão de recursos discretos é considerada. Tais recursos representam os diversos itens que o jogador pode encontrar durante as missões do jogo. Em particular, é mostrado o efeito de se usar tais recursos no modelo de rede de quest que representa a integralidade dos cenários de quests do jogo. Partes do jogo The Legend of Zelda: Oracle of Ages são usadas a m de ilustrar a abordagem proposta.por
dc.publisher.countryBRpor
dc.publisher.programPrograma de Pós-graduação em Ciência da Computaçãopor
dc.subject.cnpqCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAOpor
dc.publisher.departmentCiências Exatas e da Terrapor
dc.publisher.initialsUFUpor
dc.identifier.doihttps://doi.org/10.14393/ufu.di.2012.124-
dc.orcid.putcode81753010-
dc.crossref.doibatchid67765add-fc00-4a03-b04a-0db8c802123f-
Appears in Collections:DISSERTAÇÃO - Ciência da Computação

Files in This Item:
File Description SizeFormat 
GuilhermeWillian.pdf2.5 MBAdobe PDFThumbnail
View/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.