Made available in DSpace on 2014-12-17T15:47:51Z (GMT). No. of bitstreams: 1 KarlosTMVOpdf.pdf: 2426765 bytes, checksum: 62a9ffc137cd6bee4e157ac947c8e4b0 (MD5) Previous issue date: 2009-08-10 / Currently with the increase in complexity in doing business, organizations are seeking information systems that help to quickly respond to new demands in the processes of production of products and services. An information system is no longer just a support tool and has become an integral part of doing business. However, in spite of significant technological evolution in recent years, information systems that support business do not respond efficiently to the constant alterations that occur in many organizations. One of the main problems faced by information systems currently is the lack of strategic alignment between business strategy and information technology. The concept of strategic alignment can be defined as a way between business strategies and objectives and the strategies, objectives and functions of information technology in such as way as to contribute to the increase in competitivity of the organization over time. Strategic alignment together with strategic planning are important management instruments. Approaches for operationalizing this alignment are being developed currently but are still in their initial stages due to the fact that it is a relatively new concept in the literature. Another point that needs to be taken into consideration during the strategic alignment is the question of trackability between the business elements and IT. Trackability (Tracking) is necessary for example when one wishes to know exactly which goal defined in the business strategy was left out or not accepted due to a modification made in the IT strategy. Very few proposals present concrete ways supported by software systems in order to obtain strategic alignement while taking into consideration this trackability. Therefore the objective of this work is to propose the creation of a strategic alignment process supported by a software system which is capable of permitting trackability between the organizational objectives and the business processes based on formalization standards defined through a model oriented approach / Atualmente, com o crescente aumento da complexidade do neg?cio, as organiza??es clamam por sistemas de informa??o que ajudem a responder rapidamente as novas exig?ncias dos processos de produ??o de produtos e servi?os. Um sistema de informa??o deixa de ser apenas uma ferramenta de suporte e passa a ser uma parte integrante do neg?cio. Todavia, apesar das importantes evolu??es tecnol?gicas alcan?adas nos ?ltimos anos, verifica-se que os sistemas de informa??o que suportam o neg?cio, ainda n?o respondem eficazmente ?s constantes altera??es a que a organiza??o est? sujeita. Um dos principais problemas com os sistemas de Informa??o atuais ? falta de alinhamento entre a estrat?gia de neg?cio e a tecnologia de informa??o. O conceito de alinhamento estrat?gico pode ser definido como sendo a sintonia existente entre as estrat?gias e objetivos do neg?cio com as estrat?gias, objetivos e fun??es da tecnologia da informa??o, de modo que haja contribui??o para o aumento da competitividade da organiza??o ao longo do tempo. Alinhamento estrat?gico, aliado ao planejamento estrat?gico, ? um importante instrumento de gest?o. Nesse sentido, abordagens para a operacionaliza??o desse alinhamento est?o surgindo, entretanto, ainda em estado inicial devido ao fato de ser um conceito relativamente novo na literatura. Outro ponto que deve ser levado em considera??o durante o alinhamento estrat?gico ? a quest?o da rastreabilidade entre os elementos de neg?cio e TI. A rastreabilidade ? necess?ria, por exemplo, quando se deseja saber exatamente qual meta definida na estrat?gia de neg?cio n?o foi ou deixou de ser aceita devido a uma modifica??o realizada na estrat?gia de TI. Poucas propostas apresentam formas concretas apoiadas por sistemas de software para obter o alinhamento estrat?gico levando em considera??o essa rastreabilidade. Nesse contexto o objetivo desse trabalho ? propor a cria??o de um processo de alinhamento estrat?gico apoiado por um sistema de software a qual seja capaz de permitir a rastreabilidade entre os objetivos organizacionais e as atividades dos processos de neg?cio, tomando como base para isso, padr?es de formaliza??o definidos sob uma abordagem orientada a modelos

