Desenvolvimento de um ambiente de código aberto para verificação de modelos UML comportamentais

Desenvolvimento de um ambiente de código aberto para verificação de modelos UML comportamentais

• Autor
• Renato Cavalcanti Domingues da Silva Filho
• Resumo

• Este trabalho tem como objetivo evoluir a ferramenta desenvolvida em trabalhos anteriores, capaz de realizar verificações de deadlock e não-determinismo sobre diagramas de atividade da UML. Visamos aumentar sua expressividade através da adição de suporte a novos tipos de dados mais complexos, além de realizar um refatoramento total da arquitetura do arcabouço. Assim, esperamos melhorar a expressividade da ferramenta e como também o seu uso em um ambiente de modelagem aberto.

   

  Para a realização deste trabalho foi realizada uma parceria com o grupo OpenMBEE, que é uma comunidade que visa criar um ecossistema aberto e colaborativo de modelagem, e graças a essa parceria obtivemos acesso ao seu repositório central para obter os modelos de um projeto real da indústria, que então foi utilizado como o nosso estudo de caso.  Porém para realizar tal estudo de caso foi necessário adaptar a nossa ferramenta para que oferecesse suporte ao ambiente aberto do OpenMBEE. Por isso nesse trabalho foi proposto um refatoramento da arquitetura para permitir a criação de uma camada de interface para que qualquer pessoa pudesse criar seus próprios adaptadores para permitir a integração com nossa ferramenta. Além disso, também modificamos os adaptadores já existentes para que não fosse perdido o suporte a eles. Por último, criamos um adaptador para o ambiente do OpenMBEE. 

   

  Durante a criação do adaptador percebemos a necessidade de utilizar alguns tipos de dados mais complexos, porém eles ainda não eram suportados pelo nosso arcabouço e por isso criamos novas semânticas da linguagem CSP para assim aumentar a expressividade e permitir tipos de dados complexos como o Enumeration e Datatype. Com essas modificações foi possível realizar verificações nos modelos presentes no nosso estudo de caso. Assim percebemos que a nossa metodologia de verificação é aplicável numa escala industrial real, visto que o modelo utilizado é um modelo complexo com diversos diagramas conectados através de invocações para representar o comportamento do sistema. Devido a esta complexidade, identificar situações de deadlock e não-determinismo se torna uma atividade não trivial e difícil de ser realizada de forma adequada sem um suporte ferramental como o nosso.

• Palavras-chave
• modelagem, verificação, UML, deadlock, não-determinismo, ambiente aberto
• Área Temática
• Computação (SEDE)