COORDINSPECTOR: a tool for extracting coordination data from legacy code

More and more current software systems rely on non trivial coordination logic for combining autonomous services typically running on different platforms and often owned by different organizations. Often, however, coordination data is deeply entangled in the code and, therefore, difficult to isolate and analyse separately. COORDINSPECTOR is a software tool which combines slicing and program analysis techniques to isolate all coordination elements from the source code of an existing application. Such a reverse engineering process provides a clear view of the actually invoked services as well as of the orchestration patterns which bind them together. The tool analyses Common Intermediate Language (CIL) code, the native language of Microsoft .Net Framework. Therefore, the scope of application of COORDINSPECTOR is quite large: potentially any piece of code developed in any of the programming languages which compiles to the .Net Framework. The tool generates graphical representations of the coordination layer together and identifies the underlying business process orchestrations, rendering them as Orc specifications

On the discovery of business processes orchestration patterns

COORDINSPECTOR is a Software Tool aiming at extracting the coordination layer of a software system. Such a reverse engineering process provides a clear view of the actually invoked services as well as the logic behind such invocations. The analysis process is based on program slicing techniques and the generation of, System Dependence Graphs and Coordination Dependence Graphs. The tool analyzes Common Intermediate Language (CIL), the native language of the Microsoft .Net Framework, thus making suitable for processing systems developed in any .Net Framework compilable language. COORDINSPECTOR generates graphical representations of the coordination layer together with business process orchestrations specified in WSBPEL 2.0

Domain-Specific Language for Coordination patterns

The integration and composition of software systems requires a good architectural design phase to speed up communications between (remote) components. However, during implementation phase, the code to coordinate such components often ends up mixed in the main business code. This leads to maintenance problems, raising the need for, on the one hand, separating the coordination code from the business code, and on the other hand, providing mechanisms for analysis and comprehension of the architectural decisions once made. In this context our aim is at developing a domain-specific language, CoordL, to describe typical coordination patterns. From our point of view, coordination patterns are abstractions, in a graph form, over the composition of coordination statements from the system code. These patterns would allow us to identify, by means of pattern-based graph search strategies, the code responsible for the coordination of the several components in a system. The recovering and separation of the architectural decisions for a better comprehension of the software is the main purpose of this pattern language

Improving Remote Voting Security with Code Voting

One of the major problems that prevents the spread of elections with the possibility of remote voting over electronic networks, also called Internet Voting, is the use of unreliable client platforms, such as the voter's computer and the Internet infrastructure connecting it to the election server. A computer connected to the Internet is exposed to viruses, worms, Trojans, spyware, malware and other threats that can compromise the election's integrity. For instance, it is possible to write a virus that changes the voter's vote to a predetermined vote on election's day. Another possible attack is the creation of a fake election web site where the voter uses a malicious vote program on the web site that manipulates the voter's vote (phishing/pharming attack). Such attacks may not disturb the election protocol, therefore can remain undetected in the eyes of the election auditors. We propose the use of Code Voting to overcome insecurity of the client platform. Code Voting consists in creating a secure communication channel to communicate the voter's vote between the voter and a trusted component attached to the voter's computer. Consequently, no one controlling the voter's computer can change the his/her's vote. The trusted component can then process the vote according to a cryptographic voting protocol to enable cryptographic verification at the server's side.

Agent Inferencing Meets the Semantic Web

We provide all agent; the capability to infer the relations (assertions) entailed by the rules that, describe the formal semantics of art RDFS knowledge-base. The proposed inferencing process formulates each semantic restriction as a rule implemented within a, SPARQL query statement. The process expands the original RDF graph into a fuller graph that. explicitly captures the rule's described semantics. The approach is currently being explored in order to support descriptions that follow the generic Semantic Web Rule Language. An experiment, using the Fire-Brigade domain, a small-scale knowledge-base, is adopted to illustrate the agent modeling method and the inferencing process.

