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

Using Hierarchical Transformation to Generate Assertion Code from OCL Constraints Menggunakan Transformasi Hierarki untuk Menjana Kod Penegasan daripada Kekangan OCL

Rodion MOISEEV, Shinpei HAYASHI, Motoshi SAEKI

  • pandangan teks lengkap

    0

  • Petikan Ini

Ringkasan:

Bahasa Kekangan Objek (OCL) sering digunakan dalam pembangunan perisian untuk menetapkan kekangan formal pada model perisian. Ciri bebas platformnya membolehkan penggunaan meluas semasa fasa reka bentuk. Walau bagaimanapun, aplikasi dalam proses khusus platform, seperti pengekodan, adalah kurang jelas kerana ia memerlukan penggunaan alat yang dipesan lebih dahulu untuk platform tersebut. Dalam makalah ini kami mencadangkan pendekatan untuk menjana kod penegasan untuk kekangan OCL untuk pelbagai bahasa khusus platform, menggunakan rangka kerja bersatu berdasarkan persamaan struktur bahasa pengaturcaraan. Kami telah berjaya mengautomasikan proses penjanaan kod penegasan untuk empat bahasa berbeza menggunakan alat kami. Untuk menunjukkan keberkesanan pendekatan kami dari segi usaha pembangunan, satu eksperimen telah dijalankan dan diringkaskan.

Jawatankuasa
IEICE TRANSACTIONS on Information Vol.E94-D No.3 pp.612-621
Tarikh penerbitan
2011/03/01
Diumumkan
ISSN dalam talian
1745-1361
DOI
10.1587/transinf.E94.D.612
Jenis Manuskrip
PAPER
kategori
Sistem Perisian

Pengarang

Kata kunci

Contents [show]