O modelo do discipulado apostólico um a um (MDA) e o Aconselhamento Pastoral (AP) se constituiu a temática deste trabalho que objetivou verificar a possibilidade de um diálogo entre os dois. A metodologia utilizada foi a pesquisa bibliográfica e documental. O MDA é uma estratégia que pertence a Igreja da Paz em Santarém e se configura em estabelecer um relacionamento pessoal com o discípulo. A palavra discipulado no Antigo Testamento era halak que literalmente conotava ir atrás de. No Novo Testamento discipulado remete à idéia de akolouteo traduzida por seguir; a palavra denota a ação de atender ao chamado de um mestre e passar a ter uma vida inteira de obediência. A igreja da Paz em Santarém considera esse seguir como envolvendo dois seres humanos em que um conduz o outro a Cristo devido a sua maturidade. Porém, por outro lado há afirmações teológicas que pontua, desde Cristo já não há nenhuma relação imediata, quer entre o ser humano e Deus, quer entre o ser humano e o mundo e qualquer ponte colocada não é saudável para o crescimento integral dos pares. O Aconselhamento Pastoral se constitui em uma relação de cuidado em que há o respeito mútuo em que o conselheiro preparado é um facilitador para o crescimento do aconselhando em todas as dimensões da vida. Não se esquecendo de contextualizar com a cultura e, no caso em questão, considerou-se o contexto da América Latina com a sua pobreza e ao mesmo tempo riqueza sócio-cultural. Quanto ao diálogo possível entre MDA e AP, pode-se dizer que enquanto o AP enfatiza uma fé vivenciada no dia a dia, o MDA proporciona uma fé mais individualizada. Constitui-se num processo de amadurecimento para que esse diálogo ocorra. / The model of an apostolic discipleship to one (MDA) and Pastoral Counseling (AP) constituted the theme of this work aimed to verify the possibility of a dialogue between the two. The methodology used was documentary and bibliographical research. MDA is a strategy that belongs to the Church of Peace in Santarém and is configured to establish a personal relationship with the student. The word in the Old Testament discipleship Halak was literally connoted "go after". In the New Testament refers to the idea of discipleship akolouteo translated as follows: the word denotes the action of the call of a master and go on to have a lifetime of obedience. The Church of Peace in United States considers the following as involving two human beings that one drives the other to Christ because of his maturity. But on the other hand there are theological statements that score, since Christ already there is no immediate relationship, whether between man and God and between man and the world and put any bridge is not healthy for the integral growth of the couple. The Pastoral Counseling constitutes a relationship of care where there is mutual respect in which the trained counselor is a facilitator for the growth of advising on all aspects of life. Not forgetting the culture and context, in this case, we considered the context of Latin America with its poverty and wealth while socio-cultural. As for the possible dialogue between the MDA and PC, it can be said that while the PC emphasizes a lived faith in everyday life, the MDA provides a more personal faith. It constitutes a process of maturation for this dialogue takes place.

