Submitted by Maria Cristina (library@lncc.br) on 2017-05-03T14:14:27Z No. of bitstreams: 1 Dissertacao.pdf: 824609 bytes, checksum: 3fd1774255594b6d69f7fe7522aec9a2 (MD5) / Approved for entry into archive by Maria Cristina (library@lncc.br) on 2017-05-03T14:14:53Z (GMT) No. of bitstreams: 1 Dissertacao.pdf: 824609 bytes, checksum: 3fd1774255594b6d69f7fe7522aec9a2 (MD5) / Made available in DSpace on 2017-05-03T14:15:03Z (GMT). No. of bitstreams: 1 Dissertacao.pdf: 824609 bytes, checksum: 3fd1774255594b6d69f7fe7522aec9a2 (MD5) Previous issue date: 2017-02-21 / Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do Rio de Janeiro (FAPERJ) / The study of bilevel optimization problems arouses particular interest given their ability to represent hierarchical decision structures, but the challenges in their resolution require the development of appropriate computational techniques. This work aims at the solution of a class of bilevel problems where the objective function in the follower agent is linear or quadratic in the follower variables and linear constraints may be present. With the use of the Karush-Kuhn-Tucker conditions, it was verified the possibility of solving the follower level as a linear complementarity problem, giving rise to a nested approach. In this approach, the follower response is obtained by Lemke's algorithm, while the leader level is treated with the differential evolution metaheuristic, in view of its good results and great generality. The proposed technique is submitted to a test-set using instances from the literature, as well as others, proposed in this work, with the intent of validating the use of Lemke's algorithm in the follower level, and study its computational performance. / O estudo do problema de otimização em dois níveis desperta particular interesse dada sua capacidade de representar estruturas hierárquicas de decisão, mas as dificuldades na sua resolução exigem o desenvolvimento de técnicas computacionais adequadas. Este trabalho tem como foco a solução de uma classe de problemas em dois níveis onde a função objetivo do agente seguidor é linear ou quadrática nas variáveis do seguidor e com restrições lineares. Utilizando-se então as condições de Karush-Kuhn-Tucker, verificou-se a possibilidade de resolução do nível do seguidor como um problema de complementaridade linear, dando origem a uma abordagem aninhada. Nesta, a resposta do seguidor é obtida pelo algoritmo de Lemke, enquanto o nível do líder é tratado pela metaheurística evolução diferencial, tendo em vista os bons resultados desta e sua grande generalidade. A técnica proposta é submetida a um conjunto de testes utilizando instâncias da literatura bem como outras, propostas neste trabalho, com o objetivo de validar a utilização do algoritmo de Lemke e estudar seu desempenho computacional.

