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

Method Integration with Formal Description Techniques Penyepaduan Kaedah dengan Teknik Penerangan Formal

Sureerat SAEEIAB, Motoshi SAEKI

  • pandangan teks lengkap

    0

  • Petikan Ini

Ringkasan:

Teknik penerangan formal (FDT) seperti VDM, Z, LOTOS, dsb. berkuasa untuk membangunkan sistem kritikal keselamatan kerana ia mempunyai asas semantik dan penaakulan matematik yang ketat. Walau bagaimanapun, mereka tidak mempunyai kaedah atau panduan cara membina spesifikasi tidak seperti kaedah spesifikasi dan reka bentuk seperti Pemodelan dan Teknik Berorientasikan Objek (OMT), dan ini menyukarkan pengamal untuk mengarang spesifikasi formal. Salah satu penyelesaiannya ialah menghubungkan teknik penerangan formal dengan beberapa kaedah sedia ada. Kertas kerja ini membincangkan teknik bagaimana untuk mengintegrasikan FDT dengan kaedah spesifikasi dan reka bentuk seperti OMT supaya kita boleh mempunyai kaedah baharu untuk menyokong penulisan spesifikasi formal. Mekanisme integrasi adalah berdasarkan peraturan transformasi dokumen spesifikasi yang dihasilkan mengikut kaedah kepada huraian yang ditulis dalam teknik penerangan formal. Peraturan transformasi menentukan korespondensi pada dua model meta; kaedah dan teknik penerangan formal, dan diterangkan sebagai peraturan penulisan semula graf. Sebagai contoh, kami mengambil OMT sebagai kaedah dan LOTOS sebagai FDT dan mentakrifkan peraturan transformasi pada model meta mereka.

Jawatankuasa
IEICE TRANSACTIONS on Information Vol.E83-D No.4 pp.616-626
Tarikh penerbitan
2000/04/25
Diumumkan
ISSN dalam talian
DOI
Jenis Manuskrip
Special Section PAPER (Special Issue on Knowledge-Based Software Engineering)
kategori
Teori dan Metodologi

Pengarang

Kata kunci

Contents [show]