Made available in DSpace on 2016-08-17T14:53:23Z (GMT). No. of bitstreams: 1 Dissertacao Liana Mara.pdf: 7779999 bytes, checksum: eff54ba035aa6dab1569b8f121f7ee0a (MD5) Previous issue date: 2012-10-19 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Even the great progress of techniques used by protection systems as firewalls, intrusion detection systems and antivirus to detect and prevent attacks are not enough to eliminate the cyber-attacks threat. Known attacks for decades still achieve success, and well-known vulnerabilities continue to exist and reappear on the Internet and corporate networks [1]. The intrusion detection technologies we have today provide rich information about attacks. However, the main focus of intrusion detection focuses on the fact that security has been compromised. The computer forensics, on the other hand, attempts to understand and explain what happened to the security environment and how a security violation can happen [2]. However, there is a lack of investigative mechanisms to work synergistically with these sensors and identify not only the attackers, but the malicious actions that were performed. The lack of standardization in the process of computer and network forensics [3], as well as the heterogeneity of tools and the fact that the log/alert files depend on developers, causes a large variety in the formats of these security alerts. Moreover, the knowledge used in the incidents investigation still restricted to security analysts in each case. This work proposes, the development of a model based on computer forensics that can be applied in a network environment to work with IDS NIDIA [4] and heterogeneous IDSs associating information to alerts about procedures that can be performed to investigate the incident using existing tools. The methodology used to develop this was initially use literature to achieve the proposed objectives, derived from books, theses, dissertations, research papers and hypermedia documents, followed by the gathering of information for the development of the solution and analysis tools that could assist in the implementation and modeling the prototype, that was assisted by Model Driven Architecture. / Mesmo o grande progresso das técnicas utilizadas pelos sistemas de proteção como firewalls, sistemas de detecção de invasão e antivírus para detecção e prevenção de ataques, não são suficientes para eliminar a ameaça dos ciberataques. Mesmo ataques que existem há décadas ainda alcançam sucesso, e as vulnerabilidades bem conhecidas continuam a existir e reaparecer na Internet e redes corporativas [1]. As tecnologias de detecção de intrusão atuais fornecem informações ricas sobre um ataque. No entanto, o principal foco de detecção de intrusão centra-se no fato da segurança ter sido comprometida. A computação forense, por outro lado, tenta entender e explicar o que aconteceu com o ambiente de segurança e como uma violação de segurança pode acontecer [2]. No entanto, existe uma carência de mecanismos investigativos que possam trabalhar em sinergia com estes sensores e identificar não só os atacantes, mas as ações maliciosas que foram executadas. A falta de padronização no processo de realização da forense computacional e de rede [3], assim como a heterogeneidade das ferramentas e o fato de que os tipos de arquivos de logs dependem dos desenvolvedores, faz com que haja uma grande variedade nos formatos destes alertas de segurança. Além disto, o conhecimento empregado na investigação dos incidentes fica restrito aos analistas de segurança de cada caso. Esta dissertação propõe, de forma geral, o desenvolvimento de um modelo baseado na forense computacional que possa ser aplicado em ambiente de rede para trabalhar em conjunto com o IDS NIDIA [4] e IDSs heterogêneos associando aos alertas informações sobre procedimentos que podem ser executados para a investigação dos incidentes utilizando ferramentas existentes. A metodologia empregada para o desenvolvimento deste trabalho utilizou inicialmente de pesquisa bibliográfica para atingir os objetivos propostos, oriundas de livros, teses, dissertações, artigos científicos e documentos hipermídia, seguida de levantamento das informações para a elaboração da solução e uma análise de ferramentas que pudessem auxiliar no processo de modelagem e implementação do protótipo que foi auxiliado pela Arquitetura Dirigida por Modelos.