Submitted by Samira Prince (prince@ufpa.br) on 2012-05-22T14:49:02Z No. of bitstreams: 2 Dissertacao_ArcaboucoAprovisionamentoQos.pdf: 2402283 bytes, checksum: 538c75b15b62e851587e9c898048d628 (MD5) license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) / Approved for entry into archive by Samira Prince(prince@ufpa.br) on 2012-05-22T14:49:50Z (GMT) No. of bitstreams: 2 Dissertacao_ArcaboucoAprovisionamentoQos.pdf: 2402283 bytes, checksum: 538c75b15b62e851587e9c898048d628 (MD5) license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) / Made available in DSpace on 2012-05-22T14:49:50Z (GMT). No. of bitstreams: 2 Dissertacao_ArcaboucoAprovisionamentoQos.pdf: 2402283 bytes, checksum: 538c75b15b62e851587e9c898048d628 (MD5) license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Previous issue date: 2011 / Recentemente a sociedade está vivendo em meio a um aglomerado de dispositivos móveis com múltiplas interfaces sem fio que permitem que clientes móveis domésticos e corporativos solucionem problemas rotineiros no menor espaço de tempo e em diversas localizações. Por outro lado, a disponibilidade de diversas tecnologias de acesso sem fio como: Wi-Fi (Wireless Fidelity), WiMAX (Worldwide Interoperability for Microwave Access) e LTE (Long Term Evolution), proporcionam um cenário heterogêneo com diversas oportunidades de conectividade para o usuário de dispositivos com múltiplas interfaces. Alguns dos desafios atuais no contexto da concepção da então denominada NGN (Next Generation Networks) são o desenvolvimento de arcabouços e mecanismos que viabilizem tanto o suporte adequado à Qualidade de Serviço (QoS – Quality of Service) e à Qualidade de Experiência (QoE – Quality of Experience) para aplicações multimídia, quanto a garantia de equidade entre vazões de diferentes aplicações em ambiente heterogêneo. Esta dissertação propõe um arcabouço para o aprovisionamento de QoS e QoE em redes sem fio heterogêneas formada por redes WiMAX e Wi-Fi. Especificamente, nossa solução provê mapeamento estático de QoS entre as classes de serviços WiMAX e categorias de acesso Wi-Fi. Além disso, nossa proposta também combina funcionalidades de equidade entre vazões com a solução de mapeamento, a fim de alcançar um bom compromisso tanto para o operador da rede, quanto para o usuário, através de uma nova metodologia de coleta e calculo de vazão agregada e algoritmo de decisão de handover vertical. A avaliação quantitativa da proposta foi realizada através de modelos de simulação no ns-2 (Network Simulator). Os resultados de desempenho demonstram a eficiência da arquitetura em termos de métricas de QoS (vazão, vazão média e atraso) e QoE (PSRN - Peak Signal to Noise Ratio, SSIM - Structural Similarity Index e VQM - Video Quality Metric). / Recently, the society is living amid an agglomerate of mobile devices with multiple wireless interfaces that allow mobile customers home and business solve routine problems in the shortest time and in several locations. On the other hand, the availability of various wireless access technologies such as Wireless Fidelity (Wi-Fi), Worldwide Interoperability for Microwave Access (WiMAX) and Long Term Evolution (LTE), provide a heterogeneous scenario with several connectivity opportunities for the user of devices with multiple interfaces. Some of the current challenges in framing the so called Next Generation Networks (NGN) are the development of frameworks and mechanisms that enable both adequate support for Quality of Service (QoS) and Quality of Experience (QoE) for multimedia applications, and assurance equity among throughputs of different applications in a heterogeneous environment. This dissertation proposes a framework for provisioning of QoS and QoE in heterogeneous wireless networks consisting of WiMAX and Wi-Fi networks. Specifically, our solution provides static mapping of QoS between classes of service WiMAX and access categories Wi-Fi. In addition, our proposal also combines features of equity among throughputs with the mapping solution in order to achieve a good tradeoff for both, for the network operator and for the user, through a new methodology for collection and calculation of aggregate throughput and algorithm for Vertical Handover Decision (VHD). The quantitative evaluation of the proposal was carried out using simulation models in Network Simulator (NS-2). The performance results demonstrate the efficiency of the framework in terms of QoS (throughput, average throughput and delay) and QoE (Peak Signal to Noise Ratio, Structural Similarity Index and Video Quality Metric) metrics.

