Metodologia para desenvolver sistemas, via redes de Petri: uma abordagem orientada a objeto.

Detalhes bibliográficos
Ano de defesa: 1993
Autor(a) principal: Votre, Vilmar Pedro
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Tese
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Biblioteca Digitais de Teses e Dissertações da USP
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Petri nets
Redes de Petri
Link de acesso: https://www.teses.usp.br/teses/disponiveis/3/3142/tde-18112024-151002/
Resumo: Ao longo desta tese mostra-se que o primeiro aspecto da complexidade inerente ao desenvolvimento de sistemas sérios em computador e a vastidão do domínio a abranger (estática, dinâmica e arquitetura de chamadas). A esta complexidade somam-se o caráter eminentemente lógico dos programas, a insegurança ao fixar e conferir pontos de verificação e a postura de fazer para mostrar e depois refazer praticada em muitas áreas de desenvolvimento. A proposta de uso de redes de Petri, sob várias formas, mas sempre redes, cobrindo todas as etapas, num ambiente recomendado pela engenharia de software e segundo um critério de desenvolvimento por objetos da resposta a muitas das questões colocadas. Para abrir uma discussão, propõem-se três leis da engenharia de software. A tese começa por levantar o ambiente em que se criam e desenvolvem programas de computador, orienta o ambiente para a satisfação do usuário (é quem vai pagar pelo serviço) e propõe a metodologia etapa a etapa cobrindo todo o chamado Ciclo Correto por Objetos. Para fechar o circuito, estuda frames, classes C++, redes de Petri sobre frames e mostra que a implementação C++ dos frames, animado via Redes de Petrri dá contados domínios estático, dinâmico e de arquitetura de chamadas.
id USP_bd0d999e18fd693b00893df66694a50b
oai_identifier_str oai:teses.usp.br:tde-18112024-151002
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str
spelling Metodologia para desenvolver sistemas, via redes de Petri: uma abordagem orientada a objeto.Untitled in englishPetri netsRedes de PetriAo longo desta tese mostra-se que o primeiro aspecto da complexidade inerente ao desenvolvimento de sistemas sérios em computador e a vastidão do domínio a abranger (estática, dinâmica e arquitetura de chamadas). A esta complexidade somam-se o caráter eminentemente lógico dos programas, a insegurança ao fixar e conferir pontos de verificação e a postura de fazer para mostrar e depois refazer praticada em muitas áreas de desenvolvimento. A proposta de uso de redes de Petri, sob várias formas, mas sempre redes, cobrindo todas as etapas, num ambiente recomendado pela engenharia de software e segundo um critério de desenvolvimento por objetos da resposta a muitas das questões colocadas. Para abrir uma discussão, propõem-se três leis da engenharia de software. A tese começa por levantar o ambiente em que se criam e desenvolvem programas de computador, orienta o ambiente para a satisfação do usuário (é quem vai pagar pelo serviço) e propõe a metodologia etapa a etapa cobrindo todo o chamado Ciclo Correto por Objetos. Para fechar o circuito, estuda frames, classes C++, redes de Petri sobre frames e mostra que a implementação C++ dos frames, animado via Redes de Petrri dá contados domínios estático, dinâmico e de arquitetura de chamadas.The complexity is the maximim problem posable agianst any person who tries to construct a new thing. In the environment of software development, frequently it dominates and dispersates teams evaluated as having high level. In company od complexity cames his unpleasant friend, the volatility (Yes, it was, but it changed). Many researches proposed methos and strategies for complexity control. The approach plus up-do-date is Software Engeneering and Object Orientation. This thesis shows that the first problem of complexity is inherently conected to the Field of software development because this is very big (static, dynamic and control aspects). By syde, the charater essentially logic of the programs, imposes insecurity to the mile-stones. The practic, very common, of do for demonstration and then redo is a bad additional complicator. This thesis proposes the use of Petri nets, of various types, but only of Petri nets, in order to cover all the steps, in one environment of POO, to solve the development problems. In order of open a discussion, proposes also three laws of Software Engeneering. The thesis begins describing the environment of software development, then orients it for user satisfaction (He Will pay for the software) and then proposes a methodology for every step, in a so called Objective Correct Cicle. As closure studies frames, C++ classes, and Petri nets using frames as objects. This set, enriched with the token players over Petri nets, covers the aspects static, dynamic endo f the architecture of calls.Biblioteca Digitais de Teses e Dissertações da USPLeite, Vitor Marques PintoVotre, Vilmar Pedro1993-04-26info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdfhttps://www.teses.usp.br/teses/disponiveis/3/3142/tde-18112024-151002/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesspor2024-11-18T17:14:02Zoai:teses.usp.br:tde-18112024-151002Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212024-11-18T17:14:02Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv Metodologia para desenvolver sistemas, via redes de Petri: uma abordagem orientada a objeto.
Untitled in english
title Metodologia para desenvolver sistemas, via redes de Petri: uma abordagem orientada a objeto.
spellingShingle Metodologia para desenvolver sistemas, via redes de Petri: uma abordagem orientada a objeto.
Votre, Vilmar Pedro
Petri nets
Redes de Petri
title_short Metodologia para desenvolver sistemas, via redes de Petri: uma abordagem orientada a objeto.
title_full Metodologia para desenvolver sistemas, via redes de Petri: uma abordagem orientada a objeto.
title_fullStr Metodologia para desenvolver sistemas, via redes de Petri: uma abordagem orientada a objeto.
title_full_unstemmed Metodologia para desenvolver sistemas, via redes de Petri: uma abordagem orientada a objeto.
title_sort Metodologia para desenvolver sistemas, via redes de Petri: uma abordagem orientada a objeto.
author Votre, Vilmar Pedro
author_facet Votre, Vilmar Pedro
author_role author
dc.contributor.none.fl_str_mv Leite, Vitor Marques Pinto
dc.contributor.author.fl_str_mv Votre, Vilmar Pedro
dc.subject.por.fl_str_mv Petri nets
Redes de Petri
topic Petri nets
Redes de Petri
description Ao longo desta tese mostra-se que o primeiro aspecto da complexidade inerente ao desenvolvimento de sistemas sérios em computador e a vastidão do domínio a abranger (estática, dinâmica e arquitetura de chamadas). A esta complexidade somam-se o caráter eminentemente lógico dos programas, a insegurança ao fixar e conferir pontos de verificação e a postura de fazer para mostrar e depois refazer praticada em muitas áreas de desenvolvimento. A proposta de uso de redes de Petri, sob várias formas, mas sempre redes, cobrindo todas as etapas, num ambiente recomendado pela engenharia de software e segundo um critério de desenvolvimento por objetos da resposta a muitas das questões colocadas. Para abrir uma discussão, propõem-se três leis da engenharia de software. A tese começa por levantar o ambiente em que se criam e desenvolvem programas de computador, orienta o ambiente para a satisfação do usuário (é quem vai pagar pelo serviço) e propõe a metodologia etapa a etapa cobrindo todo o chamado Ciclo Correto por Objetos. Para fechar o circuito, estuda frames, classes C++, redes de Petri sobre frames e mostra que a implementação C++ dos frames, animado via Redes de Petrri dá contados domínios estático, dinâmico e de arquitetura de chamadas.
publishDate 1993
dc.date.none.fl_str_mv 1993-04-26
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://www.teses.usp.br/teses/disponiveis/3/3142/tde-18112024-151002/
url https://www.teses.usp.br/teses/disponiveis/3/3142/tde-18112024-151002/
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv
dc.rights.driver.fl_str_mv Liberar o conteúdo para acesso público.
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Liberar o conteúdo para acesso público.
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.coverage.none.fl_str_mv
dc.publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
dc.source.none.fl_str_mv
reponame:Biblioteca Digital de Teses e Dissertações da USP
instname:Universidade de São Paulo (USP)
instacron:USP
instname_str Universidade de São Paulo (USP)
instacron_str USP
institution USP
reponame_str Biblioteca Digital de Teses e Dissertações da USP
collection Biblioteca Digital de Teses e Dissertações da USP
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)
repository.mail.fl_str_mv virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br
_version_ 1818598506602954752

Registros relacionados