Submitted by Setor de Tratamento da Informa??o - BC/PUCRS (tede2@pucrs.br) on 2016-06-10T17:54:29Z No. of bitstreams: 1 DIS_EDUARDO_MUXFELDT_BAZZANELLA_PARCIAL.pdf: 646869 bytes, checksum: 16bdf820f860fd332b5168d53f97a008 (MD5) / Made available in DSpace on 2016-06-10T17:54:29Z (GMT). No. of bitstreams: 1 DIS_EDUARDO_MUXFELDT_BAZZANELLA_PARCIAL.pdf: 646869 bytes, checksum: 16bdf820f860fd332b5168d53f97a008 (MD5) Previous issue date: 2016-02-29 / Analysis of the potential conflict of competence to enforce taxation over videos on demand over the Internet, between the tax Communication Services - ICMS-C, of state?s competence, and the Tax on Services of any kind - ISSQN of municipal?s competence. Review of the Fundamental Rights? evolution and the identification of ?virtual rights? as a new dimension. Appraisal of tax law as a mean to financing Fundamental Rights by tax fairness. Investigation of globalization?s influence on ecommerce taxation. Exam of tax law?s structure over software, telecommunications and video on demand in Comparative Law. Parallel between ICMS-C and ISSQN as potential taxes over video on demand. Reconnaissance of the inexistence of legal provision about the taxation over video on demand. Proposition of unconstitutionality of prospective tax rule that enforce taxation over video on demand only by the internet, differently of conventional form, given the unequal treatment of identical legal facts. / An?lise do potencial conflito de compet?ncia da tributa??o dos v?deos sob demanda pela Internet, entre o Imposto sobre Servi?os de Comunica??o ? ICMS-C, de compet?ncia estadual, e o Imposto sobre Servi?os de Qualquer Natureza ? ISSQN, de compet?ncia municipal. Revis?o da evolu??o dos Direitos Fundamentais e identifica??o da dimens?o de ?direitos virtuais? fundamentais. Aprecia??o do Direito Tribut?rio como instrumento de financiamento dos Direitos Fundamentais sob a ?tica da justi?a fiscal. Investiga??o da influ?ncia da globaliza??o e da Internet na abordagem tribut?ria do com?rcio eletr?nico. Exame do tratamento tribut?rio do software, de telecomunica??es e do v?deo sob demanda a partir de fontes de Direito Comparado. Compara??o entre o ICMS-C e ISSQN como potenciais imposi??es tribut?rias sobre o v?deo sob demanda. Verifica??o da inexist?ncia legislativa no que tange a tributa??o sobre o v?deo sob demanda pela Internet. Proposi??o de inconstitucionalidade de eventual norma tribut?ria que imponha tributa??o sobre o v?deo sob demanda apenas pela Internet, de forma diversa do v?deo sob demanda convencional, face ao tratamento desigual de fatos jur?dicos id?nticos.

Made available in DSpace on 2015-04-14T14:51:57Z (GMT). No. of bitstreams: 1 320321.pdf: 332986 bytes, checksum: dde2bcd4e42871cb3195cc016ebaa0e9 (MD5) Previous issue date: 2004-04-06 / Este trabalho faz uma an?lise das rela??es entre os construtos de confian?a, valor e lealdade, no contexto de servi?os. Baseado no modelo te?rico proposto por Sirdeshmukh, Singh e Sabol (2002), as rela??es propostas s?o observadas para a situa??o de troca estabelecida entre o setor de Educa??o a Dist?ncia da Pontif?cia Universidade Cat?lica do Rio Grande do Sul, a PUCRS VIRTUAL, e seus alunos. Por meio da realiza??o de uma survey com uma amostra de 427 alunos dos cursos de p?s-gradua??o lato sensu, dos anos de 2002 e 2003 da PUCRS VIRTUAL p?de-se identificar a exist?ncia de rela??es entre a confian?a, o valor e a lealdade, bem como, observou-se um bom ajustamento do modelo te?rico proposto para a amostra pesquisada. As hip?teses centrais do estudo propunham as rela??es de influ?ncia positiva entre a confian?a nos funcion?rios de contato e nas pol?ticas e pr?ticas gerenciais, o valor e a lealdade. Os resultados obtidos identificaram uma forte rela??o entre a percep??o de valor e a inten??o de lealdade, bem como uma influ?ncia direta e significativa da confian?a nas pr?ticas e pol?ticas gerenciais da institui??o para a manuten??o de relacionamentos duradouros. Por outro lado, a confian?a nos funcion?rios de contato n?o apresentou influ?ncia direta no valor percebido e na inten??o de lealdade para os alunos da educa??o a dist?ncia da PUCRS. Os resultados apresentaram-se, na sua maioria, de acordo com o esperado e com a revis?o de literatura, sendo muitos deles semelhantes aos encontrados em trabalhos anteriores realizados no Brasil e no exterior. Implica??es acad?micas, gerenciais e sugest?es para pesquisas futuras s?o apresentadas baseadas nestes resultados

