JCircus 2.0: Uma extensão da ferramenta de tradução de Circus para Java

This dissertation aims at extending the JCircus tool, a translator of formal specifications into code that receives a Circus specification as input, and translates the specification into Java code. Circus is a formal language whose syntax is based on Z s and CSP s syntax. JCircus generated code uses JCSP, which is a Java API that implements CSP primitives. As JCSP does not implement all CSP s primitives, the translation strategy from Circus to Java is not trivial. Some CSP primitives, like parallelism, external choice, communication and multi-synchronization are partially implemented. As an aditional scope, this dissertation will also develop a tool for testing JCSP programs, called JCSPUnit, which will also be included in JCircus new version. The extended version of JCircus will be called JCircus 2.0.

Reqsys-MDD: uma ferramenta para mapeamento entre modelos de features e requisitos em linhas de produto de software

The approach Software Product Line (SPL) has become very promising these days, since it allows the production of customized systems on large scale through product families. For the modeling of these families the Features Model is being widely used, however, it is a model that has low level of detail and not may be sufficient to guide the development team of LPS. Thus, it is recommended add the Features Model to other models representing the system from other perspectives. The goals model PL-AOVgraph can assume this role complementary to the Features Model, since it has a to context oriented language of LPS's, which allows the requirements modeling in detail and identification of crosscutting concerns that may arise as result of variability. In order to insert PL-AOVgraph in development of LPS's, this paper proposes a bi-directional mapping between PL-AOVgraph and Features Model, which will be automated by tool ReqSys-MDD. This tool uses the approach of Model-Driven Development (MDD), which allows the construction of systems from high level models through successive transformations. This enables the integration of ReqSys-MDD with other tools MDD that use their output models as input to other transformations. So it is possible keep consistency among the models involved, avoiding loss of informations on transitions between stages of development

Squid impact analyser: uma ferramenta para análise de impacto de mudança em linhas de produto de software

Software Products Lines (SPL) is a software engineering approach to developing software system families that share common features and differ in other features according to the requested software systems. The adoption of the SPL approach can promote several benefits such as cost reduction, product quality, productivity, and time to market. On the other hand, the SPL approach brings new challenges to the software evolution that must be considered. Recent research work has explored and proposed automated approaches based on code analysis and traceability techniques for change impact analysis in the context of SPL development. There are existing limitations concerning these approaches such as the customization of the analysis functionalities to address different strategies for change impact analysis, and the change impact analysis of fine-grained variability. This dissertation proposes a change impact analysis tool for SPL development, called Squid Impact Analyzer. The tool allows the implementation of change impact analysis based on information from variability modeling, mapping of variability to code assets, and existing dependency relationships between code assets. An assessment of the tool is conducted through an experiment that compare the change impact analysis results provided by the tool with real changes applied to several evolution releases from a SPL for media management in mobile devices

EUPAT for WoW: Uma ferramenta de assistência à programação por usuário final

Neste trabalho, apresentamos uma ferramenta cujo intuito é auxiliar não-programadores, jogadores de videogame, na criação de extensões na forma de Add-ons para World of Warcraft, o jogo online. Nele, o usuário pode criar extensões customizando completamente sua interface, de forma a reinventar a sua experiência de jogo e melhorar sua jogabilidade. A criação de extensões para aplicativos e jogos surgiu da crescente necessidade de fornecer aos usuários mecanismos eficientes de Programação por Usuário Final, permitindo que os mesmos preenchessem suas necessidades singulares através da criação, customização e especificação de extensões em software. Em World of Warcraft mais especificamente, os Add-ons exploram um tipo de extensão na qual os jogadores passam a programar sua própria interface de usuário ou a fazer uso de interfaces criadas por outros usuários. No entanto, realizar a programação dessas extensões - os Add-ons - não é uma tarefa fácil. Dentro deste contexto, desenvolvemos a ferramenta EUPAT for WoW (do inglês, End-User Programming Assistance Tool for World of Warcraft) que oferece assistência à criação de Add-ons. Além disso, investigamos como usuários jogadores com e sem conhecimento de programação são beneficiados. Os resultados desta pesquisa permitiram refletir sobre as estratégias de assistência de programação por usuário final no contexto de jogos

Uma máquina de redução de grafos para serviços web

