Submitted by Alex Silva Rodrigues (alex_silvar@yahoo.com.br) on 2018-06-16T01:14:16Z No. of bitstreams: 2 Dissertação Mestrado Rodrigues, A. S..pdf: 2886767 bytes, checksum: b92e2f8961396daf01585028475ad15e (MD5) Dissertação parcial.pdf: 370017 bytes, checksum: 746d406d89c922f03912530ec517ebb2 (MD5) / Rejected by Satie Tagara (satie@marilia.unesp.br), reason: O Programa de Pós-Graduação de Marília não aceita a submissão parcial de teses/dissertações. Para mais informações entrar em contato com a Seção Técnica de Pós-Graduação ou no e-mail diplomas.marilia@unesp.br on 2018-06-18T14:50:45Z (GMT) / Submitted by Alex Silva Rodrigues (alex_silvar@yahoo.com.br) on 2018-06-18T16:22:09Z No. of bitstreams: 1 Dissertação Mestrado Rodrigues, A. S..pdf: 2886767 bytes, checksum: b92e2f8961396daf01585028475ad15e (MD5) / Approved for entry into archive by Satie Tagara (satie@marilia.unesp.br) on 2018-06-18T16:59:56Z (GMT) No. of bitstreams: 1 rodrigues_as_me_mar.pdf: 2886767 bytes, checksum: b92e2f8961396daf01585028475ad15e (MD5) / Made available in DSpace on 2018-06-18T16:59:56Z (GMT). No. of bitstreams: 1 rodrigues_as_me_mar.pdf: 2886767 bytes, checksum: b92e2f8961396daf01585028475ad15e (MD5) Previous issue date: 2018-05-21 / Não recebi financiamento / Os Institutos Federais de Educação, Ciência e Tecnologia possuem valiosas riquezas centradas no capital intelectual de sua comunidade acadêmica, que são explicitadas por meio de suas produções intelectuais. Estas produções, por sua vez, precisam estar disponíveis à sociedade; para tanto, uma alternativa são os repositórios institucionais. Logo, o problema deste estudo refere-se à busca de respostas para a seguinte pergunta: quais diretrizes de funcionamento podem orientar o desenvolvimento de um repositório institucional (RI) no IFSP? Para tanto, objetiva também identificar quais diretrizes de funcionamento podem ser adotadas na criação de um RI para o IFSP. E, ainda, especificamente: a) apresentar como ocorreu o processo de implementação das diretrizes de funcionamento dos RIs nas universidades; b) relacionar diretrizes e práticas (observadas a partir das diretrizes de funcionamento dos RIs pesquisados) com o modo de produção da literatura científica no IFSP; c) apresentar as percepções dos gestores de RI sobre a necessidade de participação do Sistema Integrado de Bibliotecas (SIBI) na fase de planejamento para a criação de RI; d) identificar e apresentar as percepções dos gestores de RIs nas universidades federais em relação ao papel do SIBI. A metodologia adotada, do ponto de vista de sua natureza, é descritiva, por ter como propósito descrever os fenômenos relacionados com o objeto de estudo que trata das diretrizes de funcionamento dos RIs das universidades federais brasileiras, tendo cunho quantitativo e qualitativo. A pesquisa tem como universo as universidades públicas federais brasileiras, cujo intuito é verificar as diretrizes de funcionamento de seus RIs, quando elas o possuírem. Para o desenvolvimento deste estudo, as coletas de dados foram realizadas por meio de pesquisa bibliográfica sobre os principais temas que envolvem o seu objeto de estudo, bem como de temas que se relacionam diretamente com ela. O documental buscou as diretrizes de funcionamento publicadas em RIs das seguintes universidades: Universidade Federal do Paraná (UFPR); Universidade Federal do Rio Grande do Sul (UFRGS) e Universidade Federal do Rio de Janeiro (UFRJ). Após a pesquisa bibliográfica e documental, foram utilizadas outras duas técnicas de interrogação. A primeira foi o questionário, construído em meio eletrônico e enviado a 38 universidades federais. A segunda foi a técnica de entrevistas, as quais se configuram como recurso central no que se refere à dimensão de campo deste trabalho. Dentre os resultados a que se chegou, pode-se destacar que, para a implantação de um repositório institucional, é necessário a constituição de Sistemas Integrados de Bibliotecas nas Instituições que ainda não os possui; que as diretrizes de funcionamento já existentes das universidades federais podem ser utilizadas como modelos para os Institutos Federais, mesmo que ambas possuam formas de comunicação e produção da ciência díspares. De forma geral, a pesquisa aponta os processos pelos quais as universidades participantes da pesquisa trilharam até a implantação de seus repositórios, perpassando por indicações de custos, composição de equipes de trabalho, formas de depósito, dentre outros. / The Federal Institutes of Education, Science, and Technology have valuable wealth centered on the intellectual capital of their academic community, which are made explicit through their intellectual productions. These productions, in turn, need to be available to society; for that, an alternative is the institutional repositories. Therefore, the problem of this study refers to the search for answers to the following question: what operating guidelines can guide the development of an institutional repository (IR) in the IFSP? In order to do so, it also aims to identify which operating guidelines can be adopted in the creation of an IR for the IFSP. Also, specifically: a) present how the process of implementing the guidelines for the operation of IRs in universities occurred; b) to relate guidelines and practices (observed from the operating guidelines of the IRs surveyed) to the way the scientific literature is produced in the IFSP; c) present the perceptions of IR managers about the need for participation of the Integrated Library System (SIBI) in the planning phase for the creation of IR; d) identify and present the perceptions of IR managers in federal universities regarding the role of SIBI. The methodology adopted, from the point of view of its nature, is descriptive, since its purpose is to describe the phenomena related to the object of study that deals with the guidelines for the operation of IRs of Brazilian federal universities, having a quantitative and qualitative character. The research has as a universe the Brazilian federal public universities, whose purpose is to verify the operating guidelines of its IRs, when they have it. For the development of this study, data collection was carried out through a bibliographical research about the main themes that involve its object of study, as well as of themes that are directly related to it. The documentary sought the operating guidelines published in IRs of the following universities: Federal University of Paraná (UFPR); Federal University of Rio Grande do Sul (UFRGS) and Federal University of Rio de Janeiro (UFRJ). After the bibliographic and documentary research, two other interrogation techniques were used. The first was the questionnaire, built in electronic form and sent to 38 federal universities. The second one was the technique of interviews, which are configured as a central resource with regard to the field dimension of this work. Among the results, it can be highlighted that, for the implementation of an institutional repository, it is necessary to create Integrated Library Systems in Institutions that do not yet have them; that the existing guidelines of functioning of federal universities can be used as models for the Federal Institutes, even though both may have disparate forms of communication and production of science. In general, the research points out the processes through which the universities participating in the research have gone through the implementation of their repositories, through cost indications, composition of work teams, forms of deposit, among others.