Made available in DSpace on 2015-04-14T14:52:02Z (GMT). No. of bitstreams: 1 407893.pdf: 1556786 bytes, checksum: 495dba9542a5956c7a4ea7d1d4669006 (MD5) Previous issue date: 2008-08-05 / Esta disserta??o tem por objetivo o estudo da lealdade do consumidor, tema este de grande relev?ncia e atualidade no meio acad?mico, o qual possui uma quantidade expressiva de pesquisas, bem como no meio empresarial, por representar uma das principais metas das empresas que ? a constru??o de relacionamentos de longo prazo com os seus consumidores. O estudo fundamenta-se na teoria do marketing de relacionamento e tem por objetivo o teste de um modelo te?rico proposto por Johnson, Herrmann e Huber (2006), o qual sofreu modifica??es atrav?s da inclus?o de dois construtos (comprometimento calculado e confian?a). Para isto, atrav?s de estudos anteriores, buscou-se a rela??o entre os construtos valor percebido, comprometimento afetivo, comprometimento calculado, confian?a e brand equity. Visando explicar o conceito de lealdade de uma forma mais abrangente, utilizou-se o composto formado pela dimens?o comportamental (inten??es de compra) e a dimens?o atitudinal (sentimentos). Os resultados obtidos atrav?s da t?cnica de modelagem de equa??es estruturais (SEM) confirmaram nove das onze hip?teses testadas. Os resultados comprovaram a exist?ncia do relacionamento entre os construtos valor percebido, comprometimento afetivo, brand equity e confian?a, e que todos os construtos influenciam na lealdade. Dentre as rela??es, a que se deu com maior intensidade foi o impacto direto do valor percebido sobre a lealdade. Implica??es acad?micas e gerenciais, limita??es do estudo e sugest?es para pesquisas futuras s?o abordadas no presente trabalho.

