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
Autor(a) principal: | |
---|---|
Data de Publicação: | 2017 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Repositório Institucional da UNIJUI |
Texto Completo: | http://bibliodigital.unijui.edu.br:8080/xmlui/handle/123456789/4684 |
Resumo: | 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. |
id |
UNIJ_19cc6cd08360d9d16f5b82d5699624bf |
---|---|
oai_identifier_str |
oai:bibliodigital.unijui.edu.br:123456789/4684 |
network_acronym_str |
UNIJ |
network_name_str |
Repositório Institucional da UNIJUI |
spelling |
info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisModelo 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 temporizadas2017-12-0520172017-12-05T18:57:56Z2017-12-05T18:57:56ZO 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.105 f.Ciências exatas e da terraModelagem matemáticaIntegração de Aplicações EmpresariaisRedes de Petri TemporizadasQualidade de ServiçoModelo de Simulação Computacionalhttp://bibliodigital.unijui.edu.br:8080/xmlui/handle/123456789/4684DMD_hdl_123456789/4684Silveira, Francisco daporreponame:Repositório Institucional da UNIJUIinstname:Universidade Regional do Noroeste do Estado do Rio Grande do Sulinstacron:UNIJUIinfo:eu-repo/semantics/openAccessFrancisco%20da%20Silveira.pdfhttp://bibliodigital.unijui.edu.br:8080/xmlui/bitstream/123456789/4684/1/Francisco%20da%20Silveira.pdfapplication/pdf2562017http://bibliodigital.unijui.edu.br:8080/xmlui/bitstream/123456789/4684/1/Francisco%20da%20Silveira.pdf162d1642f16bd6a4d5b6740500942e32MD5123456789_4684_12019-01-21T12:45:36Zmail@mail.com - |
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 |
dc.description.abstract.none.fl_txt_mv |
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. 105 f. |
description |
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. |
publishDate |
2017 |
dc.date.issued.fl_str_mv |
2017-12-05 |
dc.date.available.fl_str_mv |
2017 2017-12-05T18:57:56Z |
dc.date.accessioned.fl_str_mv |
2017-12-05T18:57:56Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/masterThesis |
status_str |
publishedVersion |
format |
masterThesis |
dc.identifier.uri.fl_str_mv |
http://bibliodigital.unijui.edu.br:8080/xmlui/handle/123456789/4684 DMD_hdl_123456789/4684 |
url |
http://bibliodigital.unijui.edu.br:8080/xmlui/handle/123456789/4684 |
identifier_str_mv |
DMD_hdl_123456789/4684 |
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.bitstream.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 instacron:UNIJUI |
reponame_str |
Repositório Institucional da UNIJUI |
collection |
Repositório Institucional da UNIJUI |
instname_str |
Universidade Regional do Noroeste do Estado do Rio Grande do Sul |
instacron_str |
UNIJUI |
institution |
UNIJUI |
repository.name.fl_str_mv |
-
|
repository.mail.fl_str_mv |
mail@mail.com |
_version_ |
1623416357638897664 |