Submitted by Edisangela Bastos (edisangela@ufpa.br) on 2012-04-12T18:33:05Z No. of bitstreams: 2 Dissertacao_AvaliacaoDesempenhoAlgoritmos.pdf: 2616312 bytes, checksum: 47401e6ab97b0d107ce3c06dd44ba839 (MD5) license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) / Approved for entry into archive by Edisangela Bastos(edisangela@ufpa.br) on 2012-04-12T18:33:58Z (GMT) No. of bitstreams: 2 Dissertacao_AvaliacaoDesempenhoAlgoritmos.pdf: 2616312 bytes, checksum: 47401e6ab97b0d107ce3c06dd44ba839 (MD5) license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) / Made available in DSpace on 2012-04-12T18:33:58Z (GMT). No. of bitstreams: 2 Dissertacao_AvaliacaoDesempenhoAlgoritmos.pdf: 2616312 bytes, checksum: 47401e6ab97b0d107ce3c06dd44ba839 (MD5) license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Previous issue date: 2010 / Neste trabalho estudamos alguns algoritmos de alocação de comprimento de onda em redes ópticas WDM (Wavelength Division Multiplexing). O objetivo para estudar os algoritmos de alocação first-fit, least-used e most-used está baseado na estratégia adotada para estudar o Problema RWA. A estratégia toma como base a visão geral do problema que envolve os algoritmos de roteamento e os algoritmos de alocação de comprimento de onda, e tendo como métrica principal para seus resultados a probabilidade de bloqueio. Este trabalho apresenta uma visão diferenciada para o problema e considera-se que a alocação de comprimentos de onda se sobrepõe, em importância, à ação de roteamento em redes ópticas. Essa percepção ocorre quando se analisa o problema RWA a partir do critério clássico usado no estabelecimento de uma rota: a escolha do caminho mais curto entre a origem e o destino. Apesar da identificação de um caminho mais curto, isso não garante, em redes ópticas, que ele será o utilizado, pois é necessário que haja para aquele caminho, um comprimento de onda adequado. Foi utilizada uma ferramenta de simulação para redes WDM denominada OWNS para realizar uma análise do problema RWA. Os resultados obtidos são apresentados graficamente e em uma das simulações observou-se uma forte tendência de queda na probabilidade de bloqueio e uma boa vazão no trafego da rede com isso possibilitando um aumento na capacidade de transmissão da rede. Por fim, este texto apresenta uma discussão sobre os diferenciais e limitações deste trabalho, e apresenta direcionamentos para investigações futuras neste campo de estudo. / In this work we studied Routing and Wavelength Assignment (RWA) algorithms on Wavelength Division Multiplexing Optical Networks. The objective to study the allocation algorithms first-fit, least-used and most-used is based on the strategy used to study the RWA Problem. The strategy builds on the overview of the problem involving the routing algorithms and algorithms for allocating wavelength, and having as a key metric for its blocking probability results. This paper presents a different perspective to the problem and believes that the allocation of wavelengths overlaps in importance to the action of routing in optical networks. This perception occurs when analyzing the problem RWA from the traditional criterion used in establishing a route: choosing the shortest path between origin and destination. Despite the identification of a shortest path is no guarantee in optical networks, it will be used, as is needed for that path, a wavelength appropriate. We used a simulation tool for WDM networks OWNS called to perform an analysis of the RWA problem. The results are presented graphically and in one of the simulations we observed a strong trend towards decrease in blocking probability and a good flow of traffic on the network thereby enabling an increase in transmission capacity of the network. Finally, this paper presents a discussion of the differences and limitations of this work and presents future research directions in this field of study.

Made available in DSpace on 2014-12-17T15:47:46Z (GMT). No. of bitstreams: 1 KatianeRL.pdf: 489064 bytes, checksum: 41384102e2da87fcb34b32c311dab535 (MD5) Previous issue date: 2004-04-16 / Na computa??o cient?fica ? necess?rio que os dados sejam o mais precisos e exatos poss?vel, por?m a imprecis?o dos dados de entrada desse tipo de computa??o pode estar associada ?s medidas obtidas por equipamentos que fornecem dados truncados ou arredondados, fazendo com que os c?lculos com esses dados produzam resultados imprecisos. Os erros mais comuns durante a computa??o cient?fica s?o: erros de truncamentos, que surgem em dados infinitos e que muitas vezes s?o truncados", ou interrompidos; erros de arredondamento que s?o respons?veis pela imprecis?o de c?lculos em seq??ncias finitas de opera??es aritm?ticas. Diante desse tipo de problema Moore, na d?cada de 60, introduziu a matem?tica intervalar, onde foi definido um tipo de dado que permitiu trabalhar dados cont?nuos,possibilitando, inclusive prever o tamanho m?ximo do erro. A matem?tica intervalar ? uma sa?da para essa quest?o, j? que permite um controle e an?lise de erros de maneira autom?tica. Por?m, as propriedades alg?bricas dos intervalos n?o s?o as mesmas dos n?meros reais, apesar dos n?meros reais serem vistos como intervalos degenerados, e as propriedades alg?bricas dos intervalos degenerados serem exatamente as dos n?meros reais. Partindo disso, e pensando nas t?cnicas de especifica??o alg?brica, precisa-se de uma linguagem capaz de implementar uma no??o auxiliar de equival?ncia introduzida por Santiago [6] que ``simule" as propriedades alg?bricas dos n?meros reais nos intervalos. A linguagem de especifica??o CASL, Common Algebraic Specification Language, [1] ? uma linguagem de especifica??o alg?brica para a descri??o de requisitos funcionais e projetos modulares de software, que vem sendo desenvolvida pelo CoFI, The Common Framework Initiative [2] a partir do ano de 1996. O desenvolvimento de CASL se encontra em andamento e representa um esfor?o conjunto de grandes expoentes da ?rea de especifica??es alg?bricas no sentido de criar um padr?o para a ?rea. A disserta??o proposta apresenta uma especifica??o em CASL do tipo intervalo, munido da aritm?tica de Moore, afim de que ele venha a estender os sistemas que manipulem dados cont?nuos, sendo poss?vel n?o s? o controle e a an?lise dos erros de aproxima??o, como tamb?m a verifica??o alg?brica de propriedades do tipo de sistema aqui mencionado. A especifica??o de intervalos apresentada aqui foi feita apartir das especifica??es dos n?meros racionais proposta por Mossakowaski em 2001 [3] e introduz a no??o de igualdade local proposta por Santiago [6, 5, 4]