Made available in DSpace on 2015-03-03T15:47:47Z (GMT). No. of bitstreams: 1 HandersonBM_DISSERT.pdf: 2503077 bytes, checksum: f08293a045825a9e00bb41506f0ef6e5 (MD5) Previous issue date: 2013-07-17 / Web services are loosely coupled applications that use XML documents as a way of integrating distinct systems on the internet. Such documents are used by in standards such as SOAP, WSDL and UDDI which establish, respectively, integrated patterns for the representation of messages, description, and publication of services, thus facilitating the interoperability between heterogeneous systems. Often one single service does not meet the users needs, therefore new systems can be designed from the composition of two or more services. This which is the design goal behind the of the Service Oriented Architecture. Parallel to this scenario, we have the PEWS (Predicate Path-Expressions for Web Services) language, which speci es behavioural speci cations of composite web service interfaces.. The development of the PEWS language is divided into two parts: front-end and back-end. From a PEWS program, the front-end performs the lexical analysis, syntactic and semantic compositions and nally generate XML code. The function of the back-end is to execute the composition PEWS. This master's dissertation work aims to: (i) reformulate the proposed architecture for the runtime system of the language, (ii) Implement the back-end for PEWS by using .NET Framework tools to execute PEWS programs using the Windows Work ow Foundation / Servi?os web s?o aplica??es de baixo acoplamento que utilizam documentos XML como forma de integra??o de sistemas heterog?neos. Tais documentos s?o usados em especi fica??es como SOAP, WSDL e UDDI que estabelecem, respectivamente, padr?es integrados para a representa??o de mensagens, descri??o e publica??o de servi?os, facilitando assim, a interoperabilidade de sistemas heterog?neos. Muitas vezes um s? servi?o n?o atende ?s necessidades dos usu?rios, portanto, novos sistemas podem ser concebidos a partir da composi??o de dois ou mais servi?os, motivando o desenvolvimento da SOA - arquitetura orientada a servi?os.Paralelo a esse cen?rio, tem-se a linguagem PEWS (Predicate path-Expres-sions for Web Services), que especifi ca o comportamento de como opera??es de servi?os web s?o executadas em uma composi??o de servi?os. O desenvolvimento da linguagem PEWS ? dividido em duas partes: front-end e back-end. A partir de um programa PEWS, o front-end realiza a an?lise l?xica, sint?tica e sem?ntica das composi??es e por m gera c?digo XML. O backend tem como fun??o executar a composi??o PEWS. Este trabalho visa: (i) Implementar o back-end de PEWS mediante o uso de ferramentas do .Net Framework para executar programas PEWS usando a tecnologia Windows Work ow Foundation (ii) reformular a arquitetura proposta para o sistema de tempo de execu??o da linguagem.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2015-11-27T13:05:53Z No. of bitstreams: 1 DulcianMedeirosDeAzevedo_TESE.pdf: 787943 bytes, checksum: 1ec45887c19483e9c446ac956922e576 (MD5) / Approved for entry into archive by Elisangela Moura (lilaalves@gmail.com) on 2015-11-27T13:25:53Z (GMT) No. of bitstreams: 1 DulcianMedeirosDeAzevedo_TESE.pdf: 787943 bytes, checksum: 1ec45887c19483e9c446ac956922e576 (MD5) / Made available in DSpace on 2015-11-27T13:25:53Z (GMT). No. of bitstreams: 1 DulcianMedeirosDeAzevedo_TESE.pdf: 787943 bytes, checksum: 1ec45887c19483e9c446ac956922e576 (MD5) Previous issue date: 2014-08-15 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior - CAPES / No contexto da Reforma Psiqui?trica brasileira, velhos e novos obst?culos surgem, a despeito da reprodu??o de pr?ticas manicomiais nos servi?os substitutivos, da aus?ncia de di?logo entre CAPS e aten??o b?sica, dos Servi?os de Urg?ncia e Emerg?ncia Psiqui?trica insuficientes (quantidade e resolutividade), do aumento no uso e depend?ncia de drogas, da forma??o inadequada de profissionais, etc. Neste processo, a proposta de estudos avaliativos ?, consideravelmente, pertinente e atual frente ?s dificuldades e problemas apresentados. A qualidade da assist?ncia passa a ser destaque no setor p?blico, pois integra direitos sociais das pol?ticas p?blicas do Estado pela popula??o. Por isso, a preocupa??o com a pr?tica avaliativa tem crescido nos ?ltimos anos, relacionada ? oferta dos servi?os, aumento de custos e incorpora??o crescente de tecnologia no tratamento de doen?as. Esta pesquisa parte da seguinte quest?o norteadora: Qual a interfer?ncia dos componentes estrutura e processo na assist?ncia em sa?de mental prestada nos Centros de Aten??o Psicossocial (CAPS)? Com isso, objetivou-se desenvolver dois instrumentos de pesquisa em sa?de mental, relacionados ? estrutura e processo da qualidade da assist?ncia em sa?de nos CAPS. Estudo transversal, metodol?gico, com abordagem quantitativa, desenvolvido entre agosto e dezembro de 2013, em duas etapas. Foi aprovado pelo Comit? de ?tica e Pesquisa da Universidade Federal do Grande do Norte (CEP-UFRN / CAAE - 12288313.8.0000.5292), respeitando a normatiza??o da Resolu??o 466/2012, no que se refere aos aspectos ?ticos da realiza??o da pesquisa envolvendo seres humanos. A primeira etapa contemplou a elabora??o dos instrumentos de pesquisa, constru?dos com base no referencial da Pol?tica Nacional de Sa?de Mental: Check-List Qualidade da Assist?ncia em Sa?de no CAPS, relacionado ? estrutura e processo; e Escala Qualidade da Assist?ncia em Sa?de no CAPS, relacionada ? processo, mesmos itens do Check-list. O primeiro a ser aplicado mediante observa??o participante, com op??es de resposta ?ausente e presente?; o segundo atrav?s de entrevistas com profissionais de n?vel superior do servi?o, com op??es de resposta ?raramente, ?s vezes ou sempre?. Na segunda etapa, ju?zes foram contatados por correspond?ncia eletr?nica, em duas rodadas do m?todo Delphi. O levantamento do corpo de ju?zes ocorreu por meio de pesquisa na Plataforma Lattes, Conselho Nacional de Desenvolvimento Cient?fico e Tecnol?gico (CNPq), atrav?s de contatos eletr?nicos dispon?veis em artigos publicados e da indica??o dos pr?prios ju?zes (?snowball?). O formul?rio de avalia??o dos instrumentos foi submetido via online aos pesquisados, onde cada assertiva foi classificada como adequada ou inadequada, a partir de quatro crit?rios: relev?ncia/pertin?ncia; clareza/simplicidade; precis?o; e objetividade. Na primeira rodada foram convidados 267 ju?zes e 59 realizaram a avalia??o dos instrumentos. J? na segunda, 50 ju?zes avaliaram os instrumentos, representando um retorno de 85%. A an?lise de manuten??o dos itens nos instrumentos adotou o ?ndice Kappa ? 0,70 e o ?ndice de Validade de Conte?do (IVC) ? 0,80 na primeira rodada, e Kappa ? 0,80 e IVC ? 0,90 na segunda rodada. A maioria dos ju?zes era do sexo feminino (78%), com idade entre 36 e 55 anos (54%), residente na regi?o sudeste (40%), doutor (70%), enfermeiro (54%), com atua??o na doc?ncia e pesquisa (86%). Antes da valida??o, ambos os instrumentos possu?am 20 itens. O Check-list dividido em: estrutura f?sica (15 assertivas) e estrutura organizacional (cinco assertivas). A Escala para Profissionais: processo/atividades terap?uticas (oito assertivas), processo/gest?o do cuidado e servi?o (sete assertivas) e processo/atividades comunit?rias ou externas ao CAPS (cinco assertivas). Na primeira rodada, o Check-list recebeu seis exclus?es de assertivas e quatro novas sugest?es, totalizando 18 itens. A Escala recebeu sete exclus?es e quatro sugest?es de assertivas, perfazendo 17 itens. Na segunda rodada, somente o Check-list foi modificado, recebendo dois novos itens (total de 20). O desenvolvimento e constru??o dos dois instrumentos de pesquisa refor?am a import?ncia da tem?tica avaliativa no ?mbito dos servi?os p?blicos e da pol?tica de sa?de mental nacional. A composi??o dos instrumentos foi bem aceita pelos ju?zes, considerando os ?ndices de an?lise aplicados, sugerindo evid?ncias de valida??o de conte?do dos mesmos.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-01-20T20:41:23Z No. of bitstreams: 1 EvandoCarlosPessini_TESE.pdf: 1797248 bytes, checksum: e3b1bb46971f452029930068e9f8babf (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-01-21T18:18:20Z (GMT) No. of bitstreams: 1 EvandoCarlosPessini_TESE.pdf: 1797248 bytes, checksum: e3b1bb46971f452029930068e9f8babf (MD5) / Made available in DSpace on 2016-01-21T18:18:20Z (GMT). No. of bitstreams: 1 EvandoCarlosPessini_TESE.pdf: 1797248 bytes, checksum: e3b1bb46971f452029930068e9f8babf (MD5) Previous issue date: 2014-07-29 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior - CAPES / Esta tese apresenta um m?todo de certifica??o de composi??es de servi?os web sem?nticos, o qual visa assegurar estaticamente sua corre??o funcional. O m?todo de certifica??o consiste em duas dimens?es de verifica??o, denominadas base e funcional. A dimens?o base ? centrada na verifica??o da correta aplica??o dos servi?os web sem?nticos na composi??o, i.e., visa certificar que as invoca??es de servi?o especificadas na composi??o est?o em conformidade com as respectivas defini??es dos servi?os. A certifica??o desta dimens?o explora a compatibilidade sem?ntica entre os argumentos dados na invoca??o e os par?metros formais do servi?o web sem?ntico. A dimens?o funcional visa certificar que a composi??o cumpre uma dada especifica??o expressa na forma de pr? e p?s-condi??es. Esta dimens?o ? formalizada atrav?s de um c?lculo baseado na l?gica de Hoare. Especifica??es de corre??o parciais envolvendo composi??es de servi?os web sem?nticos podem ser derivadas a partir do sistema dedutivo proposto. Este trabalho caracteriza-se tamb?m por explorar o emprego de um fragmento da l?gica descritiva, i.e., ALC, para expressar as especifica??es de corre??o parciais. Como forma de operacionalizar o m?todo de certifica??o, foi desenvolvido um ambiente de suporte para a defini??o das composi??es de servi?os web sem?nticos, assim como os mecanismos necess?rios para realizar a certifica??o. O m?todo de certifica??o foi avaliado experimentalmente atrav?s da aplica??o em tr?s provas de conceito diferentes. As provas de conceito desenvolvidas possibilitaram avaliar de forma ampla o m?todo de certifica??o proposto / This thesis presents a certification method for semantic web services compositions which aims to statically ensure its functional correctness. Certification method encompasses two dimensions of verification, termed base and functional dimensions. Base dimension concerns with the verification of application correctness of the semantic web service in the composition, i.e., to ensure that each service invocation given in the composition comply with its respective service definition. The certification of this dimension exploits the semantic compatibility between the invocation arguments and formal parameters of the semantic web service. Functional dimension aims to ensure that the composition satisfies a given specification expressed in the form of preconditions and postconditions. This dimension is formalized by a Hoare logic based calculus. Partial correctness specifications involving compositions of semantic web services can be derived from the deductive system proposed. Our work is also characterized by exploiting the use of a fragment of description logic, i.e., ALC, to express the partial correctness specifications. In order to operationalize the proposed certification method, we developed a supporting environment for defining the semantic web services compositions as well as to conduct the certification process. The certification method were experimentally evaluated by applying it in three different proof concepts. These proof concepts enabled to broadly evaluate the method certification

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-01-26T17:46:31Z No. of bitstreams: 1 GustavoNogueiraAlves_DISSERT.pdf: 7390589 bytes, checksum: 622ffc2952552ee8688415a6acdb97f1 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-01-28T17:44:43Z (GMT) No. of bitstreams: 1 GustavoNogueiraAlves_DISSERT.pdf: 7390589 bytes, checksum: 622ffc2952552ee8688415a6acdb97f1 (MD5) / Made available in DSpace on 2016-01-28T17:44:43Z (GMT). No. of bitstreams: 1 GustavoNogueiraAlves_DISSERT.pdf: 7390589 bytes, checksum: 622ffc2952552ee8688415a6acdb97f1 (MD5) Previous issue date: 2015-01-28 / Conselho Nacional de Desenvolvimento Cient?fico e Tecnol?gico - CNPq / Computa??o em Nuvem ? um paradigma computacional que possibilita o acesso de forma simples e pervasiva, via rede, a recursos compartilhados e configur?veis de computa??o. Tais recursos s?o oferecidos sob demanda para o usu?rio atrav?s de um modelo de uso em que s? se paga pelo uso do recurso. Com o avan?o desse paradigma, um ?nico servi?o oferecido por uma plataforma de nuvem pode n?o ser suficiente para prover todos os requisitos dos clientes, sendo necess?rio uma composi??o de servi?os providos por diferentes plataformas de nuvem. No entanto, as plataformas de nuvem atuais n?o s?o implementadas usando padr?es comuns, cada uma possui sua pr?pria API e ferramenta de desenvolvimento, o que dificulta a cria??o da composi??o. Para facilitar a cria??o de composi??es existe o Cloud Integrator, uma plataforma de middleware orientada a servi?os que prov? um ambiente que facilita o desenvolvimento e a execu??o de aplica??es. Essas aplica??es s?o composi??es de servi?os de diferentes plataformas de nuvem e representadas atrav?s de workflows abstratos. No entanto, o Cloud Integrator possui algumas limita??es: (i) as aplica??es criadas s?o executadas localmente; (ii) usu?rios n?o podem especificar a aplica??o apenas pelas suas entradas e sa?das, e; (iii) os usu?rios n?o podem selecionar diretamente qual os servi?os que v?o executar as atividades do workflow. A fim de tratar essas limita??es, esse trabalho prop?e o Cloud Stratus, uma plataforma de middleware que estende o Cloud Integrator e oferece diferentes formas de especificar aplica??es, permitindo se definir um workflow abstrato ou fluxo de execu??o completo ou parcial. A plataforma possibilita a implanta??o da aplica??o em m?quinas virtuais na nuvem, de forma que v?rios usu?rios podem acess?-la atrav?s da Internet. O Cloud Stratus ainda realiza o acesso e gerenciamento de m?quinas virtuais de diferentes plataformas de nuvem e fornece mecanismos para monitoramento de servi?os e aferi??o de par?metros de QoS. A valida??o do Cloud Stratus ? realizada atrav?s de um estudo de caso que consiste de uma aplica??o que utiliza diversos servi?os de nuvem providos por diferentes plataformas de nuvem. O Cloud Stratus ainda ? avaliado atrav?s de experimentos computacionais que analisam o desempenho de seus processos. / Cloud Computing is a paradigm that enables the access, in a simple and pervasive way, through the network, to shared and configurable computing resources. Such resources can be offered on demand to users in a pay-per-use model. With the advance of this paradigm, a single service offered by a cloud platform might not be enough to meet all the requirements of clients. Ergo, it is needed to compose services provided by different cloud platforms. However, current cloud platforms are not implemented using common standards, each one has its own APIs and development tools, which is a barrier for composing different services. In this context, the Cloud Integrator, a service-oriented middleware platform, provides an environment to facilitate the development and execution of multi-cloud applications. The applications are compositions of services, from different cloud platforms and, represented by abstract workflows. However, Cloud Integrator has some limitations, such as: (i) applications are locally executed; (ii) users cannot specify the application in terms of its inputs and outputs, and; (iii) experienced users cannot directly determine the concrete Web services that will perform the workflow. In order to deal with such limitations, this work proposes Cloud Stratus, a middleware platform that extends Cloud Integrator and offers different ways to specify an application: as an abstract workflow or a complete/partial execution flow. The platform enables the application deployment in cloud virtual machines, so that several users can access it through the Internet. It also supports the access and management of virtual machines in different cloud platforms and provides services monitoring mechanisms and assessment of QoS parameters. Cloud Stratus was validated through a case study that consists of an application that uses different services provided by different cloud platforms. Cloud Stratus was also evaluated through computing experiments that analyze the performance of its processes.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-02-22T21:43:01Z No. of bitstreams: 1 MarcioAlvesDeMacedo_DISSERT.pdf: 2923226 bytes, checksum: e6a66719b01ddee0f70ac0a7f964923e (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-02-23T23:10:23Z (GMT) No. of bitstreams: 1 MarcioAlvesDeMacedo_DISSERT.pdf: 2923226 bytes, checksum: e6a66719b01ddee0f70ac0a7f964923e (MD5) / Made available in DSpace on 2016-02-23T23:10:23Z (GMT). No. of bitstreams: 1 MarcioAlvesDeMacedo_DISSERT.pdf: 2923226 bytes, checksum: e6a66719b01ddee0f70ac0a7f964923e (MD5) Previous issue date: 2015-02-26 / M?quinas de redu??o de grafos, s?o tradicionalmente utilizadas na implementa??o de linguagens de programa??o. Elas permitem executar programas (representados como grafos), atrav?s da aplica??o sucessiva de regras de redu??o. A composi??o de servi?os web permite a cria??o de novos servi?os web a partir de servi?os web j? existentes. BPEL ? a linguagem padr?o para criar composi??es de servi?os web como fluxos de trabalho. No entanto, o uso de BPEL para definir composi??es que usem outras tecnologias, al?m dos servi?os web n?o ? imediato. Na maioria dos casos, quando opera??es que n?o fazem parte do dom?nio dos servi?os web precisam ser executadas nas regras de neg?cio de uma empresa, parte do trabalho ? realizado de forma ad-hoc. Permitir que opera??es oriundas de diferentes tecnologias possam fazer parte de um mesmo fluxo de trabalho auxilia a cria??o de fluxos de trabalho mais adequados ?s necessidades das organiza??es. Esta disserta??o define uma variante da linguagem BPEL para a cria??o de composi??es com opera??es de servi?os web, tarefas de big data ou opera??es definidas pelo usu?rio. O suporte a esta linguagem ? dado mediante a defini??o de uma m?quina de redu??o de grafos extens?vel, a qual permite a execu??o de programas definidos na linguagem proposta. Esta m?quina ? implementada como prova de conceito. A proposta deste trabalho ? avaliada mediante a apresenta??o de resultados experimentais. / Graph Reduction Machines, are a traditional technique for implementing functional programming languages. They allow to run programs by transforming graphs by the successive application of reduction rules. Web service composition enables the creation of new web services from existing ones. BPEL is a workflow-based language for creating web service compositions. It is also the industrial and academic standard for this kind of languages. As it is designed to compose web services, the use of BPEL in a scenario where multiple technologies need to be used is problematic: when operations other than web services need to be performed to implement the business logic of a company, part of the work is done on an ad hoc basis. To allow heterogeneous operations to be part of the same workflow, may help to improve the implementation of business processes in a principled way. This work uses a simple variation of the BPEL language for creating compositions containing not only web service operations but also big data tasks or user-defined operations. We define an extensible graph reduction machine that allows the evaluation of BPEL programs and implement this machine as proof of concept. We present some experimental results.

Made available in DSpace on 2014-12-17T14:53:01Z (GMT). No. of bitstreams: 1 AlexandroVR_DISSERT.pdf: 1186041 bytes, checksum: 362e6709ac68ec240071d99611e3ae39 (MD5) Previous issue date: 2011-04-07 / With the increasing offer of education services in Brazil, it is necessary to evaluate the quality of service in education, especially in those institutions for vocational education which have a greater interaction with the labor market, in order to form qualified professionals and meet the growing demand that the country has today[A1] . In Brazil, the evaluation of the quality of library services has influenced the assessment of educational institutions and in this context, there needs to be a process to monitor the quality of services provided by libraries. However, the service is not done in a single moment and thus to a more detailed assessment it needs to be measured and evaluated each different time the customer uses it. Therefore, the aim of this work consists in measuring the quality in every moment of truth of a cycle of library services to assess which are the most relevant moments in the client's perspective at the library of the Federal Institute of Education, Science and Technology of Rio Grande do Norte (IFRN) Campus Jo?o C?mara in building the overall quality of service. In the literature review, internal secondary sources were used, from the database of the institution studied, and also external sources, through literature in books, articles, dissertations, theses and journals on compost quality, service quality, cycle services, measuring quality, satisfaction, teaching activities, and on library services specifically. We applied a questionnaire to students in the library based on models of quality measurement SERVPERF and SERVQUAL and its variations such as SERVQUAL pondered and SERVPERF pondered . Through analysis based on concepts of reliability and validity of measuring instruments, it was found that the SERVPERF model is the instrument that most closely matches the dimensions of quality assessed in the library with customer satisfaction measured by the questionnaire. From there, the search results as measured by statistical techniques of analysis, indicated that the initial and final moments of truth of the cycle of service quality had the greatest influence on overall customer satisfaction with the library service / Com a crescente oferta de servi?os de ensino no Brasil, torna-se necess?rio avaliar a qualidade do servi?o prestado na educa??o, especialmente ?quelas institui??es voltadas para o ensino profissionalizante, na qual h? uma maior intera??o entre estas e o mercado de trabalho, no sentido de formar profissionais qualificados e que atendam ? crescente demanda que o pa?s apresenta atualmente. No Brasil, a avalia??o da qualidade de servi?os em bibliotecas tem influenciado nas avalia??es das institui??es de educa??o e, neste contexto, necessita-se que exista um processo para monitorar a qualidade dos servi?os prestados pelas bibliotecas. Entretanto, o servi?o n?o ? realizado em um ?nico momento e, portanto, para uma avalia??o mais detalhada, precisa ser medido e avaliado em cada um dos momentos em que ? prestado para o seu cliente. Portanto, o objetivo deste trabalho consiste na medi??o da qualidade em cada momento da verdade de um ciclo de servi?os de uma biblioteca para avalia??o de quais momentos s?o mais relevantes sob a vis?o do cliente da biblioteca do Instituto Federal de Educa??o, Ci?ncia e Tecnologia do Rio Grande do Norte (IFRN) Campus de Jo?o C?mara na constru??o da qualidade total do servi?o. Na revis?o bibliogr?fica, foram utilizadas fontes secund?rias internas, provenientes da base de dados da institui??o de ensino pesquisada; e externas, por meio de pesquisa bibliogr?fica em livros, artigos, disserta??es, teses e revistas sobre o composto de qualidade, qualidade em servi?os, ciclo de servi?os, medi??o de qualidade, satisfa??o, atividade de ensino, e sobre os servi?os de biblioteca especificamente. Aplicou-se um question?rio aos alunos da biblioteca baseado nos modelos de medi??o da qualidade SERVQUAL e SERVPERF e suas varia??es como SERVQUAL ponderado e SERVPERF ponderado e, atrav?s de an?lises baseada nos conceitos de confiabilidade e validade de instrumentos de medi??o, encontrou-se que o modelo SERVPERF como o instrumento que mais se aproxima ?s dimens?es da qualidade avaliada na biblioteca com a satisfa??o avaliada pelo cliente no question?rio. A partir da?, os resultados da pesquisa, avaliado atrav?s de t?cnicas estat?sticas de an?lise, indicaram que os momentos da verdade iniciais e finais do ciclo de servi?o apresentou maior influ?ncia da qualidade sobre a satisfa??o geral do cliente com o servi?o de biblioteca

Made available in DSpace on 2015-04-14T13:54:16Z (GMT). No. of bitstreams: 1 464251.pdf: 2531075 bytes, checksum: 3e504450d740a1efd2af29e7bf583ddf (MD5) Previous issue date: 2014-07-17 / Spirituality and quality of life, in the last few years, have had increasing importance in care context, mostly in poor health conditions, and especially in old age. Therefore, this study aimed to analyze the elderly people‟s spirituality and quality of life, when assisted both at home and in hospitals, by means of Supplemental Health Services. In order to reach this goal, the descriptive, analytical and cross-sectional study was used, with a quantitative approach, in a 60 elderly people sample, in Jo?o Pessoa-PB, equally distributed in two groups: home and hospital care. The participants were aged between 60 and 98 years old, female people predominating (72%). Results showed that both groups presented, mostly, cardiovascular diseases, being 50% in those ones in home care condition and 40% among the ones receiving hospital assistance. As to the degree of satisfaction with the assistance, 100% were satisfied with the home care, whereas only 60% were satisfied with the hospital assistance. In regard to the confidence level, both groups were satisfied in both situations. As to the spirituality and personal beliefs, data revealed that the home modality received a higher score than that of the hospital in questions such as: a connection with the spiritual being or power; admiration, wholeness and integration. Concerning quality of life, analyzed from the WHOQOL-BREF point of view, a positive effect was observed in most of the home modality features. A similar result was also obtained with the WHOQOL-OLD, as concerning the following features: past, present and future activities, privacy as well as social participation. Home care presented a better life quality in all of them. The results of this study indicate that home care, as compared to the hospital one, promotes a better life quality and fosters spirituality in the elderly people. / A espiritualidade e a qualidade de vida, nos ?timos anos, v?m tendo crescente import?ncia no contexto do cuidado, principalmente em situa??es de agravos ? sa?de e, em especial, na velhice. Diante deste cen?rio, este estudo objetivou analisar a espiritualidade e a qualidade de vida em pessoas idosas submetidas ? assist?ncia domicili?ria e hospitalar por meios da Sa?de Suplementar. Para atingir este objetivo, utilizou-se de um estudo transversal, de cunho descritivo, anal?tico, com uma abordagem quantitativa em uma amostra de 60 pessoas idosas, na cidade de Jo?o Pessoa-PB, distribu?das equitativamente em dois grupos: assist?ncia domicili?ria e hospitalar. Os participantes tinham idade variando entre 60 a 98 anos, com um predom?nio de pessoas do sexo feminino (72%). Os resultados demonstraram que em ambos os grupos prevaleceram as doen?as cardiovasculares, sendo 50% no grupo de assist?ncia domiciliar e 40% de assist?ncia hospitalar. Quanto ao grau de satisfa??o com a assist?ncia recebida, observou-se que na modalidade domicili?ria foi de 100%, enquanto na hospitalar 60%. Em rela??o ao grau de confian?a, ambos os grupos mostraram-se igualmente confiantes na assist?ncia recebida. Quanto ? espiritualidade e cren?as pessoais, os dados revelaram que a modalidade domicili?ria obteve escore maior do que a hospitalar nas facetas: conex?o com o ser ou for?a espiritual; admira??o; totalidade e integra??o. Na qualidade de vida, analisada a partir do WHOQOL-BREF, observou-se um efeito positivo na maioria das facetas para a modalidade domicili?ria. Um resultado semelhante tamb?m foi obtido com o WHOQOL-OLD, com destaque para as facetas: atividades passadas, presentes e futuras; participa??o social e intimidade. Em todas elas, a assist?ncia domicili?ria apresentou melhor qualidade de vida. Os resultados deste estudo indicam que a assist?ncia domicili?ria, comparativamente ? hospitalar, promove melhor qualidade de vida e o fortalecimento da espiritualidade de pessoas idosas.