Web services are software accessible via the Internet that provide functionality to be used by applications. Today, it is natural to reuse third-party services to compose new services. This process of composition can occur in two styles, called orchestration and choreography. A choreography represents a collaboration between services which know their partners in the composition, to achieve the service s desired functionality. On the other hand, an orchestration have a central process (the orchestrator) that coordinates all application operations. Our work is placed in this latter context, by proposing an abstract model for running service orchestrations. For this purpose, a graph reduction machine will be defined for the implementation of service orchestrations specified in a variant of the PEWS composition language. Moreover, a prototype of this machine (in Java) is built as a proof of concept

BTS:uma ferramenta de suporte ao desenvolvimento sistemático de sistemas confiáveis baseados em componentes

The component-based development of systems revolutionized the software development process, facilitating the maintenance, providing more confiability and reuse. Nevertheless, even with all the advantages of the development of components, their composition is an important concern. The verification through informal tests is not enough to achieve a safe composition, because they are not based on formal semantic models with which we are able to describe precisally a system s behaviour. In this context, formal methods provide ways to accurately specify systems through mathematical notations providing, among other benefits, more safety. The formal method CSP enables the specification of concurrent systems and verification of properties intrinsic to them, as well as the refinement among different models. Some approaches apply constraints using CSP, to check the behavior of composition between components, assisting in the verification of those components in advance. Hence, aiming to assist this process, considering that the software market increasingly requires more automation, reducing work and providing agility in business, this work presents a tool that automatizes the verification of composition among components, in which all complexity of formal language is kept hidden from users. Thus, through a simple interface, the tool BST (BRIC-Tool-Suport) helps to create and compose components, predicting, in advance, undesirable behaviors in the system, such as deadlocks

Detecção e recuperação de falhas para a máquina de redução de grafos PEWS-AM

Web services are software units that allow access to one or more resources, supporting the deployment of business processes in the Web. They use well-defined interfaces, using web standard protocols, making possible the communication between entities implemented on different platforms. Due to these features, Web services can be integrated as services compositions to form more robust loose coupling applications. Web services are subject to failures, unwanted situations that may compromise the business process partially or completely. Failures can occur both in the design of compositions as in the execution of compositions. As a result, it is essential to create mechanisms to make the implementation of service compositions more robust and to treat failures. Specifically, we propose the support for fault recovery in service compositions described in PEWS language and executed on PEWS-AM, an graph reduction machine. To support recovery failure on PEWS-AM, we extend the PEWS language specification and adapted the rules of translation and reduction of graphs for this machine. These contributions were made both in the model of abstract machine as at the implementation level

Uma ferramenta de análise automatizada de técnicas de seleção de testes de regressão baseada em mineração de repositórios de software

The main goal of Regression Test (RT) is to reuse the test suite of the latest version of a software in its current version, in order to maximize the value of the tests already developed and ensure that old features continue working after the new changes. Even with reuse, it is common that not all tests need to be executed again. Because of that, it is encouraged to use Regression Tests Selection (RTS) techniques, which aims to select from all tests, only those that reveal faults, this reduces costs and makes this an interesting practice for the testing teams. Several recent research works evaluate the quality of the selections performed by RTS techniques, identifying which one presents the best results, measured by metrics such as inclusion and precision. The RTS techniques should seek in the System Under Test (SUT) for tests that reveal faults. However, because this is a problem without a viable solution, they alternatively seek for tests that reveal changes, where faults may occur. Nevertheless, these changes may modify the execution flow of the algorithm itself, leading some tests no longer exercise the same stretch. In this context, this dissertation investigates whether changes performed in a SUT would affect the quality of the selection of tests performed by an RTS, if so, which features the changes present which cause errors, leading the RTS to include or exclude tests wrongly. For this purpose, a tool was developed using the Java language to automate the measurement of inclusion and precision averages achieved by a regression test selection technique for a particular feature of change. In order to validate this tool, an empirical study was conducted to evaluate the RTS technique Pythia, based on textual differencing, on a large web information system, analyzing the feature of types of tasks performed to evolve the SUT

Programa de cessação de tabagismo como ferramenta para o diagnóstico precoce de doença pulmonar obstrutiva crônica

