Modelo de simulação computacional Para análise da qualidade de serviço de uma solução de integração de reserva de viagens utilizando redes de Petri temporizadas
| Ano de defesa: | 2017 |
|---|---|
| Autor(a) principal: | |
| Orientador(a): | |
| Banca de defesa: | |
| Tipo de documento: | Dissertação |
| Tipo de acesso: | Acesso aberto |
| Idioma: | por |
| Instituição de defesa: |
Não Informado pela instituição
|
| 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: | |
| Link de acesso: | https://bibliodigital.unijui.edu.br/items/ac4ac87f-7b4a-4447-9e59-09fbb1bdaa25 |
Resumo: | 105 f. |
| id |
UNIJ_42c5c441e9e9a856d6096c6ba04ded8b |
|---|---|
| oai_identifier_str |
oai:bibliodigital.unijui.edu.br:123456789/4684 |
| network_acronym_str |
UNIJ |
| network_name_str |
Repositório Institucional da UNIJUI |
| repository_id_str |
|
| spelling |
Modelo de simulação computacional Para análise da qualidade de serviço de uma solução de integração de reserva de viagens utilizando redes de Petri temporizadasCiências exatas e da terraModelagem matemáticaIntegração de Aplicações EmpresariaisRedes de Petri TemporizadasQualidade de ServiçoModelo de Simulação Computacional105 f.O mercado dinâmico e altamente competitivo faz com que as empresas se esforcem na busca pela qualidade, condição fundamental para uma organização que visa expandir seus negócios. Com isso, a Tecnologia de Informação, tornou-se um importante diferencial, pois auxilia no gerenciamento do negócio, agiliza e facilita a tomada de decisão. A medida que a empresa cresce, são adquiridas novas aplicações para atender novas demandas de negócios, muitas dessas aplicações nem sempre têm a mesma linguagem e plataforma de operação gerando, por sua vez, um emaranhado de aplicações distintas com fins específicos e sem comunicação umas com as outras. Neste cenário, surge a área de Integração de Aplicações Empresariais, termo do inglês Enterprise Application Integration (EAI), que busca proporcionar metodologias, técnicas e ferramentas para a concepção e a implementação de soluções de integração. Uma solução de integração tem o objetivo de orquestrar um conjunto de aplicações para mantê-las sincronizadas ou proporcionar novas funcionalidades que possam ser construídas a partir daquelas já existentes. Este trabalho tem por objetivo desenvolver um modelo formal de simulação utilizando redes de Petri Temporizadas a partir de um modelo conceitual de reservas de viagem. O modelo conceitual utilizado como caso de estudo foi projetado utilizando a tecnologia Guaraná. Este trabalho busca encontrar o tempo mínimo e máximo que uma mensagem leva para ser processada na solução de integração antes que ela seja implementada e implantada. Com isso, é possível identificar níveis de qualidade de serviço sem que haja a necessidade de implementar a solução, baseando-se apenas, na estrutura atual do modelo conceitual. O modelo formal desenvolvido foi simulado em cenários críticos de operação, utilizando cargas de entrada diferentes usando a ferramenta CPN Tools. Neste trabalho são utilizadas técnicas formais de verificação presentes na literatura para demonstrar a equivalência entre o modelo conceitual e o modelo de simulação.2017-12-05T18:57:56Z20172017-12-05T18:57:56Z2017-12-05info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttps://bibliodigital.unijui.edu.br/items/ac4ac87f-7b4a-4447-9e59-09fbb1bdaa25Silveira, Francisco daporreponame:Repositório Institucional da UNIJUIinstname:Universidade Regional do Noroeste do Estado do Rio Grande do Sul (UNIJUI)instacron:UNIJUIinfo:eu-repo/semantics/openAccess2025-04-30T18:27:11Zoai:bibliodigital.unijui.edu.br:123456789/4684Repositório InstitucionalPUBhttps://bibliodigital.unijui.edu.br:8443/oai/requestbiblio@unijui.edu.bropendoar:2025-04-30T18:27:11Repositório Institucional da UNIJUI - Universidade Regional do Noroeste do Estado do Rio Grande do Sul (UNIJUI)false |
| dc.title.none.fl_str_mv |
Modelo de simulação computacional Para análise da qualidade de serviço de uma solução de integração de reserva de viagens utilizando redes de Petri temporizadas |
| title |
Modelo de simulação computacional Para análise da qualidade de serviço de uma solução de integração de reserva de viagens utilizando redes de Petri temporizadas |
| spellingShingle |
Modelo de simulação computacional Para análise da qualidade de serviço de uma solução de integração de reserva de viagens utilizando redes de Petri temporizadas Silveira, Francisco da Ciências exatas e da terra Modelagem matemática Integração de Aplicações Empresariais Redes de Petri Temporizadas Qualidade de Serviço Modelo de Simulação Computacional |
| title_short |
Modelo de simulação computacional Para análise da qualidade de serviço de uma solução de integração de reserva de viagens utilizando redes de Petri temporizadas |
| title_full |
Modelo de simulação computacional Para análise da qualidade de serviço de uma solução de integração de reserva de viagens utilizando redes de Petri temporizadas |
| title_fullStr |
Modelo de simulação computacional Para análise da qualidade de serviço de uma solução de integração de reserva de viagens utilizando redes de Petri temporizadas |
| title_full_unstemmed |
Modelo de simulação computacional Para análise da qualidade de serviço de uma solução de integração de reserva de viagens utilizando redes de Petri temporizadas |
| title_sort |
Modelo de simulação computacional Para análise da qualidade de serviço de uma solução de integração de reserva de viagens utilizando redes de Petri temporizadas |
| author |
Silveira, Francisco da |
| author_facet |
Silveira, Francisco da |
| author_role |
author |
| dc.contributor.author.fl_str_mv |
Silveira, Francisco da |
| dc.subject.por.fl_str_mv |
Ciências exatas e da terra Modelagem matemática Integração de Aplicações Empresariais Redes de Petri Temporizadas Qualidade de Serviço Modelo de Simulação Computacional |
| topic |
Ciências exatas e da terra Modelagem matemática Integração de Aplicações Empresariais Redes de Petri Temporizadas Qualidade de Serviço Modelo de Simulação Computacional |
| description |
105 f. |
| publishDate |
2017 |
| dc.date.none.fl_str_mv |
2017-12-05T18:57:56Z 2017 2017-12-05T18:57:56Z 2017-12-05 |
| 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 |
https://bibliodigital.unijui.edu.br/items/ac4ac87f-7b4a-4447-9e59-09fbb1bdaa25 |
| url |
https://bibliodigital.unijui.edu.br/items/ac4ac87f-7b4a-4447-9e59-09fbb1bdaa25 |
| 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.format.none.fl_str_mv |
application/pdf |
| dc.source.none.fl_str_mv |
reponame:Repositório Institucional da UNIJUI instname:Universidade Regional do Noroeste do Estado do Rio Grande do Sul (UNIJUI) instacron:UNIJUI |
| instname_str |
Universidade Regional do Noroeste do Estado do Rio Grande do Sul (UNIJUI) |
| instacron_str |
UNIJUI |
| institution |
UNIJUI |
| reponame_str |
Repositório Institucional da UNIJUI |
| collection |
Repositório Institucional da UNIJUI |
| repository.name.fl_str_mv |
Repositório Institucional da UNIJUI - Universidade Regional do Noroeste do Estado do Rio Grande do Sul (UNIJUI) |
| repository.mail.fl_str_mv |
biblio@unijui.edu.br |
| _version_ |
1841451853033766912 |