A UML é uma notação gráfica utilizada na modelagem de sistemas orientados a objetos, em diferentes domínios da computação. Por ser simples de utilizar, em relação a outras formas de modelagem, a UML é amplamente difundida entre os desenvolvedores de software, tanto na academia quanto na indústria. Entre as suas vantagens, encontram-se: (i) a representação visual das relações entre classes e entidades, pois ao se utilizar de diagramas, a UML facilita o entendimento e a visualização das relações dentro do sistema modelado; (ii) a legibilidade e usabilidade, sem que seja necessário a leitura do código do sistema, uma vez que um desenvolvedor pode compreender quais partes do código são redundantes ou reutilizadas; e (iii) uma ferramenta de planejamento, ao auxiliar na definição do que deve ser feito, antes que a implementação comece de fato, além de poder produzir código e reduzir o tempo de desenvolvimento. Todavia, a UML possui desvantagens, tais como: (i) ambiguidade entre elementos UML diferentes, devido a sobreposição dos diagramas; e (ii) falta de uma semântica clara, o qual geralmente faz com que a semântica da linguagem de programação seja adotada. Para mitigar essas desvantagens, pesquisadores buscam atribuir uma semântica formal à UML. Esse tipo de semântica é encontrado em modelos formais, onde o sistema modelado é livre de ambiguidades e possui uma semântica clara e precisa. Por sua vez, os modelos formais não são simples de serem criados e compreendidos por desenvolvedores. O grau de conhecimento em formalismo necessário para utilizar tal modelo é alto, o que faz com que seu uso seja menos difundido, comparado com a notação gráfica não formal da UML. Apesar dos esforços dos pesquisadores, as técnicas de formalização semântica da UML apresentam, no geral, um problema pouco abordado: apesar de utilizar a UML para modelar o sistema, o artefato final dessas técnicas é um trace formal. Considerando o conhecimento comum de um desenvolvedor de software, esse trace dificulta a análise dos problemas, encontrados pelos model checkers, e a correção dos mesmos no modelo UML. Com o objetivo de auxiliar o desenvolvedor na compreensão dos resultados formais (o trace citado), esta tese de doutorado apresenta uma abordagem baseada em Model-driven Architecture (MDA) capaz de representar as informações dos resultados formais dentro de um modelo UML. Por meio de transformações do modelo UML, essas representações, definidas utilizando a abordagem, auxiliam o desenvolvedor a visualizar o fluxo de execução do model checker dentro do modelo UML. Assim, acredita-se que as vantagens obtidas pela formalização semântica da UML podem ser mais difundidas e utilizadas pelos desenvolvedores, principalmente na indústria. / UML is a graphical notation used for modeling object-oriented software systems in different domains in computer science. Being simple to use, compared to other modeling techniques, UML is widespread among software developers, both in academia and industry. Among its advantages are: (i) the visual representation of the relationships between classes and entities, as when using diagrams, UML facilitates understanding and visualization of relationships within the modeled system; (ii) readability and usability without having to read the system code, since a developer can understand which parts of the code are redundant or reusable; and (iii) a planning tool, helping to define what needs to be done before the implementation actually begins, as well as being able to produce code and reduce development time. However, the UML also has disadvantages, such as: (i) ambiguity between different UML elements due to overlapping diagrams; and (ii) lack of clear semantics, which generally causes the semantics of the programming language to be adopted. To mitigate these disadvantages, researchers seek to assign a formal semantics to the UML. This type of semantics is found in formal models, where the modeled system is free of ambiguity and has a clear and precise semantics. On the other hand, formal models are not simple to create and understand by developers. The degree of formalism knowledge required to use such a model is high, which makes their use less widespread, compared to UML non-formal graphical notation. Despite the researchers efforts, in general the techniques that formalize the UML semantics has a problem that is forgotten: although using the UML to model the system, the final artifact of these techniques is a formal trace. Considering the common knowledge of a software developer, this trace makes it difficult to analyze the problems encountered by model checkers and to correct them in the UML model. In order to assist the developer in understanding the formal results (the trace above), this thesis presents an approach based on Model-driven Architecture (MDA) capable of representing the information of the formal results in the UML model. Through UML model transformations, these representations, set using the approach, help the developer to visualize the execution flow of the model checker within the UML model. Thus, we believe that the advantages obtained by formalizing the UML semantics may be more widespread and used by developers, especially in industry.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-09-20T18:52:30Z No. of bitstreams: 1 PAULO EDUARDO E SILVA BARBOSA - TESE PPGCC 2011..pdf: 8460190 bytes, checksum: 711c8b40aaed80c81ec520880038d9b8 (MD5) / Made available in DSpace on 2018-09-20T18:52:30Z (GMT). No. of bitstreams: 1 PAULO EDUARDO E SILVA BARBOSA - TESE PPGCC 2011..pdf: 8460190 bytes, checksum: 711c8b40aaed80c81ec520880038d9b8 (MD5) Previous issue date: 2011-09-08 / MDA é uma tendência de desenvolvimento de software que visa alterar o foco e os esforços dos modelos de desenvolvimento atuais. O método de implementação deixa de ser apenas a produção e código, e passa a também envolver modelos, metamodelos e transformações. Atualmente, essa abordagem tem sido diversificada com a inclusão de novos paradigmas que vão bem além do uso exclusivo dos padrões da OMG, como proposto originalmente. Contudo, a arquitetura MDA ainda sofre com a falta de formalização de alguns de seus artefatos e processos, levando a vários tipos de questionamentos. Um exemplo pertinente de questionamento se dá sobre o alto grau de ambigüidade dos modelos e transformações, originando problemas de baixa confiabilidade. Uma das conseqüências disso é o fato de que atualmente não existe uma maneira de garantir que transformações MDA sejam preservadoras de semântica, e nem que seus modelos envolvidos nas transformações sejam formais o suficiente para se permitir o uso de técnicas deverificação de equivalência, gerando críticas sobre a eficácia dessa abordagem. Esta tese de doutorado propõe lidar com esse problema, incorporando abordagens consolidadas de métodos formais na arquitetura MDA, tendo como contexto específico o desenvolvimento de software para sistemas embarcados com características de concorrência. Propomos extensões para parte da arquitetura MDA para que se possa construir modelos semânticos que representem aspectos estáticos e dinâmicos, ambos essenciais na semântica dos modelos envolvidos nas transformações e nos mecanismos de verificação de equivalência desses modelos. Com isso,obtemos a verificação de equivalência em transformações envolvendo modelos de sistemas concorrentes. Como avaliação do trabalho, provas de conceito, estudos de caso e avaliação experimental seguindo a abordagem GQM, envolvendo parcerias na academia e na indústria através de sistemas reais, foram implementados e avaliados. Verificamos equivalência entre modelos ao nível de transformações PIM-para-PIM, PSM-para-PSM e PIMpara-PSM como modelos de sistemas concorrentes descritos em redes de Petri e algumas de suas extensões. / MDA is a software development trend that aims to shift the focus and efforts of the current development methodologies. The implementation method changes from only code production to the usage of models, metamodels and transformations. Currently, this approach has been diversified with the inclusion of new paradigms that go beyond the only use of the MDA standards, as originally proposed. However, the MDA architecture still suffers from the lack of formalization of its artifacts and processes, leading to several sorts of questions. An important example of question is about the high ambiguity levels of models and transformations, originating problems of low reliability. One of the main consequences of this problem is the fact that still there is no way to ensure that MDA transformations are semantics preserving and neither the involved models are formal enough to allow the use of equivalence verification techniques, criticizing the effectiveness of this approach. This thesis proposes to deal with this problem by incorporating well consolidated formal methods techniques in the MDA architecture, having as specific context the software development for embedded systems with concurrent features. We propose extensions to part of the MDA architecture in order to construct semantic models to represent static and dynamic aspects, both essentials in the semantics of the involved models in the transformations and in the verification mechanisms of these models. With this, we achieve the verification of equivalence in transformations with models of concurrent systems. Asevaluationofthework,conceptualproofs, case studies and an experimental evaluation following the GQM approach, involving partners in the academy and industry, were implmented and evaluated. We verify models equivalence at the level of PIM-to-PIM, PSM-to-PSM and PIM-to-PSM transformations with models of concurrent systems described and inPetri nets and some of its extensions.