OBJETIVO: A doença pulmonar obstrutiva crônica (DPOC) é subdiagnosticada e subtratada, o que resulta em subestimação do impacto da doença. O objetivo deste estudo foi avaliar se a inclusão da espirometria na avaliação dos fumantes que ingressam em programas de cessação do tabagismo contribui para o diagnóstico precoce da DPOC. MÉTODOS: Análise retrospectiva de dados médicos de 158 fumantes atendidos no programa cessação de tabagismo (Faculdade de Medicina de Botucatu, São Paulo, Brasil), de janeiro 2003 a novembro 2005. Todos os indivíduos tinham mais de 40 anos (idade média: 55 ± 8,5 anos), sendo 99 (62,6%) do sexo feminino. Foram analisados os dados clínicos, os diagnósticos médicos prévios e os resultados da espirometria. RESULTADOS: Dos 158 fumantes avaliados, 57 (36,1%) indivíduos preenchiam os critérios diagnósticos para DPOC e 14 (8,9%) foram considerados em risco para o desenvolvimento da doença. Dos 57 que preenchiam os critérios diagnósticos para DPOC, 39 (68,4%) foram diagnósticos novos e 18 (31,6%) foram confirmação de diagnóstico prévio da doença. Entre os 18 com diagnóstico anterior, 10 (56%) tinham doença leve/moderada e 8 (44%) doença grave. Sete pacientes com diagnóstico anterior de DPOC apresentaram resultados de função de pulmonar não compatíveis com os critérios diagnósticos da doença. Entre os 39 novos diagnósticos, 38 (97,4%) eram de doença leve/moderada e apenas 1 (2,6%) tinha DPOC grave CONCLUSÃO: A inclusão da espirometria na avaliação inicial dos fumantes admitidos em programa de cessação de tabagismo pode ser uma ferramenta útil para o diagnóstico precoce da DPOC.

Uma ferramenta didática para ajudar na fixação dos conceitos introdutórios de análise combinatória

Humans, as well as some animals are born gifted with the ability to perceive quantities. The needs that came from the evolution of societies and technological resources make the the optimization of such counting methods necessary. Although necessary and useful, there are a lot of diculties in the teaching of such methods.In order to broaden the range of available tools to teach Combinatorial Analysis, a owchart is presented in this work with the goal of helping the students to x the initial concepts of such subject via pratical exercises

Desenvolvimento de um sistema computacional para geração automática de mapas de vulnerabilidade como ferramenta de auxílio às ações de prevenção ao derramamento de óleo em áreas costeiras

The northern portion of the Rio Grande do Norte State is characterized by intense coastal dynamics affecting areas with ecosystems of moderate to high environmental sensitivity. In this region are installed the main socioeconomic activities of RN State: salt industry, shrimp farm, fruit industry and oil industry. The oil industry suffers the effects of coastal dynamic action promoting problems such as erosion and exposure of wells and pipelines along the shore. Thus came the improvement of such modifications, in search of understanding of the changes which causes environmental impacts with the purpose of detecting and assessing areas with greater vulnerability to variations. Coastal areas under influence oil industry are highly vulnerable and sensitive in case of accidents involving oil spill in the vicinity. Therefore, it was established the geoenvironmental monitoring of the region with the aim of evaluating the entire coastal area evolution and check the sensitivity of the site on the presence of oil. The goal of this work was the implementation of a computer system that combines the needs of insertion and visualization of thematic maps for the generation of Environmental Vulnerability maps, using techniques of Business Intelligence (BI), from vector information previously stored in the database. The fundamental design interest was to implement a more scalable system that meets the diverse fields of study and make the appropriate system for generating online vulnerability maps, automating the methodology so as to facilitate data manipulation and fast results in cases of real time operational decision-making. In database development a geographic area was established the conceptual model of the selected data and Web system was done using the template database PostgreSQL, PostGis spatial extension, Glassfish Web server and the viewer maps Web environment, the GeoServer. To develop a geographic database it was necessary to generate the conceptual model of the selected data and the Web system development was done using the PostgreSQL database system, its spatial extension PostGIS, the web server Glassfish and GeoServer to display maps in Web

Utilização de sismógrafos de engenharia como ferramenta no controle de qualidade de acessórios de detonação não elétricos

