Thesis (M.Info.Sys.)--University of Wollongong, 2004. / Typescript. Includes bibliographical references: p. 91-100.

The Internet provides a powerful medium for communication and collaboration. The ability one has to connect and interact with web-based tools from anywhere in the world makes the Internet ideal for such tasks. However, the lack of native tools can be a hindrance when deploying collaborative initiatives, as many current projects require specialized software in order to operate. This thesis demonstrates, with the comparably recent advances in browser technology and Document Object Model (DOM) implementation, a web-based collaborative annotation system can be developed that can be accessed by a user through a standards-compliant web browser. Such a system, demonstrated to work on the commonly-used web browsers constituting the vast majority of web traffic, was implemented using open-source tools and industry-recognized standards. Additionally, it accepts static copies of most standard document formats for both handwritten and typed annotations, while maintaining an archived copy of the original. The system developed for this thesis lends itself to use in a number of different process domains, as most collaborative annotation approaches can be described by a single process model. While a number of possible usage scenarios are discussed, this thesis approaches system usage only in an academic setting, focusing on applicability of the system to electronic grading and document exchange. From here, additional system usage can be easily extrapolated.

A expansão vertiginosa do uso de Sistemas Web como ferramenta de negócio colocou grande pressão sobre o desenvolvimento de software, exigindo entrega deresultado tangível cada vez mais rápido, num ambiente altamente instável e dinâmico. Em resposta a essas necessidades, surgiu uma nova classe de metodologias de desenvolvimento de software, conhecidas como Metodologias Ágeis. Este trabalho apresenta as principais características desta nova classe de metodologias, analisando em detalhes três dos principais Métodos Ágeis existentes. O objetivo primordial deste trabalho é a definição de um Método Ágil especializado para as características dos Sistemas Web, ou usando uma terminologia mais alinhada com a base filosófica que permeia o trabalho, o objetivo é a criação de um Ecossistema de Desenvolvimento Ágil de software, especializado para Sistemas Web / The vertiginous expansion of the use of the Web Systems as business tool imposed great pressure on the software development, demanding delivery of tangible result faster time, in an unstable and highly dynamic environment. In response to these necessities, appeared a new methodology class of software development: Agile Methodologies. This work presents the main characteristics of this new kind of methodologies, analyzing in details three of the main existing Agile Methods. The primordial objective of this work is the definition of a specialized Agile Method for the characteristics of the Web Systems, or using a terminology aligned with the philosophical base of this work, the objective is the creation of an Ecosystem of Agile Software Development, focused on Web Systems

A expansão vertiginosa do uso de Sistemas Web como ferramenta de negócio colocou grande pressão sobre o desenvolvimento de software, exigindo entrega deresultado tangível cada vez mais rápido, num ambiente altamente instável e dinâmico. Em resposta a essas necessidades, surgiu uma nova classe de metodologias de desenvolvimento de software, conhecidas como Metodologias Ágeis. Este trabalho apresenta as principais características desta nova classe de metodologias, analisando em detalhes três dos principais Métodos Ágeis existentes. O objetivo primordial deste trabalho é a definição de um Método Ágil especializado para as características dos Sistemas Web, ou usando uma terminologia mais alinhada com a base filosófica que permeia o trabalho, o objetivo é a criação de um Ecossistema de Desenvolvimento Ágil de software, especializado para Sistemas Web / The vertiginous expansion of the use of the Web Systems as business tool imposed great pressure on the software development, demanding delivery of tangible result faster time, in an unstable and highly dynamic environment. In response to these necessities, appeared a new methodology class of software development: Agile Methodologies. This work presents the main characteristics of this new kind of methodologies, analyzing in details three of the main existing Agile Methods. The primordial objective of this work is the definition of a specialized Agile Method for the characteristics of the Web Systems, or using a terminology aligned with the philosophical base of this work, the objective is the creation of an Ecosystem of Agile Software Development, focused on Web Systems