Concepção de uma pequena turbina eólica destinada ao segmento doméstico (simplificação e análise aerodinâmica das pás)

O trabalho que se apresenta incide sobre o estudo aerodinâmico das pás de uma turbina eólica de pequeno porte, com vista à simplificação geométrica, de forma a que estas sejam baratas e de fácil concepção. A teoria da quantidade de movimento do elemento de pá (BEMT), que é o modelo de referência para o projecto e análise aerodinâmica das pás das turbinas eólicas, foi utilizada neste trabalho de forma a projectar e analisar aerodinamicamente as pás da turbina. Sendo assim, desenvolveu-se um programa computacional em MATLAB, denominado de “Turbina”, de forma a implementar a teoria BEM. Introduzindo os dados dos parâmetros de projecto no programa (potência requerida, o número de pás, velocidade do vento, a TSR e o tipo de perfil alar), obtêm-se os parâmetros geométricos das pás (distribuição da corda ao longo da envergadura, o raio da pá e a distribuição da torção da pá), os parâmetros aerodinâmicos e de desempenho. Uma pá ideal foi calculada e de seguida foi modificada de forma a obter-se uma pá simples e menos carregada aerodinamicamente. Introduzidas as modificações na geometria da pá ideal, obtiveram-se duas configurações distintas. Uma configuração linear, onde a distribuição da corda e do ângulo de torção se tornam lineares, e outra configuração bi-linear, onde a distribuição da corda continua linear mas o ângulo de torção se torna bi-linear, isto é, a pá é composta por dois troços onde cada troço apresenta uma distribuição linear do ângulo de torção geométrica. As conclusões demonstram que a configuração bi-linear é uma boa alternativa a configuração ideal, apresentando uma redução do desempenho do rotor de 2.8% para um aumento do raio da pá em 1.41%, para se obter a mesma potência da configuração ideal. A análise aos perfis alares, utilizados neste trabalho, foi efectuada a partir dos programas comerciais ICEM e FLUENT. De forma a automatizar a análise de CFD, três programas foram desenvolvidos utilizando a linguagem de programação “C”. Os programas são denominados de “Malha2D”, “Calcula_Coeficientes” e “Plot_Graficos”. Finalmente, um estudo paramétrico foi feito de forma a avaliar a influências das variáveis de projecto no desempenho geral da turbina.

Caracterização da amostra portuguesa da área da saúde na Web of Science