Nesse artigo, são apresentados os trabalhos realizados com o objetivo de verificar se a elevada dispersão dos valores de velocidade de partícula obtidos durante monitoramentos de vibrações decorrentes de desmontes de rocha com a utilização de explosivos, em mineração localizada no município de Limeira (SP), vinculava-se a variações nos tempos dos elementos de retardo dos acessórios de detonação em relação aos nominais. Os experimentos foram realizados em janeiro e junho de 2004. O procedimento adotado para estimar os tempos de retardo de acessórios de detonação não elétricos redundou em resultados que apresentam consistência, necessitando, porém, de estudos mais aprofundados. Os dados obtidos indicam a necessidade de considerar sua ocorrência quando da elaboração de planos de fogo, por suas implicações: ambientais, que inclui aspectos relativos à segurança e econômicas.

Livro didático: uma ferramenta possível de trabalho com a dança na Educação Física Escolar

O presente ensaio propõe algumas reflexões sobre como o livro didático se articula com a Educação Física, apontando algumas discussões sobre o processo de elaboração de um material de dança na perspectiva da Pluralidade Cultural voltado para o professor e para o aluno. O texto traz algumas sugestões de como construir um livro com este objetivo para a área, considerando o contexto deste componente curricular. E, finalmente problematiza algumas questões sobre a importância da autonomia do professor para o processo de ensino-aprendizagem, bem como o uso que o mesmo pode fazer do livro didático.

Pressão de preconsolidação como ferramenta de análise da sustentabilidade estrutural de classes de solos com diferentes usos

O principal problema ambiental causado pelo uso do solo em áreas de preservação permanente longitudinais aos rios é a supressão da mata ciliar. O tipo e a intensidade desse uso alteram a estrutura do solo e comprometem as funções físicas dessas áreas, principalmente próximo aos cursos d'água. O objetivo deste trabalho foi avaliar a sustentabilidade estrutural, a partir do ensaio de compressão uniaxial, de três classes de solo (Cambissolo Háplico, Argissolo Amarelo e Gleissolo Háplico) e o impacto de diferentes tipos de usos do solo - não permitido pela legislação ambiental - de áreas de preservação permanente na sub-bacia do rio Ribeira de Iguape, SP. Foram delimitadas na área experimental três classes de solo: Cambissolo, Argissolo e Gleissolo. Numa primeira etapa, compararam-se as três classes de solos sob mata nativa e sob pastagem. Na segunda, avaliou-se a influência de diferentes tipos de uso do solo - cultivo de banana, pastagem degradada, uso silvipastoril e mata nativa - sobre a estrutura de um Cambissolo. A pressão de preconsolidação mostrou-se ferramenta capaz de identificar a degradação nos solos. O uso do solo nas áreas de preservação permanente altera a pressão de preconsolidação do solo, causando sua degradação estrutural, colocando em risco a sustentabilidade das terras, e não deve ser permitido. O Gleissolo mostrou maiores valores de pressão de preconsolidação em função de teores crescentes de água e, portanto, maior capacidade de suporte de carga em relação ao Cambissolo e Argissolo. O cultivo de banana foi o tipo de uso que mais degradou os solos das áreas de preservação permanente.

Quimiometria como ferramenta analitica para definição das condiçoes de ensaio da enzima peroxidase de soja

Enzimas Peroxidases são heme-proteínas encontradas nos diferentes organismos vivos, especialmente vegetais, apresentam importante papel fisiológico/bioquímico como proteção contra microorganismos invasores. A soja, um dos mais importantes produtos para o agronegócio brasileiro apresenta na casca de suas sementes (subproduto) alta atividade de peroxidase, denominada soybean peroxidase,com potencial de utilização em métodos analíticos clínicos. A proposta do trabalho foi aplicar o planejamento fatorial para otimização das condições extração da enzima, definição das condições ótimas de atividade (pH e temperatura), utilizando metodologia de superfície de resposta. Os dados obtidos com clara definição foram: i) extração em pó cetonico, ii) meio reacional: pH 3,3, volume da amostra contendo a enzima 330 µL - 340 µL, peróxido de hidrogênio 4,2 mmol.L-1 150 µL, tempo de reação 20 segundos, temperatura 50º C, substrato guaiacol 30mmol.L-1 300 µL, e 0,1 mol.L-1 de NaCl. O uso da dessa metodologia para definição das condições de extração e estudos cinético-enzimáticos da peroxidase de soja foram eficientes e mais precisos, comparado a metodologia de variações/repetições (tentativa e erro).