The increasing complexity of Web system has led to the development of sophisticated formal methodologies for verifying and correcting Web data and Web programs. In general, establishing whether a Web system behaves correctly with respect to the original intention of the programmer or checking its internal consistency are non-trivial tasks as witnessed by many studies in the literature. In this dissertation, we face two challenging problems related to the verification of Web systems. Firstly, we extend a previous Web verification framework based on partial rewriting by providing a semi-automatic technique for repairing Web systems. We propose a basic repairing methodology that is endowed with several strategies for optimizing the number of repair actions that must be executed in order to fix a given Web site. Also, we develop an improvement of the Web verification framework that is based on abstract interpretation and greatly enhances both efficiency and scalability of the original technique. Secondly, we formalize a framework for the specification and model-checking of dynamic Web applications that is based on Rewriting Logic. Our framework allows one to simulate the user navigation and the evaluation of Web scripts within a Web application, and also check important related properties such us reachability and consistency. When a property is refuted, a counter-example with the erroneous trace is delivered. Such information can be analyzed in order to debug the Web application under examination by means of a novel backward trace slicing technique that we formulated for this purpose. This technique consists in tracing back, along an execution trace, all the relevant symbols of the term (or state) that we are interested to observe. / Romero ., DO. (2011). Rewriting-based Verification and Debugging of Web Systems [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/12496

Este trabalho faz parte de um projeto maior, o Annotation and Image Markup Project, que tem o objetivo de criar uma base de conhecimento médico sobre imagens radiológicas para identificação, acompanhamento e reasoning acerca de lesões tumorais em pesquisas sobre câncer e consultórios médicos. Esse projeto está sendo desenvolvido em conjunto com o Radiological Sciences Laboratory da Stanford University. O problema específico, que será abordado nesse trabalho, é que a maior parte das informações semânticas sobre imagens radiológicas não são capturados e relacionados às mesmas usando termos de ontologias biomédicas e padrões, como o RadLex e DICOM, o que impossibilita a sua avaliação automática por computadores, busca em arquivos médicos em hospitais, etc. Para tratar isso, os radiologistas precisam de uma solução computacional fácil, intuitiva e acessível para adicionar essas informações. Nesse trabalho foi desenvolvida uma solução Web para inclusão dessas anotações, o sistema ePAD. O aplicativo permite a recuperação de imagens médicas, como as imagens disponíveis em sistemas de informação hospitalares (PACS), o delineamento dos contornos de lesões tumorais, a associação de termos ontológicos a esses contornos e o armazenamento desses termos em uma base de conhecimento. Os principais desafios desse trabalho envolveram a aplicação de interfaces intuitivas baseadas em Rich Internet Applications e sua operação a partir de um navegador Web padrão. O primeiro protótipo funcional do ePAD atingiu seus objetivos ao demonstrar sua viabilidade técnica, sendo capaz de executar o mesmo trabalho básico de anotação de aplicações Desktop, como o OsiriX-iPad, sem o mesmo overhead. Também mostrou a sua utilidade a comunidade médica o que gerou o interesse de usuários potenciais / This work is a part of a larger project, the Annotation and Markup Project, which aims to create a medical knowledge base about radiological images to identify, monitor and reason about tumors in cancer research and medical practices. This project is being developed in conjunction with the Laboratory of Image Informatics at Stanford University. The specific problem that will be addressed in this work is that most of the semantic information about radiological images are not captured and related to them using terms of biomedical ontologies and standards, such as RadLex or DICOM, what makes it impossible to automatic evaluate them by computers, to search for them in hospital databases using semantic criteria, etc. To address this issue, radiologists need an easy, intuitive and affordable computational solution to add this semantic information. In this work, a web solution for adding the information was developed, the ePAD system. It allows the retrieval of medical images, such as images available in hospital information systems (PACS), the creation of contours around tumor lesions, the association of ontological terms to these contours, and the storage of this terms in a knowledge base. The main challenges of this work involved the creation of intuitive interfaces using Rich Internet Applications technology and the operation from a standard Web Browser. The first functional prototype of ePAD reached its goal of proving its technical feasibility. It was able to do the same basic annotation job of desktop applications, such as OsiriX-iPad, without the same overhead. It also showed to the medical community that it was a useful tool and that generated interest of potential early users

Sistemas web de larga escala são distribuídos em milhares de servidores em múltiplos centros de processamento de dados em diferentes localizações geográficas, operando sobre redes de longa distância (WANs). Várias técnicas são usadas para atingir os altos níveis de escalabilidade requeridos por esses sistemas. Replicação de dados está entre as principais delas, e tem por objetivo diminuir a latência, aumentar a vazão e/ou aumentar a disponibilidade do sistema. O principal problema do uso de replicação em sistemas georeplicados é a dificuldade de garantir consistência entre as réplicas sem prejudicar consideravelmente o desempenho e a disponibilidade do sistema. O desempenho do sistema é afetado pelas latências da ordem de centenas de milissegundos da WAN, enquanto a disponibilidade é afetada por falhas que impedem a comunicação entre as réplicas. Quanto mais rígido o modelo de consistência de um sistema de armazenamento, mais simples é o desenvolvimento do sistema que o usa, mas menores são seu desempenho e disponibilidade. Entre os modelos de consistência mais relaxados e mais difundidos em sistemas web georeplicados está a consistência em momento indeterminado (eventual consistency). Esse modelo de consistência garante que em algum momento as réplicas convergem após as escritas terem cessado. Um modelo mais rígido e menos difundido é a consistência na linha do tempo. Esse modelo de consistência usa uma réplica mestre para garantir que não ocorram conflitos na escrita. Nas leituras, os clientes podem ler os valores mais recentes a partir da cópia mestre, ou optar explicitamente por ler valores possivelmente desatualizados para obter maior desempenho ou disponibilidade. A consistência na linha do tempo apresenta disponibilidade menor que a consistência em momento indeterminado em determinadas situações, mas não há dados comparando o desempenho de ambas. O objetivo principal deste trabalho foi a comparação do desempenho de sistemas de armazenamento georeplicados usando esses dois modelos de consistência. Para cada modelo de consistência, foram realizados experimentos que mediram o tempo de resposta do sistema sob diferentes cargas de trabalho e diferentes condições de rede entre centros de processamento de dados. O estudo mostra que um sistema usando consistência na linha do tempo apresenta desempenho semelhante ao mesmo sistema usando consistência em momento indeterminado em uma WAN quando a localidade dos acessos é alta. Esse comparativo pode auxiliar desenvolvedores e administradores de sistemas no planejamento de capacidade e de desenvolvimento de sistemas georeplicados. / Large scale web systems are distributed among thousands of servers spread over multiple data centers in geographically different locations operating over wide area networks (WANs). Several techniques are employed to achieve the high levels of scalability required by such systems. One of the main techniques is data replication, which aims to reduce latency, increase throughput and/or increase availability. The main drawback of replication in geo-replicated systems is that it is hard to guarantee consistency between replicas without considerably impacting system performance and availability. System performance is affected by WAN latencies, typically of hundreds of miliseconds, while system availability is affected by failures cutting off communication between replicas. The more rigid the consistency model provided by a storage system, the simpler the development of the system using it, but the lower its performance and availability. Eventual consistency is one of the more relaxed and most widespread consistency models among geo-replicated systems. This consistency model guarantees that all replicas converge at some unspecified time after writes have stopped. A model that is more rigid and less widespread is timeline consistency. This consistency model uses a master replica to guarantee that no write conflicts occur. Clients can read the most up-to-date values from the master replica, or they can explicitly choose to read stale values to obtain greater performance or availability. Timeline consistency has lower availability than eventual consistency in particular situations, but there are no data comparing their performance. The main goal of this work was to compare the performance of a geo-replicated storage system using these consistency models. For each consistency model, experiments were conducted to measure system response time under different workloads and network conditions between data centers. The study shows that a system using timeline consistency has similar performance than the same system using eventual consistency over a WAN when access locality is high. This comparative may help developers and system administrators on capacity and development planning of geo-replicated systems.

83 p. / Submitted by Santiago Fabio (fabio.ssantiago@hotmail.com) on 2012-12-20T21:14:59Z No. of bitstreams: 1 777.pdf: 1255056 bytes, checksum: c2371be8118910ed232020b5e7a9012e (MD5) / Made available in DSpace on 2012-12-20T21:14:59Z (GMT). No. of bitstreams: 1 777.pdf: 1255056 bytes, checksum: c2371be8118910ed232020b5e7a9012e (MD5) Previous issue date: 2012 / O presente trabalho tem como objetivo geral entender porquê, apesar de existirem ações de incentivo ao desenvolvimento colaborativo de sistemas corporativos Web na FIOCRUZ, tal prática não é adotada de forma geral e sistemática pelos integrantes da Organização. Como objetivos específicos estudou-se a importância da aprendizagem organizacional numa organização pública federal que lida com a geração de conhecimento, identificar os possíveis aspectos técnicos, culturais e/ou motivacionais que influenciam no processo de aprendizagem organizacional no desenvolvimento de sistemas Web na Organização, e por fim, identificar oportunidades de aplicação de práticas de aprendizagem organizacional no referido processo. Inicialmente, realizou-se um estudo sobre a Aprendizagem Organizacional, na qual identificamos o modelo básico de Argyris e Schön pautado no aprendizado através dos erros, os diferentes níveis de aprendizagem presentes na Organização, e a importância da cultura organizacional em Schein, no processo de aprendizagem. O modelo do referencial teórico da pesquisa é complementado pelos autores Nonaka e Takeuchi, que demostram a institucionalização do conhecimento individual na representação do conhecimento organizacional, e pelas práticas de aprendizagem sugeridas nas disciplinas de Peter Senge. A pesquisa do estudo de caso foi considerada aplicada, com viés qualitativo. O método utilizado foi o indutivo, com a aplicação das seguintes técnicas: entrevista semiestruturada, análise documental, observação participante e questionário para complementar os dados primários. O resultado da pesquisa demonstrou casos isolados de participação colaborativa na Organização e apontou a importância da participação ativa das lideranças no processo de aprendizagem, uma vez que as equipes necessitam ser motivadas a compartilhar seus conhecimentos. / Salvador

Submitted by Ana Maria Fiscina Sampaio (fiscina@bahia.fiocruz.br) on 2013-10-18T15:37:39Z No. of bitstreams: 1 Joao Paulo dos Santos Simplicio. O processo... 2012.pdf: 1255056 bytes, checksum: c2371be8118910ed232020b5e7a9012e (MD5) / Made available in DSpace on 2013-10-18T15:37:39Z (GMT). No. of bitstreams: 1 Joao Paulo dos Santos Simplicio. O processo... 2012.pdf: 1255056 bytes, checksum: c2371be8118910ed232020b5e7a9012e (MD5) Previous issue date: 2012 / Universidade Federal da Bahia. Escola de Administração. Salvador, BA, Brasil / O presente trabalho tem como objetivo geral entender porquê, apesar de existirem ações de incentivo ao desenvolvimento colaborativo de sistemas corporativos Web na FIOCRUZ, tal prática não é adotada de forma geral e sistemática pelos integrantes da Organização. Como objetivos específicos estudou-se a importância da aprendizagem organizacional numa organização pública federal que lida com a geração de conhecimento, identificar os possíveis aspectos técnicos, culturais e/ou motivacionais que influenciam no processo de aprendizagem organizacional no desenvolvimento de sistemas Web na Organização, e por fim, identificar oportunidades de aplicação de práticas de aprendizagem organizacional no referido processo. Inicialmente, realizou-se um estudo sobre a Aprendizagem Organizacional, na qual identificamos o modelo básico de Argyris e Schbn pautado no aprendizado através dos erros, os diferentes níveis de aprendizagem presentes na Organização, e a importância da cultura organizacional em Schein, no processo de aprendizagem. O modelo do referencial teórico da pesquisa é complementado pelos autores Nonaka e Takeuchi, que demostram a institucionalização do conhecimento individual na representação do conhecimento organizacional, e pelas práticas de aprendizagem sugeridas nas disciplinas de Peter Senge. A pesquisa do estudo de caso foi considerada aplicada, com viés qualitativo. O método utilizado foi o indutivo, com a aplicação das seguintes técnicas: entrevista semiestruturada, análise documental, observação participante e questionário para complementar os dados primários. O resultado da pesquisa demonstrou casos isolados de participação colaborativa na Organização e apontou a importância da participação ativa das lideranças no processo de aprendizagem, uma vez que as equipes necessitam ser motivadas a compartilhar seus conhecimentos. / This study aims to make understand why although there are actions to encourage the collaborative development of Web corporate systems in the FIOCRUZ, this practice is not generally and systematically adopted by the members of the Organization. The specific objectives established were: the importance of organizational learning in a federal organization that deals with knowledge generation; identifying possible technical, cultural and/or motivational aspects, which influence the process of organizational learning in the development of Web systems in the Organization; and finally, identifying opportunities for applying organizational learning practices in the referred processo Initially, a study on Organizational Learning was performed, in which we identified the basic models of Argyris and Schon based on learning from mistakes, the different levels of learning present in the Organization, and the importance of the organizational culture in the learning process stated by Schein. The theory reviewed in this study was complemented by the study of the authors Nonaka and Takeuchi, who demonstrate the institutionalization of individual knowledge in the representation of organizational knowledge, and by the learning practices suggested by the disciplines of Peter Senge. The research was classified as an applied case study, with a qualitative character. The inductive method was applied with the help of techniques such as semi-structured interviews, document analysis, participant observation and questionnaire to supplement the primary data. The survey results showed isolated cases of collaborative participation in the Organization and pointed to the importance of active participation of leaders in the learning process, considering that the teams need to be motivated to share their knowledge.

Este trabalho faz parte de um projeto maior, o Annotation and Image Markup Project, que tem o objetivo de criar uma base de conhecimento médico sobre imagens radiológicas para identificação, acompanhamento e reasoning acerca de lesões tumorais em pesquisas sobre câncer e consultórios médicos. Esse projeto está sendo desenvolvido em conjunto com o Radiological Sciences Laboratory da Stanford University. O problema específico, que será abordado nesse trabalho, é que a maior parte das informações semânticas sobre imagens radiológicas não são capturados e relacionados às mesmas usando termos de ontologias biomédicas e padrões, como o RadLex e DICOM, o que impossibilita a sua avaliação automática por computadores, busca em arquivos médicos em hospitais, etc. Para tratar isso, os radiologistas precisam de uma solução computacional fácil, intuitiva e acessível para adicionar essas informações. Nesse trabalho foi desenvolvida uma solução Web para inclusão dessas anotações, o sistema ePAD. O aplicativo permite a recuperação de imagens médicas, como as imagens disponíveis em sistemas de informação hospitalares (PACS), o delineamento dos contornos de lesões tumorais, a associação de termos ontológicos a esses contornos e o armazenamento desses termos em uma base de conhecimento. Os principais desafios desse trabalho envolveram a aplicação de interfaces intuitivas baseadas em Rich Internet Applications e sua operação a partir de um navegador Web padrão. O primeiro protótipo funcional do ePAD atingiu seus objetivos ao demonstrar sua viabilidade técnica, sendo capaz de executar o mesmo trabalho básico de anotação de aplicações Desktop, como o OsiriX-iPad, sem o mesmo overhead. Também mostrou a sua utilidade a comunidade médica o que gerou o interesse de usuários potenciais / This work is a part of a larger project, the Annotation and Markup Project, which aims to create a medical knowledge base about radiological images to identify, monitor and reason about tumors in cancer research and medical practices. This project is being developed in conjunction with the Laboratory of Image Informatics at Stanford University. The specific problem that will be addressed in this work is that most of the semantic information about radiological images are not captured and related to them using terms of biomedical ontologies and standards, such as RadLex or DICOM, what makes it impossible to automatic evaluate them by computers, to search for them in hospital databases using semantic criteria, etc. To address this issue, radiologists need an easy, intuitive and affordable computational solution to add this semantic information. In this work, a web solution for adding the information was developed, the ePAD system. It allows the retrieval of medical images, such as images available in hospital information systems (PACS), the creation of contours around tumor lesions, the association of ontological terms to these contours, and the storage of this terms in a knowledge base. The main challenges of this work involved the creation of intuitive interfaces using Rich Internet Applications technology and the operation from a standard Web Browser. The first functional prototype of ePAD reached its goal of proving its technical feasibility. It was able to do the same basic annotation job of desktop applications, such as OsiriX-iPad, without the same overhead. It also showed to the medical community that it was a useful tool and that generated interest of potential early users