A Compositional Semantics of UML-RSDS

This paper provides a semantics for the UML-RSDS (Reactive System Development Support) subset of UML, using the real-time action logic (RAL) formalism. We show how this semantics can be used to resolve some ambiguities and omissions in UML semantics, and to support reasoning about specifications using the B formal method and tools. We use `semantic profiles' to provide precise semantics for different semantic variation points of UML. We also show how RAL can be used to give a semantics to notations for real-time specification in UML. Unlike other approaches to UML semantics, which concentrate on the class diagram notation, our semantic representation has behaviour as a central element, and can be used to define semantics for use cases, state machines and interactions, in addition to class diagrams.

QoS-aware model driven architecture through the UML and CIM

The specification of Quality of Service (QoS) constraints over software design requires measures that ensure such requirements are met by the delivered product. Achieving this goal is non-trivial, as it involves, at least, identifying how QoS constraint specifications should be checked at the runtime. In this paper we present an implementation of a Model Driven Architecture (MDA) based framework for the runtime monitoring of QoS properties. We incorporate the UML2 superstructure and the UML profile for Quality of Service to provide abstract descriptions of component-and-connector systems. We then define transformations that refine the UML2 models to conform with the Distributed Management Taskforce (DMTF) Common Information Model (CIM) (Distributed Management Task Force Inc. 2006), a schema standard for management and instrumentation of hardware and software. Finally, we provide a mapping the CIM metamodel to a .NET-based metamodel for implementation of the monitoring infrastructure utilising various .NET features including the Windows Management Instrumentation (WMI) interface.

Diretrizes e critérios de cobertura de teste a partir de especificações UML

As maiores dificuldades encontradas no teste de software estão relacionadas à definição dos dados de teste e a decisão de quando encerrar os testes. Uma das formas encontradas para minimizar tais dificuldades está centrada na utilização de critérios de cobertura. O principal objetivo dos critérios de cobertura é tornar o processo de testes mais rápido e preciso, fornecendo informações que determinem o que testar em um software para garantir sua qualidade. A modelagem é um dos elementos de maior importância nas atividades relacionadas ao desenvolvimento de software. Os modelos são construídos principalmente para melhor se entender o sistema, descrever a estrutura e comportamento desejados, visualizar a arquitetura e documentar as decisões tomadas durante o seu desenvolvimento. Atualmente, o sistema de notação mais utilizado para a modelagem de sistemas baseados nos conceitos de orientação a objetos é a Linguagem de Modelagem Unificada – UML [LAR 99]. Nesta notação, um sistema é descrito por um conjunto de diagramas que apresentam diferentes aspectos do sistema. As informações disponibilizadas por estes diagramas propiciam, já nas fases iniciais do desenvolvimento da aplicação (análise e projeto), o planejamento dos casos de teste e a definição de critérios de cobertura. Observa-se que nestas fases a maioria das informações necessárias para o teste já estão disponíveis, como por exemplo, a definição das classes com seus atributos, métodos e relacionamentos, a representação da interação existente entre objetos para a realização de um cenário e a descrição dos possíveis estados e transições de um objeto em resposta a eventos externos e internos. Este trabalho propõe um conjunto de diretrizes e critérios de cobertura de teste, tendo como base as especificações diagramáticas UML. As diretrizes estabelecem um conjunto de instruções para que o teste seja feito e os critérios de cobertura identificam os pontos principais e serem considerados durante o teste. Na definição das diretrizes e dos critérios foram avaliadas as informações disponibilizadas pelos diagramas de classes, seqüência, colaboração e estados.

Caracterização parcial de um fragmento e detecção por RT-PCR de Rice Stripe Necrosis Virus

O enrolamento do arroz é uma doença viral emergente no Brasil causada pelo Rice stripe necrosis virus (RSNV) que é transmitido pelo protozoário Polymyxa graminis. RSNV é um membro do gênero Benyvirus com genoma dividido em 4 RNAs de fita simples no sentido positivo (ssRNA +). Em função da falta de conhecimento sobre a seqüência de nucleotídeos do seu genoma, a detecção de RSNV através de métodos moleculares não é utilizada. O objetivo deste trabalho foi identificar seqüências do genoma de RSNV que possibilitassem sua detecção em plantas de arroz através da técnica de transcrição reversa seguida da reação em cadeia da polimerase (RT-PCR). As seqüências do genoma foram identificadas a partir de clones de uma biblioteca de cDNAs obtidos de uma amostra do vírus parcialmente purificado. Os clones que hibridizaram com sondas sintetizadas a partir de RNA de plantas infectadas com RSNV foram seqüenciados e comparados às seqüências do GenBank. Um fragmento de 957 nt da extremidade 3’ da fita de um dos 4 RNAs genômicos de RSNV foi obtido. A análise da seqüência nucleotídeos desse fragmento não revelou qualquer similaridade com seqüências conhecidas, tampouco indicou uma possível função. Um par de oligonucleotídeos iniciadores foi desenhado a partir de um clone que potencialmente contém uma seqüência de RSNV. A especificidade e a sensibilidade da RT-PCR utilizando esse par de oligonucleotídeos iniciadores, bem como sua eficiência na detecção do vírus em diferentes partes da planta de arroz, foram avaliadas. Os resultados indicam que a RT-PCR é específica para RSNV e pode detectar o vírus em tecido oriundo das raízes, do colo e de folhas com distorção. Comparada ao diagnóstico da doença através da observação de sintomas e de estruturas do vetor, a RT-PCR é uma ferramenta confiável para a diagnose do enrolamento do arroz.