Submitted by Algacilda Conceição (algacilda@sibi.ufrj.br) on 2018-03-26T15:35:35Z No. of bitstreams: 1 38068.pdf: 674548 bytes, checksum: eaf0ac625b3c867a529c8633a152972a (MD5) / Made available in DSpace on 2018-03-26T15:35:35Z (GMT). No. of bitstreams: 1 38068.pdf: 674548 bytes, checksum: eaf0ac625b3c867a529c8633a152972a (MD5) Previous issue date: 1973-12 / Uma propriedade interessante é provada para árvore de Huffman. Quaisquer dois elementos de pesos ai e bi filhos de um mesmo pai tem a seguinte propriedade: se bi ≥ ai então Wm ≤ ai ou Wm ≥ bi onde Wm é o peso de qualquer nó da árvore. Baseado nesta propriedade, um algoritmo foi desenvolvido para atualizar dinamicamente uma árvore de Huffman, à medida que os pesos dos seus nós terminais variam. Utilizando-se este algoritmo, um modelo de um sistema adaptativo para compressão de dados foi implementado. Simulações efetuadas com diversos tipos de dados levaram a resultados interessantes. / An interesting property is proven for Huffman's tree. Any two elements with weights ai and bi sons of a same father have the following property: if bi ≥ ai then Wm ≤ ai or Wm ≥ bi where Wm is the weight of any node of the tree. Based on this property, an algorithm is developed to dynamically update Huffman's tree as weights of terminal nodes change. Using this algorithm, a model of an adaptive system for data compression is developed. Simulation using many types of data led to interesting results.

Submitted by Algacilda Conceição (algacilda@sibi.ufrj.br) on 2018-03-26T17:27:54Z No. of bitstreams: 1 134602.pdf: 1099141 bytes, checksum: 69c51978fab49180b1d4fc4950f628a6 (MD5) / Made available in DSpace on 2018-03-26T17:27:54Z (GMT). No. of bitstreams: 1 134602.pdf: 1099141 bytes, checksum: 69c51978fab49180b1d4fc4950f628a6 (MD5) Previous issue date: 1973-11 / Apresentamos o desenvolvimento da teoria de processos estocásticos aplicada a sistemas de paginação, e ao final do estudo formulamos um algoritmo de paginação. Primeiro tomamos algumas propriedades de álgebra, e com elas desenvolvemos a teoria necessária à interpretação matemática das cadeias de páginas que ligam duas páginas do programa no computador. A seguir notando a aleatoriedade como fator preponderante na estrutura desenvolvida, apresentamos alguns resultados que explicam a lei de formação dessas cadeias. Então introduzimos os conceitos de tempo médio de absorção, tempo médio de primeira passagem, desenvolvendo resultados que julgamos serem necessários à evolução natural do estudo. Aplicamos esses resultados a um processo de Markov particular que é o random walk no círculo, com o propósito de obter informações sobre as leis de formação de cadeias para esse caso particular, objetivando ter condições que nos permitirão formular um algoritmo de paginação. / We introduce the development of the theory of stochastic process as applied to paging systems, and at the end of the study we formulate a paging algorithm. First we borrow some properties of algebra, and with these results we develop the necessary theory to the mathematical interpretation of the chains of pages that link two given pages of the program in the computer. Then noticing randomnes as a main factor in the developed structure, we introduce some result that explain the law of formation of these chains. There after, we introduce the concepts of mean first passage time, mean absorption, time, and results we deem necessary to the studies natural evolution. We apply these results to a particular Markov chain namely the random walk in the circle, aiming to get informations about the chain formation laws for this particular case, results whereon we will be able to formulate a paging algorithm.

