A funcionalidade de pesquisa está em construção.
A funcionalidade de pesquisa está em construção.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

Change Impact Analysis for Refinement-Based Formal Specification Análise de impacto de mudança para especificação formal baseada em refinamento

Shinnosuke SARUWATARI, Fuyuki ISHIKAWA, Tsutomu KOBAYASHI, Shinichi HONIDEN

  • Exibições de texto completo

    0

  • Cite isto

Resumo:

A especificação formal baseada em refinamento é uma abordagem promissora para a crescente complexidade dos sistemas de software, conforme demonstrado no método formal Event-B. Ele permite modelagem e verificação passo a passo de sistemas complexos com múltiplas etapas em diferentes níveis de abstração. Porém, fazer alterações é mais difícil, pois é necessário cautela para não quebrar a consistência entre as etapas. Julgar se uma mudança é válida ou não não é uma tarefa trivial, pois as relações lógicas de dependência entre os elementos de modelagem (predicados) são implícitas e complexas. Neste artigo, propomos um método para analisar o impacto das mudanças do Evento-B. Ao anexar rótulos aos elementos de modelagem (predicados), o método ajuda os engenheiros a entender como um modelo está estruturado e o que precisa ser modificado para realizar uma mudança.

Publicação
IEICE TRANSACTIONS on Information Vol.E102-D No.8 pp.1462-1477
Data de publicação
2019/08/01
Publicitada
2019/05/22
ISSN online
1745-1361
DOI
10.1587/transinf.2018FOP0006
Tipo de Manuscrito
Special Section PAPER (Special Section on Formal Approaches)
Categoria

autores

Shinnosuke SARUWATARI
  University of Tokyo
Fuyuki ISHIKAWA
  National Institute of Informatics
Tsutomu KOBAYASHI
  National Institute of Informatics
Shinichi HONIDEN
  Waseda University

Palavra-chave