Serviceevolution erlaubt es, einen Service durch einen anderen Service zu verfeinern oder zu ersetzen. Der Austausch durch einen anderen Service sollte garantieren, dass alle oder ausgewählte Partner des Originalservices erhalten bleiben. In dieser Arbeit entwickeln wir einen Ansatz welcher einem Serviceentwickler helfen soll, Analyse- und Syntheseaufgaben für den Serviceaustausch so durchzuführen, dass jeder Partner eines gegebenen Services beim Austausch erhalten bleibt. Wir modellieren einen Kontrollfluss eines Services als Beschreibung der Reihenfolge von asynchron kommunizierenden Ereignissen mittels eines impliziten ungeordneten Nachrichtenspeichers. Weiterhin studieren wir den Verhaltensaspekt von korrekter Interaktion zwischen Services und konzentrieren uns auf zwei Varianten von Verklemmungsfreiheit als Korrektheitskriterien von Serviceersetzung. Der wichtigste Beitrag ist ein Ansatz zur Charakterisierung jedes möglichen Austausches eines gegebenen Services. Die zentrale Idee dieses Ansatzes ist eine systematische Untersuchung der Verbindung zwischen einem Service und all seiner Partner bzgl. eines gegebenen Korrektheitskriteriums. Wir nutzen diese Verbindung um von einem gegebenen Service einen kanonischen Partner und einen kanonischen Austausch bzgl. aller Partner zu synthetisieren. Ein Service welcher den kanonischen Austausch eines gegebenen Services verfeinert wird als Austausch des gegebenen Services angesehen, wenn die Menge all seiner Partner jeden Partner des gegebenen Services enthält. Mit dem kanonischen Austausch eines gegebenen Services identifizieren wir die Menge der möglichen austauschenden Services eines gegebenen Services bei der jeder exakt die gleichen Partner wie der gegebene Service hat. Einige Ergebnisse dieser Arbeit fundieren auf früheren Arbeiten zu Austausch und Korrektheit von Services und können daher mit diesen verbunden werden um schwierigere Analyse- und Syntheseaufgaben für den Serviceaustausch durchzuführen. / Service evolution allows one service to be refined into or substituted by another service. Substituting one service by another service should guarantee to preserve all or selected partners of the original service. In this thesis, we develop an approach that shall assist a service designer, such as a domain expert, to perform analysis and synthesis tasks on service substitution. We model a control flow of services that describes the ordering of asynchronously communicating events over an implicit unordered message buffer. We study the behavioral aspect of correct interaction between services and concentrate on two variants of deadlock freedom as correctness criteria of service substitution. The major contribution of this thesis is an approach for characterizing the set of all substitutes for a given service. We systematically investigate the relationship between a service and all its partners under a given correctness criterion and employ this relationship to synthesize from a given service its canonical partner and its canonical substitute with respect to all partners. A service that refines the canonical substitute for a given service is regarded as a substitute for the given service if the set of all its partners includes every partner of the given service. With the canonical substitute of a given service, we identify a specific subset of the set of all substitutes for the given service, each of which has exactly the same set of partners as that of the given service. Parts of the results in this thesis have been established upon previous works on service substitution and correctness of services. Consequently, we can also combine our results with the related existing techniques to perform more sophisticated analysis and synthesis tasks on service substitution.