Submitted by Algacilda Conceição (algacilda@sibi.ufrj.br) on 2018-03-27T17:11:40Z No. of bitstreams: 1 133673.pdf: 3470290 bytes, checksum: 6623610e1129ecaebd9023baa80a18cc (MD5) / Made available in DSpace on 2018-03-27T17:11:40Z (GMT). No. of bitstreams: 1 133673.pdf: 3470290 bytes, checksum: 6623610e1129ecaebd9023baa80a18cc (MD5) Previous issue date: 1973-10 / Descreve a arquitetura de um pequeno computador realizado com base num processador monolítico e sua simulação. Primeiramente estabelece-se os circuitos externos ao processador necessários ao seu funcionamento. Em seguida mostra-se um simulador que executa instruções dadas em sua forma binária. O usuário pode definir dentro do simulador a organização da memória, dos periféricos e do sistema de interrupção. Finalmente descreve-se a implementação do computador. / Describes an architecture for a small computer using a microprocessor as its central processing unit. In the first part of the work it is established the necessary external logic circuits for the microprocessor. The second part presents a simulator that executes instructions given in binary form. The user may define the memory, peripherals and interrupt system organization inside the simulator. Finally it is described the implementation of the computer.

Submitted by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-02-05T13:07:49Z No. of bitstreams: 1 Dissertação - Petrina Kimura.pdf: 6170367 bytes, checksum: efa4d4fa978c23e41b25ae1b997e5e53 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-02-05T13:08:16Z (GMT) No. of bitstreams: 1 Dissertação - Petrina Kimura.pdf: 6170367 bytes, checksum: efa4d4fa978c23e41b25ae1b997e5e53 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-02-05T13:08:47Z (GMT) No. of bitstreams: 1 Dissertação - Petrina Kimura.pdf: 6170367 bytes, checksum: efa4d4fa978c23e41b25ae1b997e5e53 (MD5) / Made available in DSpace on 2016-02-05T13:08:47Z (GMT). No. of bitstreams: 1 Dissertação - Petrina Kimura.pdf: 6170367 bytes, checksum: efa4d4fa978c23e41b25ae1b997e5e53 (MD5) Previous issue date: 2011-05-02 / FAPEAM - Fundação de Amparo à Pesquisa do Estado do Amazonas / Advances in multimedia technology led to a large increase in the number of images digital, in consequence, also grew? ä need for m? ethods and more ef fective cient and to store and retrieve this count? udo multimedia ?? edia. Most m? Proposed ethods alcan in literature? Çam high n ?? íveis of and insufficiency and effi c? CFIA (the top 70% accuracy) however most of them perform experiments using small images bases (less 10,000 images), previously classi fied in good ned categories, thus facilitating search task and consequently increasing ní ?? ble accuracy of the evaluated descriptors. On the other hand, when these m? Ethods are evaluated in large paste? Heterogeneous tions, Ni vel ?? accuracy? and relatively low. Thinking about this problem, this dissertation? Tion proposes the descriptor Location Color Pixel Classi cation (LCPC), an m? Ethod based on local analysis to search from large pictures basis. The proposed approach extracts character ?? color ísticas, classifi ing the pixels as border or inside using the same classi scheme is? tion of m? ethod Border / Interior Pixel Classication (BIC), by? are a simple partitioning scheme, but too much and cient and effi cient to incorporate spatial information about the contents? Udo visual image. Experiments were conducted using three bases of images, including one with more than 100,000 images collected from the Web. The results show that the proposed approach? And much higher when compared with other visual descriptors presented previously in literature, with gains in average accuracy of 51% till is 105% / Os avanços em tecnologia multimídia ocasionou um grande crescimento da quantidade de imagens digitais, em consequência disso, cresceu também a necessidade de métodos mais eficazes e eficientes para armazenar e recuperar esse conteúdo multimídia. A maioria dos métodos propostos na literatura alcançam altos níveis de eficiência e eficácia (a cima de 70% de precisão), entretanto grande parte delas executam experimentos usando bases de imagens pequenas (menos de 10.000 imagens), previamente classificadas em categorias bem de nidas, facilitando assim a tarefa de busca e, consequentemente aumentando os níveis de precisão dos descritores avaliados. Por outro lado, quando esses métodos são avaliados em grandes coleções heterogêneas, o nível de precisão e relativamente baixo. Pensando nesse problema, esta dissertação propõe o descritor Local Color Pixel Classication (LCPC), um método baseado em análise local para busca em grandes bases de imagens. A abordagem proposta extrai características de cor, classificando os pixels como borda ou interior, usando o mesmo esquema de classificação do método Border/Interior Pixel Classication (BIC), através de um esquema de particionamento simples, mas muito eficiente e eficaz para incorporar informações espaciais sobre o conteúdo visual da imagem. Experimentos foram conduzidos usando três bases de imagens, incluindo uma com mais de 100.000 imagens coletadas da Web. Os resultados obtidos mostram que a abordagem proposta e bastante superior quando comparado com outros descritores visuais previamente apresentados na literatura, com ganhos em precisão média de 51% até 105%

