ACADSTAFF UGM

CREATION
Title : A Formal Proof of Correctness of Construct Association from PROMELA to Java
Author :

Dr. Suprapto, M.I.Kom. (1) Prof. Drs. Retantyo Wardoyo, M.Sc., Ph.D. (2) Prof. Dr.-Ing. Mhd. Reza M. I. Pulungan, S.Si., M.Sc. (3) Belawati H. Widjaja (4)
Date : 0 2015
Keyword : Constructs association,PROMELA,Java,correctness,equivalence,preserving,program graph,similarity,semantics Constructs association,PROMELA,Java,correctness,equivalence,preserving,program graph,similarity,semantics
Abstract : The association between the subset of PROMELA’s constructs (or statements) and the subset of Java’s constructs is intended to provide a collection of rules that can be used as a reference in developing a model of code translator from a PROMELA model to a Java program. The idea arises from the fact that, both PROMELA model and Java program are built (or composed) by various elementary elements called constructs. Although this kind of association has already been introduced in some previous researches, they provided no proofs about its correctness. In this paper we propose a formal proof of association’s correctness by showing the equivalence (or similarity) of the program graphs for every two associated constructs in the association. The correctness of association means that every two associated constructs in association have equivalent semantics. In addition, at the end of this paper we also introduce a translator tool we have developed based on this association’s definition to translate PROMELA model to Java program.
Group of Knowledge : Ilmu Komputer
Original Language : English
Level : Internasional
Status :
Published
Document
No Title Document Type Action
1 ok-SWBP-IJCS-15.pdf
Document Type : [PAK] Full Dokumen
[PAK] Full Dokumen View
2 ok-SWBP-IJCS-15-turnitin.pdf
Document Type : [PAK] Cek Similarity
[PAK] Cek Similarity View
3 Surat Pernyataan Paper melibatkan mahasiswa_Suprapto_Filled up.pdf
Document Type : Dokumen Pendukung Karya Ilmiah (Hibah, Publikasi, Penelitian, Pengabdian)
Dokumen Pendukung Karya Ilmiah (Hibah, Publikasi, Penelitian, Pengabdian) View
4 BUKTI KORESPONDENSI JURNAL IAENG (A FORMAL PROOF).pdf
Document Type : [PAK] Bukti Korespondensi Penulis
[PAK] Bukti Korespondensi Penulis View
5 BUKTI KORESPONDENSI - A FORMAL.pdf
Document Type : [PAK] Bukti Korespondensi Penulis
[PAK] Bukti Korespondensi Penulis View