Sistemas de redes de petri modulares baseados em objetos.

Página inicial
→
Campus Campina Grande | Centro de Engenharia Elétrica e Informática - CEEI
→
PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
→
Mestrado em Ciência da Computação.
→
Ver item

dc.creator.ID	GUERRERO, D. D. S.	pt_BR
dc.creator.Lattes	http://lattes.cnpq.br/2050632960242405	pt_BR
dc.contributor.advisor1	FIGUEIREDO, Jorge César Abrantes de .
dc.contributor.advisor1	PERKUSICH, Angelo.
dc.contributor.advisor1ID	FIGUEIREDO, J. C. A.	pt_BR
dc.contributor.advisor1ID	PERKUSICH, A.
dc.contributor.advisor1Lattes	http://lattes.cnpq.br/1424808046858622	pt_BR
dc.contributor.advisor1Lattes	http://lattes.cnpq.br/9439858291700830
dc.contributor.referee1	PERKUSICH, Angelo.
dc.contributor.referee2	SILVA, José Reinaldo da.
dc.contributor.referee3	LIMA, Antonio Marcus Nogueira.
dc.contributor.referee4	DOMINGUEZ, Arturo Hernandez.
dc.description.resumo	Neste trabalho expomos um modelo formal de descrição, especificação, e modelagem de sistemas complexos de software, baseado em redes de Petri e orientação a objetos. O trabalho é impulsionado pela crescente necessidade de ferramentas com embasamento matemático para o efetivo estabelecimento de uma disciplina de Engenharia de Software. As definições são desenvolvidas de forma gradual de maneira a incluir umaa- uma as características desejáveis no modelo. Duas aplicações da ferramenta desenvolvida são discutidas como elementos de experimentação e validação do modelo. Permitem, ainda, a detecção de eventuais problemas e/ou efeitos inesperados causados pelo formalismo desenvolvido, abrindo inúmeras possibilidades de estudos futuros para o pleno desenvolvimento da ferramenta.	pt_BR
dc.publisher.country	Brasil	pt_BR
dc.publisher.department	Centro de Engenharia Elétrica e Informática - CEEI	pt_BR
dc.publisher.program	PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO	pt_BR
dc.publisher.initials	UFCG	pt_BR
dc.title	Sistemas de redes de petri modulares baseados em objetos.	pt_BR
dc.date.issued	1997-03-07
dc.description.abstract	In this work, we introduce a tool which allows the formal description, specification and modeling of complex software systems based on Petri Nets Theory and Object Orientation. Our work is motivated by the growing necessity of mathematical based tools in order to establish an effective Software Engineering Discipline. All definitions related to the tool, are presented through a gradual approach which allows the inclusion of the desired features in a one-per-one basis. Two applications of this tool are discussed with the objective of experimentation and validation. The applicattions, also allow the detection of eventual mistakes and/or unexpected effects caused by the underlying formalism. Thus, opening several research possibilities in order to develop and refine the introduced tool.	pt_BR
dc.identifier.uri	http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/3712
dc.date.accessioned	2019-05-07T20:34:20Z
dc.date.available	2019-05-07
dc.date.available	2019-05-07T20:34:20Z
dc.type	Dissertação	pt_BR
dc.rights	Acesso Aberto	pt_BR
dc.creator	GUERRERO, Dalton Dario Serey.
dc.publisher	Universidade Federal de Campina Grande	pt_BR
dc.language	por	pt_BR
dc.title.alternative	Object-based modular petri net systems.	pt_BR
dc.identifier.citation	GUERRERO, Dalton Dario Serey. Sistemas de redes de petri modulares baseados em objetos. 1997. 103f. (Dissertação de Mestrado em Ciência da Computação) Programa de Pós-graduação em Ciência da Computação, Centro de Engenharia Elétrica e Informática, Universidade Federal de Campina Grande - Paraíba - Brasil, 1997. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/3712	pt_BR