Introdução: A produção e o uso da literatura científica são analisados, quantificados e interpretados pela bibliometria, ciência utilizada para estudos métricos da informação publicada e que estuda as questões relacionadas com a comunicação científica e a atividade científica. Objetivo: O estudo apresentado é uma análise bibliométrica da produção científica portuguesa da área da saúde indexada na Web of Science. Métodos: Analisa-se a produção referente ao período entre 1992 e final de 2011. A análise da produção científica centrou-se nas seguintes variáveis: categorias de classificação da Web of Science, tipologia de documentos indexados, títulos de revistas, distribuição por anos de publicação, afiliação institucional, idiomas, países de origem dos autores com quem foram estabelecidas relações de parceria científica e quem facultou os financiamentos à investigação científica. Resultados: Foram contabilizados 34.208 trabalhos. Destes, o artigo é a forma mais utilizada pelos autores portugueses para a divulgação dos resultados de investigação (58,5%). A década mais recente é contemplada com 75,4% dos registos. A maioria da produção com visibilidade internacional é oriunda de universidades e de centros de investigação hospitalar; institutos, laboratórios da indústria farmacêutica e universidades estrangeiras têm valores residuais. A colaboração com outros investigadores internacionais destaca-se no caso da Europa (73,2%). O financiamento da investigação científica é suportado basicamente pela Fundação para a Ciência e Tecnologia (59,5%), seguida da Comissão Europeia (17,8%). O inglês é o idioma mais usado para a divulgação dos resultados de investigação nacional na área da saúde (97,8%). Conclusões: O uso de bases de dados ou de plataformas científicas para estudos bibliométricos é um processo moroso e difícil. O total de trabalhos em análise foi sempre o mesmo mas, em algumas variáveis, os valores não coincidem, quer porque alguns dos registos foram classificados em mais do que uma categoria temática, quer pelos trabalhos multidisciplinares oriundos das mesmas instituições, quer pelos trabalhos de colaboração internacional. Também no presente estudo os artigos são o veículo privilegiado para a divulgação dos resultados científicos. Apontamento final: deve encorajar-se a utilização de outras plataformas científicas e de outras bases de dados para uma mais completa recuperação da produção científica nacional na área da saúde. Introduction: The production and the use of the scientific literature are analyzed, quantified and interpreted by bibliometry. Bibliometry is the science used in published information metric studies and studies the questions of scientific communication and the scientific production. Aim of the study: This study presents a bibliometric analysis of the indexed Web of Science Portuguese scientific production in the health field. Methods: We analyzed the production from 1992 to the end of 2011. This analysis focused in several variables: general categories areas of Web of Science, indexed document types, source titles, publication years, group/corporate authors, languages, identification of the countries with scientific partnerships and identification of the funding agencies for scientific research. Results: We found 34.208 works. From this, the article is the most common channel for disseminating the research results (58.5%). The most recent decade has 75.4% of the total of records. Most of the production with international visibility becomes from universities and hospital research centers; institutes, pharmaceutical labs or foreign universities have residual values. Collaborating with other international researchers is very common, particularly with Europe (73.2%). In general, the Fundação para a Ciência e Tecnologia supports the scientific research (59.5%), followed by the European Commission (17.8%). The language commonly used for disseminating the research results in health is the English (97.8%). Conclusions: Using databases or scientific platforms for bibliometric studies is a hard and difficult process. The total of works analyzed was always the same but, with some variables, the numbers does not coincide: a) some of the registries were classified in several categories; b) some of the multidisciplinary works were from the same institution; c) the large number of international partnership. In this study, articles are the privileged way for disseminating the scientific results. A last thought: the use of other scientific platforms and databases should be encouraged for a more complete retrieval of the national research production in health.

Caracterização da amostra portuguesa da área da saúde na Web of Science