Renal cell carcinoma accounted for an estimated 57,760 new cases and estimated 12,980 deaths in the United States in 2009. Current treatment options for systemic renal cell carcinoma yield markedly low response percentages; however, recent cytokine therapy experiments have produced promising results. A novel adenovirus, Ad.5/3-mda-7, has been synthesized to efficiently infect renal cancer cells with the mda-7 gene. This gene encodes for the cytokine MDA-7/IL-24 that has the ability to specifically target transformed cells. Assays performed with this adenovirus resulted in an increased percentage of cell death in renal cancer cells when compared to infection with Ad.5/3-cmv empty vector. Further assays that combined Ad.5/3-mda-7 infection with treatments of small molecule inhibitors increased the percentages of cell death by upregulating JNK and p38 MAPK pathways, downregulating the ERK1/2 MAPK pathway, and downregulating the PI3K pathway. Western blots confirmed upregulation and downregulation of these pathways by probing for key proteins. Renal cancer cells responded best to infection with Ad.5/3-mda-7 and treatment with PD184352, PX866, and Rapamycin. This combinatorial treatment caused a greater percentage of cell death than the sum of the two individual treatments, suggesting a synergistic inhibition of cell growth pathways. These findings suggest that the combination of Ad.5/3-mda-7 and specific small molecule inhibitors has developmental potential as a novel and more efficient treatment option for systemic renal cell carcinoma.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Post-apartheid South African fiction has been the subject of much heated debate. One specific aspect of this debate has revolved around the role of history in this fiction. This is linked to general concerns in the country around ways of understanding history, especially in relation to the Truth and Reconciliation Commission’s research into the past. Tracing the lines of debate which emerged out of the discussions around the Truth and Reconciliation Commission, this research report focuses on the way history is presented in two novels from the post-apartheid period. These novels are This Day and Age by Mike Nicol and The Heart of Redness by Zakes Mda. Each of the two novels concerns a specific incident from the past of South Africa, the Bulhoek massacre and the Xhosa cattle-killing respectively. Through tracing their intertextual relations with mainstream accounts of the historical events, the research shows how they interrogate these accounts. Detailed examination of the portrayal of history in each of the novels leads to conclusions being drawn about the way in which the novels conceive of such historical ideas as causality, linearity and responsibility. Finally, the research examines the role of prophecy in the novels, showing how in both of the texts prophecy can be read as an alternative explanation for events. The research endeavours ultimately to contribute to the body of critical thought concerning the analysis of post-apartheid South African fiction.

