Fungsi carian sedang dalam pembinaan.
Fungsi carian sedang dalam pembinaan.

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 Analisis Kesan Perubahan untuk Spesifikasi Formal Berasaskan Penapisan

Shinnosuke SARUWATARI, Fuyuki ISHIKAWA, Tsutomu KOBAYASHI, Shinichi HONIDEN

  • pandangan teks lengkap

    0

  • Petikan Ini

Ringkasan:

Spesifikasi formal berasaskan penghalusan ialah pendekatan yang menjanjikan kepada peningkatan kerumitan sistem perisian, seperti yang ditunjukkan dalam kaedah formal Event-B. Ia membenarkan pemodelan langkah demi langkah dan pengesahan sistem kompleks dengan pelbagai langkah pada tahap abstraksi yang berbeza. Walau bagaimanapun, membuat perubahan adalah lebih sukar, kerana berhati-hati adalah perlu untuk mengelakkan melanggar konsistensi antara langkah. Menilai sama ada perubahan itu sah atau tidak adalah tugas yang tidak remeh, kerana hubungan pergantungan logik antara elemen pemodelan (predikat) adalah tersirat dan kompleks. Dalam makalah ini, kami mencadangkan kaedah untuk menganalisis kesan perubahan Peristiwa-B. Dengan melampirkan label pada elemen pemodelan (predikat), kaedah ini membantu jurutera memahami cara model distrukturkan dan perkara yang perlu diubah suai untuk mencapai perubahan.

Jawatankuasa
IEICE TRANSACTIONS on Information Vol.E102-D No.8 pp.1462-1477
Tarikh penerbitan
2019/08/01
Diumumkan
2019/05/22
ISSN dalam talian
1745-1361
DOI
10.1587/transinf.2018FOP0006
Jenis Manuskrip
Special Section PAPER (Special Section on Formal Approaches)
kategori

Pengarang

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

Kata kunci

Contents [show]