Introdução: A produção e o uso da literatura científica são analisados, quantificados e interpretados pela bibliometria, ciência utilizada para estudos métricos da informação publicada e que estuda as questões relacionadas com a comunicação científica e a atividade científica. Objetivo: O estudo apresentado é uma análise bibliométrica da produção científica portuguesa da área da saúde indexada na Web of Science. Métodos: Analisa-se a produção referente ao período entre 1992 e final de 2011. A análise da produção científica centrou-se nas seguintes variáveis: categorias de classificação da Web of Science, tipologia de documentos indexados, títulos de revistas, distribuição por anos de publicação, afiliação institucional, idiomas, países de origem dos autores com quem foram estabelecidas relações de parceria científica e quem facultou os financiamentos à investigação científica. Resultados: Foram contabilizados 34.208 trabalhos. Destes, o artigo é a forma mais utilizada pelos autores portugueses para a divulgação dos resultados de investigação (58,5%). A década mais recente é contemplada com 75,4% dos registos. A maioria da produção com visibilidade internacional é oriunda de universidades e de centros de investigação hospitalar; institutos, laboratórios da indústria farmacêutica e universidades estrangeiras têm valores residuais. A colaboração com outros investigadores internacionais destaca-se no caso da Europa (73,2%). O financiamento da investigação científica é suportado basicamente pela Fundação para a Ciência e Tecnologia (59,5%), seguida da Comissão Europeia (17,8%). O inglês é o idioma mais usado para a divulgação dos resultados de investigação nacional na área da saúde (97,8%). Conclusões: O uso de bases de dados ou de plataformas científicas para estudos bibliométricos é um processo moroso e difícil. O total de trabalhos em análise foi sempre o mesmo mas, em algumas variáveis, os valores não coincidem, quer porque alguns dos registos foram classificados em mais do que uma categoria temática, quer pelos trabalhos multidisciplinares oriundos das mesmas instituições, quer pelos trabalhos de colaboração internacional. Também no presente estudo os artigos são o veículo privilegiado para a divulgação dos resultados científicos. Apontamento final: deve encorajar-se a utilização de outras plataformas científicas e de outras bases de dados para uma mais completa recuperação da produção científica nacional na área da saúde. Introduction: The production and the use of the scientific literature are analyzed, quantified and interpreted by bibliometry. Bibliometry is the science used in published information metric studies and studies the questions of scientific communication and the scientific production. Aim of the study: This study presents a bibliometric analysis of the indexed Web of Science Portuguese scientific production in the health field. Methods: We analyzed the production from 1992 to the end of 2011. This analysis focused in several variables: general categories areas of Web of Science, indexed document types, source titles, publication years, group/corporate authors, languages, identification of the countries with scientific partnerships and identification of the funding agencies for scientific research. Results: We found 34.208 works. From this, the article is the most common channel for disseminating the research results (58.5%). The most recent decade has 75.4% of the total of records. Most of the production with international visibility becomes from universities and hospital research centers; institutes, pharmaceutical labs or foreign universities have residual values. Collaborating with other international researchers is very common, particularly with Europe (73.2%). In general, the Fundação para a Ciência e Tecnologia supports the scientific research (59.5%), followed by the European Commission (17.8%). The language commonly used for disseminating the research results in health is the English (97.8%). Conclusions: Using databases or scientific platforms for bibliometric studies is a hard and difficult process. The total of works analyzed was always the same but, with some variables, the numbers does not coincide: a) some of the registries were classified in several categories; b) some of the multidisciplinary works were from the same institution; c) the large number of international partnership. In this study, articles are the privileged way for disseminating the scientific results. A last thought: the use of other scientific platforms and databases should be encouraged for a more complete retrieval of the national research production in health.

Web survey system to discover the actual role of experience in learning in higher education: a case study

March 19 - 22, 2006, São Paulo, BRAZIL World Congress on Computer Science, Engineering and Technology Education

Estudo preliminar para a avaliação da acessibilidade de um sítio Web

O avanço e difusão da tecnologia, em particular da Internet, obrigaram à disponibilização de informação com qualidade e facilmente acessível. Tais exigências vêm confirmar a relevância do papel da interface como elemento principal na interacção do utilizador com os sistemas de informação. É, por isso, fundamental que a interface seja fácil de usar e que vá ao encontro das expectativas e necessidades de todos os utilizadores. O desenvolvimento de interfaces que satisfaçam utilizadores com necessidades distintas, independentemente das suas capacidades motoras e perceptivas, culturais e sociais não é uma tarefa que possa se considerada simples [1]. De acordo com vários especialistas em Interacção Homem-Computador, [1], [2] e [3] as interfaces devem ser construídas respeitando os princípios de desenho centrado no utilizador, visando um elevado grau de usabilidade e em conformidade com directrizes de acessibilidade básicas. Este trabalho apresenta uma metodologia para avaliação da acessibilidade de um sítio Web, baseado num documento disponibilizado pela Web Accessibility Initiative, WAI, [4], a ser aplicada à secretaria on-line de uma escola do ensino superior.

Avaliação da caracterização de lesões em mamografia com recurso a sistemas CAD (Computer-Aided Diagnosis)