Ces travaux de recherche ont été réalisés dans le cadre du projet régional Com-SLoT (Communauté de Services Logistiques sur l'Internet des Objets) qui s'inscrit dans l'axe des "outils numériques pour la performance industrielle" (2013-2016). Com-SLoT vise à mettre en place une communauté de services pour la gestion des objets logistiques. Il s'agit précisément de récolter et de partager toutes les informations nécessaires à la planification, l'exécution et la coordination des flux. Le problème qui est posé dans cette thèse est la "Modélisation des flux logistiques : vers une plate-forme d'interopérabilité des objets logistiques". Le modèle de flux de marchandises que nous cherchons à modéliser a donc pour objectif et défi principal de faciliter le développement et la mise en place des systèmes de gestion collaboratives de flux de marchandises basés sur l'Internet des objets et les plateformes cloud Computing. Ce défi scientifique et technologique peut se décliner en sous objectifs comme suit : (1) Proposer un modèle générique de flux logistique centré sur l'entité logistique en tant qu'entité autonome et communicante. (2) Passer de l’échange au partage : Collecter les données sur l'entité et le flux logistique, stocker et partager ces données à l'ensemble des acteurs de la supply chain. (3) Gérer l'hétérogénéité des données et les droits d'accès pour l'interopérabilité des flux. (4) Intégrer le flux de marchandises avec les technologies de l'internet des objets et des plateformes Cloud. (5) Réaliser une vrai plateforme collaborative en mode SaaS : dans ce cadre, il est plus question d'architecture et d'intégration / This research project was carried out within the framework of the regional project COM-SLoT (Community of Logistics Services on the Internet of Things). This project is in the field of "Digital tools for industrial performance". COM-SLoT aims to set up a community of services for the management of logistics workflows and related business entities. It is a matter of collecting and sharing all information necessary for the planning, the execution and the coordination of workflows. The problem to solve in this thesis is the "Modeling of logistic flows : towards a platform for business entities interoperability". The workflow model we are going to seek therefore has as main goal and challenges to facilitate the design of collaborative management of workflows, based on Internet of Things and Cloud Computing technologies. This challenge can be broken down into sub-goals as follows : (1) Propose a generic workflow model focused on the logistics entity as an autonomous and communicating entity. (2) Switching from peer to peer (PoP) data exchange to information sharing : collecting data on entities and workflows, storing and sharing to supply chain stakeholders. (3) Manage data heterogeneity and access rights to enable workflow interoperability. (4) Integrate Internet of Things technologies in the business entities. (5) Design a SaaS based collaborative platform to overcome existing architectural failures