Sistemas de redes de petri modulares baseados em objetos.

Detalhes bibliográficos
Autor(a) principal: GUERRERO, Dalton Dario Serey.
Data de Publicação: 1997
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da UFCG
Texto Completo: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/3712
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.
id UFCG_08284101206cd7b24aab2d6c1edd9a97
oai_identifier_str oai:localhost:riufcg/3712
network_acronym_str UFCG
network_name_str Biblioteca Digital de Teses e Dissertações da UFCG
repository_id_str 4851
spelling Sistemas de redes de petri modulares baseados em objetos.Object-based modular petri net systems.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.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.Universidade Federal de Campina GrandeBrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGFIGUEIREDO, Jorge César Abrantes de .PERKUSICH, Angelo.FIGUEIREDO, J. C. A.PERKUSICH, A.http://lattes.cnpq.br/1424808046858622http://lattes.cnpq.br/9439858291700830PERKUSICH, Angelo.SILVA, José Reinaldo da.LIMA, Antonio Marcus Nogueira.DOMINGUEZ, Arturo Hernandez.GUERRERO, Dalton Dario Serey.1997-03-072019-05-07T20:34:20Z2019-05-072019-05-07T20:34:20Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesishttp://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/3712GUERRERO, 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/3712porinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFCGinstname:Universidade Federal de Campina Grande (UFCG)instacron:UFCG2022-03-17T11:48:04Zoai:localhost:riufcg/3712Biblioteca Digital de Teses e Dissertaçõeshttp://bdtd.ufcg.edu.br/PUBhttp://dspace.sti.ufcg.edu.br:8080/oai/requestbdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.bropendoar:48512022-03-17T11:48:04Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)false
dc.title.none.fl_str_mv Sistemas de redes de petri modulares baseados em objetos.
Object-based modular petri net systems.
title Sistemas de redes de petri modulares baseados em objetos.
spellingShingle Sistemas de redes de petri modulares baseados em objetos.
GUERRERO, Dalton Dario Serey.
title_short Sistemas de redes de petri modulares baseados em objetos.
title_full Sistemas de redes de petri modulares baseados em objetos.
title_fullStr Sistemas de redes de petri modulares baseados em objetos.
title_full_unstemmed Sistemas de redes de petri modulares baseados em objetos.
title_sort Sistemas de redes de petri modulares baseados em objetos.
author GUERRERO, Dalton Dario Serey.
author_facet GUERRERO, Dalton Dario Serey.
author_role author
dc.contributor.none.fl_str_mv FIGUEIREDO, Jorge César Abrantes de .
PERKUSICH, Angelo.
FIGUEIREDO, J. C. A.
PERKUSICH, A.
http://lattes.cnpq.br/1424808046858622
http://lattes.cnpq.br/9439858291700830
PERKUSICH, Angelo.
SILVA, José Reinaldo da.
LIMA, Antonio Marcus Nogueira.
DOMINGUEZ, Arturo Hernandez.
dc.contributor.author.fl_str_mv GUERRERO, Dalton Dario Serey.
description 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.
publishDate 1997
dc.date.none.fl_str_mv 1997-03-07
2019-05-07T20:34:20Z
2019-05-07
2019-05-07T20:34:20Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/3712
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
url http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/3712
identifier_str_mv 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
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Universidade Federal de Campina Grande
Brasil
Centro de Engenharia Elétrica e Informática - CEEI
PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
UFCG
publisher.none.fl_str_mv Universidade Federal de Campina Grande
Brasil
Centro de Engenharia Elétrica e Informática - CEEI
PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
UFCG
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da UFCG
instname:Universidade Federal de Campina Grande (UFCG)
instacron:UFCG
instname_str Universidade Federal de Campina Grande (UFCG)
instacron_str UFCG
institution UFCG
reponame_str Biblioteca Digital de Teses e Dissertações da UFCG
collection Biblioteca Digital de Teses e Dissertações da UFCG
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)
repository.mail.fl_str_mv bdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.br
_version_ 1809744372771586048

Registros relacionados