Os sistemas Computer-Aided Diagnosis (CAD) auxiliam a deteção e diferenciação de lesões benignas e malignas, aumentando a performance no diagnóstico do cancro da mama. As lesões da mama estão fortemente correlacionadas com a forma do contorno: lesões benignas apresentam contornos regulares, enquanto as lesões malignas tendem a apresentar contornos irregulares. Desta forma, a utilização de medidas quantitativas, como a dimensão fractal (DF), pode ajudar na caracterização dos contornos regulares ou irregulares de uma lesão. O principal objetivo deste estudo é verificar se a utilização concomitante de 2 (ou mais) medidas de DF – uma tradicionalmente utilizada, a qual foi designada por “DF de contorno”; outra proposta por nós, designada por “DF de área” – e ainda 3 medidas obtidas a partir destas, por operações de dilatação/erosão e por normalização de uma das medidas anteriores, melhoram a capacidade de caracterização de acordo com a escala BIRADS (Breast Imaging Reporting and Data System) e o tipo de lesão. As medidas de DF (DF contorno e DF área) foram calculadas através da aplicação do método box-counting, diretamente em imagens de lesões segmentadas e após a aplicação de um algoritmo de dilatação/erosão. A última medida baseia-se na diferença normalizada entre as duas medidas DF de área antes e após a aplicação do algoritmo de dilatação/erosão. Os resultados demonstram que a medida DF de contorno é uma ferramenta útil na diferenciação de lesões, de acordo com a escala BIRADS e o tipo de lesão; no entanto, em algumas situações, ocorrem alguns erros. O uso combinado desta medida com as quatro medidas propostas pode melhorar a classificação das lesões.

Localização de páginas web do conceito ao processo

Conceitos como Globalização, Internacionalização, Localização e Tradução surgem, na realidade da indústria da língua, com uma grande interligação, mas com perspectivas nem sempre concordantes. O nosso trabalho analisa, por isso, as diferentes definições propostas dedicando especial atenção ao conceito de localização, uma vez que o nosso projecto analisa o processo de localização de uma página Web desenvolvido num contexto empresarial real. O nosso enfoque recai mais específicamente sobre a localização de páginas Web, objecto do nosso projecto, identificando não só as suas particularidades, como também os intervenientes e o tipo de competências necessárias para o desenvolvimento de um trabalho nesta área da tradução e as ferramentas disponíveis para o profissional da tradução/ localização, de que se destacam as freeware. O processo de localização impõe metas de qualidade exigentes, pelo que, partindo da definição do conceito de qualidade, analisamos o tipo de requisitos necessários a uma correcta definição de tarefas e objectivos no contexto da localização. Esta definição de conceitos e a análise do processo de localização suportaram, em seguida, o desenvolvimento do objecto do nosso projecto - o processo de localização da página Web da empresa Pinto & Cruz, ao mesmo tempo que permitiram uma prévia identificação de todos os passos a desenvolver e do tipo de dificuldades e problemas a enfrentar. Assim, e em função das condicionantes impostas pelo modelo de gestão da página, definimos um fluxo de trabalho, em que identificamos as diferentes fases e intervenientes, mediante a utilização de uma plataforma de trabalho disponibilizada pelo webmaster do sítio em questão. O processo seguido para a localização da página é descrito, as suas especificidades documentadas e as dúvidas e dificuldades identificadas. Pretendeu-se, com o desenvolvimento deste projecto e com a descrição feita sistematizar uma abordagem ao processo e alertar para o tipo de dificuldades inerentes à sua prossecução, sobretudo para quem se dispõem a fazê-lo pela primeira vez.

A survey of techniques and technologies for web-based real-time interactive rendering

When exploring a virtual environment, realism depends mainly on two factors: realistic images and real-time feedback (motions, behaviour etc.). In this context, photo realism and physical validity of computer generated images required by emerging applications, such as advanced e-commerce, still impose major challenges in the area of rendering research whereas the complexity of lighting phenomena further requires powerful and predictable computing if time constraints must be attained. In this technical report we address the state-of-the-art on rendering, trying to put the focus on approaches, techniques and technologies that might enable real-time interactive web-based clientserver rendering systems. The focus is on the end-systems and not the networking technologies used to interconnect client(s) and server(s).