Made available in DSpace on 2016-08-17T14:52:51Z (GMT). No. of bitstreams: 1 Samyr Beliche Vale.pdf: 1271783 bytes, checksum: 3556a7f5490acfc5fdf7431663fba9fc (MD5) Previous issue date: 2004-03-10 / This paper presents a methodology for integrating business applications with Web services through the creation of meta-models in MDA. This methodology covers steps for the integration process and presents an architecture based on semantic middlware to integrate legacy applications. / Este trabalho apresenta uma metodologia para integração de aplicações empresariais com web services através da criação de meta-modelos em MDA. Esta metodologia abrange fases para o processo de integração e apresenta uma arquitetura baseada em middlware semântico para integrar aplicações legadas.

Made available in DSpace on 2016-08-17T14:53:02Z (GMT). No. of bitstreams: 1 Johnneth de Sene Fonseca.pdf: 2018093 bytes, checksum: 11dbbd37120eed762761ac62a54985ab (MD5) Previous issue date: 2009-02-16 / The constant evolution of technologies used in mobile devices has increased its capabilities with respect to its storage, processing and transmission of data, including more of one kind of technology transfer in a single device, and also access Internet more efficiently. These factors have a greater number of applications and services may be provided therein. With this came the need to find a model for developing services and making them available more quickly and efficient, and that data is transmitted more securely. One of the best options currently existing are the SOAS (Services Oriented Architecture) a development model in great evidence today. The aim of this dissertation is present a framework that allows the development of SOA in the mobile environment, giving the developer all the tools necessary for provision of services in this type of environment. A tool for the use of security mechanism for the Framework is also proposed. / A constante evolução das tecnologias utilizadas em dispositivos móveis permitiu o aumento das suas capacidades no que diz respeito ao seu armazenamento, processamento e transmissão de dados, inclusive com mais de um tipo de tecnologia de transmissão em um mesmo dispositivo, e também do acesso a internet de forma mais eficiente. Estes fatores permitiram que um maior número de aplicações e serviços possam ser disponibilizados neles. Com isso surgiu a necessidade de se encontrar um modelo de desenvolvimento de serviços para os dispositivos móveis e sua disponibilização de forma mais rápida e eficiente, além de que os dados sejam transmitidos de forma segura. Uma das melhores opções existentes atualmente são os SOAs (Arquitetura Orientada a Serviços), um modelo de desenvolvimento em grande evidência atualmente. Esta dissertação visa apresentar um Framework que permite o desenvolvimento de SOA no ambiente móvel, dando ao desenvolvedor todas as ferramentas necessárias para provisão de serviços neste tipo de ambiente. Também é proposta uma ferramenta para o uso de mecanismo de segurança pelo Framework.