TII 2020 2997360 en Id

Diterjemahkan dari bahasa Inggris ke bahasa Indonesia - www.onlinedoctranslator.
com
Artikel ini telah diterima untuk diterbitkan dalam edisi mendatang jurnal ini, tetapi belum sepenuhnya diedit. Konten dapat berubah sebelum publikasi akhir. Informasi kutipan: DOI 10.109/TII.2020.2997360, IEEE
Transaksi di Informatika Industri
1
OntoPLC: Model Semantik Program PLC untuk

Pertukaran Kode dan Penggunaan Kembali Perangkat Lunak
Yameng An, Feiwei Qin, Baiping Chen, Rene Simon, dan Huifeng Wu,Anggota, IEEE
Abstrak—Mengenai pengembangan Programmable Logic Controller didefinisikan. Kemudian, komite IEC merombak ini dan mengembangkan
(PLC), peningkatan efisiensi pemrograman dan mendorong pertukaran format pertukaran XML terbuka IEC 61131-10 PLC [4]. Pekerjaan ini telah
kode dan penggunaan kembali perangkat lunak diperlukan untuk
meletakkan dasar yang kuat untuk transformasi proyek dengan
meningkatkan produktivitas dan keamanan manufaktur cerdas dan
menyediakan format pertukaran XML terpadu. Namun, dengan standar IEC
otomasi industri. Namun, perbedaan antara implementasi signifikan
meskipun semua produsen mengklaim sesuai dengan standar IEC yang hanya mendefinisikan sintaks bahasa PLC, masih tidak mungkin untuk
61131-3 dan IEC 61131-10, yang mengakibatkan ketidakcocokan di menyediakan model semantik yang dapat dihitung yang memungkinkan
dalam sistem heterogen, mencegah proyek dari interoperating antar penggunaan kembali kode otomatis, pertukaran, dan interaksi di antara
vendor. Dalam makalah ini, kami menyajikan pendekatan yang
platform heterogen dalam praktiknya.
menggunakan model semantik berbasis ontologi bernama OntoPLC
untuk mengaktifkan port otomatis proyek PLC antara lingkungan
Misalnya, kedua fungsi "ADD" di CODESYS dan OMRON's
pengembangan dan juga mencegah kehilangan informasi yang Sysmac Studio mendukung operasi penambahan bilangan
signifikan selama proses penerjemahan. Semantik tingkat tinggi dari bulat atau bilangan real. Namun, fungsi “ADD” di CODESYS
proyek PLC ditambahkan ke OntoPLC termasuk sumber daya perangkat juga mendukung penambahan antara tipe data time
lunak, yang dapat diperlukan untuk penggunaan kembali perangkat
(TIME), time of day (TOD), date & time (DT) dengan satu
lunak yang memanfaatkan kueri semantik. Untuk mendemonstrasikan
kegunaan model ontologi, metodologi yang diusulkan diterapkan pada
operasi tetapi hasil yang berbeda: TIME + TIME = TIME, TOD
modul kontrol pompa umpan boiler yang digerakkan turbin. + WAKTU = TOD, DT + WAKTU = DT; Sysmac Studio menggunakan
operasi yang berbeda untuk kombinasi tipe data yang berbeda:
Ketentuan Indeks—PLC, IEC 61131-3, Web Ontology Language
TAMBAHKAN WAKTU untuk dua kali, TAMBAHKAN WAKTU TOD
(OWL), model semantik yang dapat dihitung, representasi
pengetahuan, interoperabilitas untuk waktu dan waktu dalam sehari, TAMBAHKAN WAKTU DT
untuk waktu dan tanggal & waktu. Untuk mengonversi proyek
CODESYS ke Sysmac Studio, fungsi "ADD" harus diterjemahkan ke
sayaPENDAHULUAN dalam fungsi yang berbeda sesuai dengan tipe data input. Seperti
N
yang ditunjukkan pada Tabel I, platform pengembangan lain juga
OWADAYS, karena perkembangan manufaktur cerdas, sistem
memiliki implementasi fungsi "ADD" mereka sendiri. Oleh karena
kontrol industri berbasis PLC telah memainkan peran penting
itu, proses penerjemahan bukanlah hal yang sepele. Untuk
dalam industri. Selain fungsi biasa seperti kontrol relai sekuensial,
mengatasi masalah ini, dan untuk mempromosikan penggunaan
kontrol gerakan, kontrol proses, dan jaringan, PLC telah berkembang
kembali kode, kami menyediakan model semantik yang dapat
selama bertahun-tahun untuk menyertakan daya pemrosesan yang
dihitung secara formal dalam makalah ini. Semantik bertujuan
cukup, kapasitas penyimpanan yang memadai, lebih banyak metode
untuk memberikan makna umum pada istilah-istilah dalam
penanganan data, dan metode komunikasi yang kira-kira setara
domain tertentu [5]. Jika informasi telah diterjemahkan ke
dengan komputer desktop. [1]. Standar IEC 61131-3 [2] telah
deskripsi semantik terpadu,
menetapkan sintaks dan semantik dari lima bahasa pemrograman
Untuk menyediakan alat semantik formal, model pengetahuan
untuk PLC. Meskipun hampir semua vendor PLC mengklaim bahwa
untuk mewakili semua konsep yang diperlukan dalam proyek PLC
platform pengembangan mereka sesuai dengan standar ini, pada
dapat sangat membantu. Menurut Nambi dkk. [6], mekanisme ontologi
kenyataannya, tidak satupun dari mereka yang kompatibel satu sama
dapat dianggap sebagai representasi yang tepat dari basis
lain [3], yang mengakibatkan ketidakcocokan dalam pertukaran proyek.
pengetahuan tersebut. Ontologi digunakan untuk menangkap
PLCopen ingin mencapai tujuan bahwa sebuah proyek dapat ditransfer
pengetahuan tentang beberapa domain yang diminati dengan
dari satu lingkungan pengembangan ke yang lain tanpa kehilangan
memberikan pemahaman bersama tentang domain tertentu.
informasi. Lokakarya PLCopen TC6 menerbitkan skema XML mereka
Pemahaman bersama seperti itu diperlukan untuk mengatasi
untuk IEC 61131-3, di mana antarmuka untuk perangkat lunak
perbedaan terminologi dan ekspresi [7]. Sebagai contoh,
"FBD" (Function Block Diagram) satu aplikasi mungkin secara semantik
Karya ini didukung oleh National Natural Science Foundation of China (No. sama dengan "fbd" aplikasi lain, sehingga mereka dapat dipetakan ke
U1609211 dan 61972121). ontologi yang sama. Dalam makalah ini, kami fokus pada representasi
Penulis korespondensi: Huifeng Wu. semantik formal proyek PLC dengan menggunakan Web Ontology
Yameng An, Feiwei Qin, Baiping Chen, dan Huifeng Wu bekerja di Institut
Teknologi Cerdas dan Perangkat Lunak, Universitas Dianzi Hangzhou, Hangzhou, Language (OWL), yang merupakan bahasa ontologi standar yang
310018, Tiongkok (e-mail: anyamg@pm.me ; qinfeiwei@hdu.edu.cn ; dikembangkan oleh World Wide Web Consortium (W3C). Kami
chenbp@hdu.edu.cn , whf@hdu.edu.cn ). mengacu pada model semantik formal yang dapat dihitung sebagai
Rene Simon bekerja di Department of Automation and Computer Sciences, Harz
University of Applied Sciences, Wernigerode, 38855, Jerman (e-mail: rsimon@hs- OntoPLC dalam makalah ini. OntoPLC berfokus pada mewakili semantik
harz.de ). proyek PLC dan memecahkan ketidakcocokan ekspor-
1551-3203 (c) 2020 IEEE. Penggunaan pribadi diizinkan, tetapi publikasi ulang/redistribusi memerlukan izin IEEE. Lihat http://www.ieee.org/publications_standards/publications/rights/index.html untuk informasi lebih lanjut.
Penggunaan berlisensi resmi terbatas pada: University of Southern Queensland. Diunduh pada 04 Juli 2020 pukul 08:18:57 UTC dari IEEE Xplore. Pembatasan berlaku.
2
TABEL I Beberapa pendekatan dalam karya sastra yang menargetkan

FPEMBERIAN MINYAK SUCI"MENAMBAHKAN"DENGAN SEMANTIK HETEROGEN DI ANTARA
pembuatan kode. Misalnya, PLCspecif [11] adalah bahasa
PLATFORM PENGEMBANGAN BERBEDA.
spesifikasi formal dari komponen PLC yang dapat digunakan
Beremiz kembali. Setelah spesifikasi perilaku komponen, pembuatan
(NUM APAPUN: IN1, NOMOR APAPUN: IN2) =⇒ (NOMOR APAPUN: KELUAR) otomatis kode Teks Terstruktur juga tersedia. Pendekatan berbasis
(WAKTU: IN1, WAKTU: IN2) =⇒ (WAKTU HABIS) template menginterpretasikan PLC IDE dan model tanaman
(TOD: IN1, WAKTU: IN2) =⇒ (TOD: KELUAR)
(DT: IN1, WAKTU: IN2) =⇒ (DT: KELUAR) sebagai struktur data grafik untuk menghasilkan program PLC
yang konsisten dengan arsitektur perangkat lunak [12]. Metode
Studio Sysmac
(NUM APAPUN: IN1, NOMOR APAPUN: IN2) =⇒ (SETIAP NUM: KELUAR) lain menghasilkan perangkat lunak kontrol di PLCopen XML dari
(SENYUM STRING: IN1, SETIAP STRING: IN2) =⇒ (STRING APAPUN: KELUAR) desain proses [13]. Transisi menggunakan representasi data
CODESYS standar dari topologi proses dan perangkat lunak kontrol.
(NUM APAPUN: IN1, NOMOR APAPUN: IN2) =⇒ (NOMOR APAPUN: KELUAR) Pola desain adalah metode lain karena dapat meningkatkan
(WAKTU: IN1, WAKTU: IN2) =⇒ (WAKTU HABIS)
penggunaan kembali dan modularitas kode. Fuchs dkk. [14]
(DT: IN1, WAKTU: IN2) =⇒ (DT: KELUAR) menerapkan lima pola khas untuk menganalisis dependensi dan
enkapsulasi unit perangkat lunak untuk digunakan kembali lebih lanjut.
TwinCAT
(NUM APAPUN: IN1, NOMOR APAPUN: IN2) =⇒ (NOMOR APAPUN: KELUAR) Serupa dengan ini, Nenninger et al. [15] mengedepankan pola seluruh
(WAKTU: IN1, WAKTU: IN2) =⇒ (WAKTU HABIS) bagian bersama dengan blok data (DB), yang merangkum fungsi dan
blok fungsi, untuk memungkinkan penggunaan kembali kode.
B. Ontologi dalam Domain Otomasi Industri

ing dan mengimpor antara platform PLC yang berbeda berdasarkan metodologi
Ontologi memberikan deskripsi eksplisit formal konsep dalam
semantik. Dengan demikian, OntoPLC dapat digunakan sebagai model komputasi
domain tertentu dan hubungan di antara mereka. Menurut Noy
untuk mengekspresikan dan memperkaya informasi proyek PLC secara semantik,
dkk. [16], manfaat menggunakan ontologi banyak, termasuk
dan sebagai alat rekayasa perangkat lunak untuk mengimplementasikan
berbagi pemahaman umum tentang struktur informasi di antara
fungsionalitas pertukaran kode dan memungkinkan penggunaan kembali
orang-orang atau agen perangkat lunak. Baru-baru ini ontologi
perangkat lunak.
diperkenalkan ke area otomasi industri, di mana ia diterapkan
Kami menguraikan dua langkah penting. Pertama, membangun
secara luas untuk menggambarkan fasilitas manufaktur dan
model ontologi terpadu untuk proyek PLC. Kedua, ekstrak entitas
pemrosesan.
dalam proyek PLC dari file kode sumbernya dan terjemahkan ke dalam
Dai dkk. [17] mengusulkan model ontologi untuk merancang
instance OWL (kotak pernyataan ABox), sedangkan skema XML yang
sistem PLC berdasarkan standar IEC 61499, yang merupakan
sesuai membentuk kelas OWL (kotak terminologi TBox). Model
standar tentang blok fungsi [18]. Koreksi dan pengayaan
semantik ini juga memungkinkan kita untuk melakukan penalaran,
semantik dijelaskan untuk membangun model ontologi yang
inferensi, dan query untuk implementasi lebih lanjut.
lengkap dan berguna. Selanjutnya, pemetaan dari model
Makalah ini disusun sebagai berikut. Penelitian terkait tentang
ontologi PLC ke model blok fungsi dan pembuatan kode
penggunaan kembali komponen dan ontologi PLC di bidang
diimplementasikan untuk bermigrasi dari kode PLC IEC
otomasi industri diulas pada Bagian II. Konstruksi model ontologi
61131-3 ke blok fungsi IEC 61499 secara otomatis [19].
PLC terpadu diperkenalkan di Bagian III. Kemudian proses
Metodologi berbasis ontologi hadir untuk mengubah plant PLC
implementasi OntoPLC disajikan pada Bagian IV. Alat terjemahan
menjadi plant yang dikelola oleh system-on-chip atau single-
otomatis juga disediakan di bagian ini. Di Bagian V, kami
board-computers [20]. Dengan memetakan perilaku sensor
mendemonstrasikan kegunaan model baru dengan
dan aktuator ke dalam skema ontologis, detail implementasi
mengotomatiskan verifikasi berbasis aturan dari pertukaran kode
pabrik PLC disederhanakan.
dan penggunaan kembali perangkat lunak dalam kasus
Beberapa pendekatan fokus pada integrasi data atau desain model
penggunaan. Akhirnya, kesimpulan dan pekerjaan masa depan
dalam domain otomatisasi. CTRLont [21] adalah model ontologi yang
terlampir di Bagian VI.
secara formal menentukan domain logika kontrol dalam membangun
sistem otomatisasi (BAS). Ontologi ini dapat digunakan untuk
II. RGEMBIRAWORK
mengotomatisasi verifikasi berbasis aturan dari logika kontrol yang
A. Penggunaan Kembali Komponen PLC dirancang. Yang dkk. [22] menyediakan metode untuk generasi
Beberapa bagian dari pekerjaan terkait berfokus pada independensi otomatis perangkat lunak sistem otomasi smart-grid dengan
vendor kode sumber PLC, yaitu, mengubah program PLC dari alat menggunakan model ontologi dan transformasi ontologi. Metode ini
pemrograman PLC heterogen dari vendor yang berbeda ke dalam bergantung pada standar IEC 61850 dan IEC 61499. Ryabinin dkk. [23]
format netral yang independen. Estevez dkk. [8] menyediakan metode mengajukan solusi untuk membangun Human-Machine Interfaces
yang memungkinkan transformasi kode sumber PLC di antara alat (HMI) berbasis IoT khusus yang memanfaatkan serangkaian ontologi
pemrograman yang berbeda dengan menggunakan teknologi XML untuk mengontrol perilaku semua modul internal. Basis pengetahuan
sebagai middleware yang dapat dioperasikan. Ghosh dkk. [9] ontologi adaptif untuk aplikasi yang berbeda.
menerapkan format XML vendor-independen untuk menekankan
logika kontrol kode sumber PLC. Dietz dkk. [10] memanfaatkan C. Ringkasan
PLCopen XML untuk pertukaran model perilaku komponen mekatronik Ada batasan tertentu dalam menggunakan format XML
dalam alat simulasi yang berbeda. sebagai representasi dari proyek PLC. Format XML dirancang
3
untuk mewakili informasi umum dan tidak menyediakan platform melalui model ontologi terpadu dengan menerapkan
sarana untuk mengekspresikan semantik data, maka informasi pencocokan ontologi dan aturan pemetaan. Basis pengetahuan
semantik yang terkait dengan PLC tidak dapat diungkapkan PLC didefinisikan dalam OWL-DL. Ikhtisar basis pengetahuan
dengan cara yang disepakati bersama. Misalnya, hubungan OntoPLC ditunjukkan pada Gambar. 1.
koneksi blok dan semantik detail fungsi dan blok fungsi tidak
umum didefinisikan dalam XML. Selain itu, pengelompokan tag Proyek PLC Proyek PLC
tidak memiliki arti standar. Dengan kata lain, tidak ada makna dalam XML dalam XML
Format I Format II
yang dimaksudkan terkait dengan bersarangnya tag; terserah
setiap lingkungan pemrograman untuk menafsirkan sarang.
Ekstraksi Entitas Ekstraksi Entitas
Kolaborasi dan pertukaran didukung jika ada pemahaman
PLC Terpadu
bersama yang mendasari kosa kata. Ontologi
Skema XML mendefinisikan struktur dokumen sementara ontologi
adalah model domain yang menyediakan batasan logis yang kaya.
Model komputasi yang ada berdasarkan ontologi terkait dengan sistem Sebuah kotak Sebuah kotak
Pencocokan Ontologi
otomasi industri ditujukan pada berbagai aspek aplikasi, misalnya
TBox TBox
integrasi data, pertukaran informasi, desain model, dan penggunaan
kembali data. Model-model ini memanfaatkan OWL dan teknik ontologi
Platform Ontologi I Platform Ontologi II
lainnya untuk mewakili, menyimpulkan, dan menyelaraskan Pertukaran dan Penggunaan Kembali
pengetahuan dalam aplikasi masing-masing, misalnya, IoT, BAS, dll.

Ekstraksi Skema Ekstraksi Skema
Ontologi menggambarkan konsep dan hubungan mereka tentang
mengkomunikasikan informasi, logika kontrol dan perangkat. Ontologi
Platform Platform
biasanya digunakan untuk memecahkan kesenjangan antara dua cara
XML XML
di mana konsep atau hubungan konsep tidak cocok dalam proses skema I skema II
pertukaran informasi.
Namun, tidak ada model tentang pemodelan eksplisit proyek Gambar 1. Basis pengetahuan OntoPLC untuk pertukaran dan penggunaan kembali
PLC dan model yang ada ini gagal memenuhi serangkaian: proyek PLC antara platform heterogen dengan menerapkan pencocokan ontologi melalui
ontologi PLC terpadu.
tuntutan untuk model semantik yang menargetkan pertukaran informasi
dan digunakan kembali antara hete platform PLC rogeneous.
• representasi eksplisit tion proyek PLC dan pengetahuan
A. PLC Terpadu Ontol Definisi Model ogy
fiksasi PLC lakukan spesifikasi formal dan pengalaman.
• Deskripsi tingkat tinggi dari sumber daya perangkat lunak Kami menerapkan proses pengembangan top-down dimulai
terkait proyek PLC, misalnya, fungsionalitas fungsi sebagai dengan konsep paling umum dalam domain PLC dan selanjutnya
gaya arsitektur, dan informasi kontekstual suatu program. spesialisasi konsep-konsep ini untuk membangun ontologi berlapis
• Ekstensibilitas untuk mengintegrasikan ontologi lain dalam domain yang karena proyek PLC sistematis dan memiliki struktur tertentu [16].
berdekatan. Bagian utama dari model ontologi PLC terpadu ditunjukkan pada
• Alat otomatis untuk mengekstrak informasi ke pengetahuan Gambar. 2. Dalam ontologi ini, kami memilih untuk mewakili
basis. struktur umum proyek PLC dengan ekstensibilitas tinggi. Untuk
• Penggunaan model yang dapat dihitung untuk memungkinkan aplikasi cerdas informasi khusus vendor, seperti program khusus vendor-
tions berdasarkan ontologi tahu dasar langkan, seperti ming l bahasa dan jenis tugas, ontologi kita dapat dengan mudah diubah untuk
pertukaran, rekomendasi kode, evaluasi kualitas kode kode, memperpanjangmemasukkan pengetahuan baru.
dan penggunaan kembali perangkat lunak.

Untuk editor dan penampil ontologi, Protégé adalah yang paling com-
alat yang biasa digunakan dalam penelitian akademis untuk pemodelan dan
Untuk menanggapi persyaratan di atas dan untuk
pengembangan ontologi. Ini adalah alat sumber terbuka yang awalnya dikembangkan
memungkinkan representasi proyek PLC secara formal terpadu,
oleh Universitas Stanford. Kami akan menggunakan Protégé sebagai editor dan alat
kami mengajukan model ontologi komputasi baru bernama
penampil kami untuk membuat prototipe ontologi proyek PLC di sini.
OntoPLC yang akan dijelaskan di bagian berikut.
Inti dari ontologi adalah definisi dariProyek,
yang sayapaling el konsep dasar. Sebuah proyek bersama tain
OLOGI
AKU AKU AKU. HAINTOPLCONT
esensi l metadata (Nama Proyek, Waktu Pembuatan,
Sejak otomasi industri a rea membutuhkan sangat ac- penjual- dll.), informasi spesifik (Info Spesifik Vendor),Lari-
kurasi pengetahuan untuk pemeliharaan dan pengambilan keputusan, konfigurasi waktu (Konfigurasi),dan yang paling penting,
ontologi dibangun dengan mendefinisikan aplikasi terlebih dahulu, POU. Organ ProgramUnitisasi (POU), gambar tertulis, n the
mendefinisikan aplikasi kemudian skenario, dan kemudian mengambil lima bahasa yang didukung Diagram Tangga (LD), Fu ), nction
data yang sesuai. Dalam pertukaran kode dan perangkat lunak Diagram Blok (FBD Daftar Instruksi (IL), Terstruktur Teks
skenario penggunaan kembali makalah ini, pendekatan yang diusulkan (ST), dan Sequential Function Chart (SFC), terdiri dari:
mengacu pada representasi semantik dari proyek dan pengetahuan PLC Elemen GrafisdanElemen Teks.Terminologi ini sesuai
keselarasan dengan menggunakan model ontologi. Seluruh proses dengan standar IEC 61131-10.
termasuk mengimpor proyek PLC ke dalam basis pengetahuan PLC, OWL menyediakan dua jenis properti utama untuk
dan kemudian secara otomatis memetakan instance dari heterogen mewakili hubungan semantik. Properti objek mengandung
4
SubKelasDari
Properti Objek
VendorFungsiBlok
VendorFungsi VendorDataType
Penjual
Spesifik
Informasi Info Spesifik Vendor
memilikiInfo Spesifik Vendor
Tugas Sumber AccessVar GlobalVar

memilikiTugas
memiliki sumber daya

hasAccessVar
memilikiGlobalVar
Nama Proyek
Konfigurasi
memilikiProjectName
Konfigurasi memilikiKonfigurasi
Elemen Waktu Dibuat

Proyek
hasCreatedTime
memilikiPOU
FungsiBlok
memilikiFungsiBlok
memilikiFungsiBlok
memilikiFungsiBlok
POU Program
memilikiFungsi
memilikiFungsi
POU mengandung
Fungsi
mengandung memilikiFungsi
Elemen Grafis Elemen Teks
Kontak Ketika
Dasar
Gulungan Untuk
Kontrol
Elemen Melompat … Ulang Kasus
Gambar 2. Hirarki kelas model ontologi PLC terpadu (sebagian).
informasi struktur proyek PLC dalam ontologi ini, dan sar atau kondisi yang cukup). Semua definisi didokumentasikan
kami mendefinisikan nama mereka dalam bentukmemiliki Konsep dengan bahasa alami.
Domain. Properti data digunakan untuk merepresentasikan nilai 2) Perpanjangan:Ontologi ini dirancang untuk mengantisipasi
atribut elemen dalam proyek PLC. Untuk mewakili nilai konstan penggunaan kosakata bersama. Pengguna lain dapat mendefinisikan
dari tipe data dalam atribut elemen, nama properti data istilah baru untuk penggunaan khusus berdasarkan kosakata yang ada,
didefinisikan sebagai:hasDomainConceptAttribute,atau sebagai dengan cara yang tidak memerlukan revisi definisi yang ada. Terlebih
memilikiConceptValuejika konsep itu sendiri adalah nilai konstan. lagi, ontologi ini dibangun dalam
Properti dan batasan data (misalnya, batasan quantifier cara modularisasi, yang efektif untuk ontologi lebih lanjut
tions, pembatasan kardinalitas, dan pembatasan hasValue) di digunakan kembali [24].
ontologi dihilangkan dalam gambar untuk keterbacaan. 3) Bias pengkodean minimal:Konsep-konsep tersebut ditentukan pada
tingkat pengetahuan tanpa tergantung pada pengkodean tingkat
simbol tertentu. Menurut Gruber [25], bias pengkodean harus
B. Evaluasi Ontologi Terpadu
diminimalkan karena agen berbagi pengetahuan mungkin
Ontologi PLC terpadu yang didefinisikan pada subbagian sebelumnya diimplementasikan dalam sistem representasi yang berbeda atau gaya
memiliki karakteristik sebagai berikut. representasi yang berbeda.
1) Kejelasan:Ontologi ini mencoba mengomunikasikan makna
yang dimaksud dari istilah yang didefinisikan sebanyak mungkin,
IV. SayaPELAKSANAANHAINTOPLC
dan definisinya objektif. Jika memungkinkan, definisi lengkap
(predikat yang ditentukan oleh kondisi perlu dan cukup) adalah Konstruksi ontologi PLC terpadu di OntoPLC
diterapkan alih-alih definisi parsial (didefinisikan hanya oleh kebutuhan telah dibahas pada bagian sebelumnya. Di bagian ini, kita
5
mempresentasikan dan mendiskusikan aspek-aspek yang terkait dengan individu tidak secara inheren berbeda. Kecuali secara eksplisit dinyatakan
proses implementasi. Implementasi OntoPLC diringkas pada Gambar 3. berbeda, dua individu OWL dapat mewakili objek dunia nyata yang sama.
Untuk menerjemahkan contoh proyek PLC dengan benar, maka perlu untuk
Akses Informasi
mendeklarasikan secara eksplisit semua individu OWL yang terdapat dalam
file yang sama untuk dibedakan dengan menggunakanburung
(Telusuri, Visualisasikan, Analisis)
hantu:SemuaBerbedakonstruksi burung hantu. Jika dua atau lebih instance
SPARQL
memiliki nama yang sama, peningkatan nomor seri akan digunakan sebagai
API Anak didik-OWL Anak didik sufiks dalam nama individu sesuai dengan urutan kemunculannya.
Alat Ekstraksi Otomatis Basis Pengetahuan Ontologi Alat Edit Ontologi
Pelet, SWRL
B. Pencocokan Ontologi
Tujuan dari pencocokan ontologi adalah untuk menemukan
Mekanisme Penalaran
hubungan kesetaraan antara elemen-elemen dari ontologi yang
(Pencocokan Ontologi, Inferensi)
berbeda. Memecahkan masalah pencocokan seperti itu adalah kunci
penting untuk menghasilkan deskriptor semantik [26]. Heterogenitas
Gambar 3. Implementasi OntoPLC.
dalam domain PLC terutama disebabkan oleh perbedaan term dan
atribut. Oleh karena itu, kami menerapkan metode multi-faset dengan
mempertimbangkan nama elemen dan aspek struktural pada level
A. Menerjemahkan Skema dan Contoh skema, atau katakanlah level TBox, dari ontologi. Algoritma disajikan
dalam Algoritma 1. Ontologi PLC terpadu bekerja sebagai model
Transformasi skema XML dilakukan dengan seperangkat aturan
referensi. Pra-pemrosesan diperlukan sebelum menggunakan
pemetaan yang telah ditentukan. Kami merangkum aturan-aturan
algoritme termasuk menghapus karakteristik penghubung dan awalan
ini dalam Tabel II. File XSD berupa struktur pohon yang dimulai
khusus platform dan huruf kecil semua string.
dari “akar” hingga “daun”, yang setara dengan hierarki kelas
ontologi. Kelas (burung hantu: Kelas)dihasilkan dari xsd:elemen Algoritma 1Memetakan ontologi PLC heterogen ke
yang memiliki atribut atau elemen XSD anak. Elemen daun yang ontologi PLC terpadu
tidak memiliki atribut bersama dengan atribut XSD dipetakan ke
Memasukkan:
burung hantu:DataProperty.Untuk kasus
Ontologi PLC terpadu,HAI; Ontologi khusus platform,HAIkan.
ketika satu elemen XSD berisi elemen lain, kita mengasumsikan
Keluaran:
relasi “subClassOf” atau relasi “has”. Elemen XSD dipetakan ke
Alignment yang berisi sekumpulan korespondensi
burung hantu: subClassOfjika elemen induknya tidak mengandung
antara dua ontologi.
literal, sebaliknya keburung hantu:ObjectProperty.
1:Korespondensi={}
2:untuksetiapc∈ HAIdanckan∈ HAIkanmelakukan
TABEL II
3: Hitung kesamaan string konsepcdanckan
MATURAN PENERAPAN YANG DITETAPKAN DALAM METODE TRANSFORMASI.
menggunakan jarak Levenshtein,string sim(c, ckan) =
1− tingkat(c, ckan)
XSD BURUNG HANTU
|c|+|ckan|
xsd:elemen yang mengandung setidaknya satu 4: Hitung struktur dalam daricdanckandengan

xsd:elemen atau setidaknya satu burung hantu: Kelas membandingkan sifat,struktur internal sim(c, ckan) =
xsd:atribut |cp∨ckanp|−|cp∧ckan p|
xsd:tipekompleks/xsd:grup burung hantu:subClassOf, burung hantu:ObjectProperty

|cp∨ckanp|
xsd:atribut/xsd:elemen yang tidak

5: Menanyakan kesamaan tipe data daricdanckandari
mengandung xsd:elemen atau xsd:atribut
burung hantu:DataProperty
kesamaan tipe data yang telah ditentukan,tipe data sim(c, c
xsd:minTerjadi burung hantu:minKardinalitas 6: kan). kesamaan(c, ckan) =struktur internal sim(c, ckan)t string
xsd:maxTerjadi burung hantu: maxCardinality sim(c, ckan)ttipe data sim(c, ckan)

xsd:urutan/xsd:semua burung hantu:intersectionOf 7: jikakesamaan(c, ckan)>ambang kesamaankemudian
kombinasi burung hantu:intersectionOf 8: (c, ckan)→Korespondensi berakhir
xsd:pilihan owl:complementOf, dan 9: jika
burung hantu: unionOf
10:berakhir untuk
11:kembali Korespondensi
Transformasi file XML bertujuan untuk mengenali semua instance
yang dideklarasikan dalam file XML, lalu membuat pernyataan individu
dan properti. Pertama, kami mengambil pohon XML dari file XML
dengan menggunakan parser. Kedua, kami memindai pohon XML dan C. Penalaran Ontologi
membuat konstruksi OWL dengan menggunakan API. Untuk setiap Setelah pencocokan ontologi, semantik dari heterogenitas
elemen yang ditemui di pohon XML, individu dibuat, dan platform baru dipetakan ke model ontologi PLC terpadu.
atributnya diperoleh dan diterjemahkan. Semua instance dari Namun, hasil pencocokan tidak dijamin akurat. Selain itu,
proyek PLC berbeda, yang berarti bahwa setiap dua instance kami telah mewakili pengetahuan tingkat dasar tentang
mewakili dua objek dunia nyata yang berbeda. Sebaliknya, OWL sumber daya perangkat lunak proyek PLC, tetapi
6
masih ada semantik tingkat tinggi yang tidak dapat diambil secara langsung. V.AAPLIKASI DARIHAINTOPLC
Selain itu, dalam skenario pengembangan dan pemeliharaan, pengetahuan
A. Contoh Mewakili Proyek PLC dengan OntoPLC
dan pengalaman insinyur sangat berharga untuk referensi. Akan sangat
membantu untuk secara formal mewakili jenis pengetahuan dan
Proyek PLC umumnya menggunakan lima bahasa
pengalaman tersebut (misalnya, kasus pengembangan, model fitur, masalah
pemrograman termasuk dua bahasa tekstual, yaitu ST dan IL, dan
dengan solusi yang sesuai, log pengujian, laporan bug) sehingga para
tiga bahasa grafis, yaitu FBD, LD, dan SFC. OntoPLC mampu
insinyur baru dapat memecahkan masalah terkait dengan memanfaatkan
mengubah semua bahasa ini menjadi model ontologi. Pada bagian
basis pengetahuan ontologi.
ini, contoh yang ditulis dalam bahasa FBD diberikan untuk
menggambarkan representasi semantik formal yang disediakan
Untuk mengatasi masalah ini, aturan SWRL digunakan untuk
dalam makalah ini, karena FBD paling banyak digunakan.
melakukan penalaran ontologi. Perhatikan bahwa SWRL memiliki
banyak batasan dan tidak sesuai untuk semua tugas. Penggunaan
Program ini digunakan untuk memantau sistem kontrol pompa
spesifiknya adalah sebagai berikut.
umpan boiler yang digerakkan turbin uap, memeriksa apakah
semua parameter berada dalam rentang yang diberikan termasuk
• Secara formal mengungkapkan pengetahuan dan pengalaman
suhu bantalan, amplitudo getaran, dan sebagainya. Saat salah satu
domain insinyur dalam aturan SWRL, misalnya, prinsip konstruksi
parameter ini terdeteksi menyimpang dari kisaran normal, sinyal
perangkat lunak, metode pemeliharaan perangkat lunak, dan evaluasi
kesalahan akan segera dikeluarkan. Seperti ditunjukkan pada
perangkat lunak.
Gambar. 5, jika nilai terukur dari amplitudo getaran turbin uap
• Menyimpulkan pengetahuan instance implisit dan hubungan
atau suhu bantalan pompa air melebihi nilai VibMax selama lebih
kompleks dari pengetahuan instance eksplisit dengan menggunakan
dari 5 detik, maka akan mengeluarkan PumpFault dan OverVib.
SWRL untuk mengambil semantik tingkat tinggi tentang sumber daya
Dan jika nilai terukur temperatur turbin uap atau temperatur
perangkat lunak, informasi perangkat, kasus malfungsi, dll.
pompa air melebihi nilai TempMax maka akan keluar PumpFault
• Periksa dan verifikasi hasil pemetaan dengan menggunakan SWRL.
dan OverTemp.
Aturan SWRL khusus untuk penggabungan informasi yang
heterogen dan pemeriksaan konsistensi diusulkan masing-masing Dari Ketel Dari Pemanas Ulang
di Bagian VB dan Bagian VC. LP

HP AKU P
Generator
D. Plug-in Anak didik dari OntoPLC

Untuk Pemanas
Kami mengembangkan plug-in editor Protégé untuk Untuk Pemanasan Ulang Deaerator
mengintegrasikan dan mengotomatisasi proses penerjemahan Untuk Pemanas Untuk Pemanas

Ke Boiler
skema XML dan file XML proyek PLC di dalam editor Protégé. BFPT
IP dari Turbin Utama
Penerjemahan dilakukan dengan proses parsing yang diikuti BFP
dengan proses konversi. Akhirnya, generator diatur untuk

pembuatan aksioma baru. Rincian plug-in ini diberikan pada HP dari Boiler Untuk Kondensor
Gambar. 4. Selain terjemahan otomatis, kami juga menyediakan

seperangkat alat termasuk "Tambah", "Edit", "Hapus" untuk PompaPengawasan
Getaran 1
manipulasi manual secara bebas. VibMax OverVib
Getaran 2
PompaFault
suhu 1
PompaMaks OverTemp
suhu 2
1
Gambar 5. Modul kontrol pompa umpan boiler yang digerakkan turbin.
3 5
Bagian dari ontologi PumpSupervision yang dihasilkan
dengan menerapkan OntoPLC diberikan pada Gambar. 6.
Bagian ini berisi satu fungsi GT1 dan satu blok fungsi TON 1.
Hubungan hubungan antara variabel dan blok diwujudkan
oleh lokalIdmekanisme. Semua variabel dan blok (yaitu fungsi
dan blok fungsi) memiliki keunikanlokalIddari mereka sendiri.
4
Sebuah blok dapat memiliki properti objekhasRefLocalIdyang
menunjukkan ia memiliki variabel dengan tertentulokalId.
Gbr. 4. Plug-in anak didik ke PLC. Plug-in ini adalah mesin otomatis untuk
mengubah proyek PLC menjadi OWL, kemudian memetakannya ke ontologi PLC B. Contoh Menerjemahkan Kontrol Grafis Heterogen
terpadu. 1) Panel edit aturan transformasi: Tambah, editt dan hapus fungsi ality
untuk manipulasi manual; 2) Muat Skema XML: file Muat, parse, dan con belukar Di Berbagai Platform
XSD untuk TBox; 3) Aturan transformasi bro wser: Tampilkan daftar dari
Masalah menerjemahkan kontrol grafis heterogen dapat dibagi menjadi
aturan transformasi; 4) Generate aksioma: Memicu pembuatan aksioma baru
berdasarkan aturan transformasi; 5) Pratinjau aksioma: Pratinjau aksioma baru dua masalah dasar. Yang pertama adalah bagaimana merepresentasikan
dan tambahkan ke ontologi baru atau ke ontologi terbuka saat ini. kontrol grafis ini secara tepat dan membuat pemahaman terpadu dengan
menggunakan OntoPLC. Yang kedua adalah bagaimana
7
hasLocalId
Properti Data T#5s 30000000001
PT
Properti Objek memilikiFormalParameter
hasRefLocalId
Properti VibMax hasLocalId
ORed 30000000000 TON_1_variabel4
Individu TON_1_variabel2
hasLocalId
hasRefLocalId memilikiFormalParameter
hasInputVar
dalam1
10000000000 memilikiOutputVar
TON_1_variabel1 ET
Getaran1 hasInputVar TON_1
memilikiOutputVar
memilikiFormalParameter hasRefLocalId memilikiFormalParameter
hasLocalId
memilikiNamaJenis
hasLocalId
Keluar1
DI TON_1_variabel3
10000000000 TON
GT1_variabel2 30000000002
memilikiFormalParameter memilikiBlok memilikiFormalParameter
hasRefLocalId
hasRefLocalId
GT1_variabel3
GT1_variabel1 hasInputVar FBD memilikiFormalParameter
OverVib Q
memilikiOutputVar
memilikiFbd
memilikiFormalParameter memilikiBlok hasLocalId
hasInputVar
GT1
tubuh lokalVars
30000000003 memilikiVariabel
dalam1 memilikiTipe Panggilan memilikiTubuh

hasLocalId
memiliki Antarmuka memilikiVariabel
PompaPengawasan antarmuka keluaranVars
memilikiNamaJenis
10000000002 Operator memilikiPouType

GT memilikiVariabel
masukanVars
fungsiBlok
Gambar 6. Instance model ontologi PumpSupervision menurut OntoPLC (sebagian).
mencocokkan pengetahuan kontrol pada platform berbeda yang TABEL III

menggunakan aturan SWRL. Kontrol grafis lainnya seperti elemen FPEMBERIAN MINYAK SUCI"MENAMBAHKAN"PENUTUPAN YANG SESUAI
LD (kontak, koil, dll.) dan elemen SFC (aksi, langkah, dll.) dapat
Beremiz
diproses dengan cara yang sama. ADD(ANY NUM, ANY NUM, ANY NUM, . . )
Perhatikan contoh fungsi “ADD” yang kami sediakan di ADD(TIME, TIME, TIME)
TAMBAH (TOD, TOD, WAKTU)
awal mula. Bagian dari fakta tentang fungsi "ADD" di Beremiz
TAMBAHKAN (DT, DT, WAKTU)
ditampilkan pada Gambar. 7. Fungsi ini untuk penambahandigunakan CONCAT(STRING, STRING, STRING)
waktu yang menerima satu input va riable dari
Studio Sysmac
tipe TIME OF DAY dan satu variabel input tipe TIME mengeluarkan ADD(ANY NUM, ANY NUM, ANY NUM, . . )
variabel tipe TIME OF DAY. Tidak seperti "TAMBAHKAN" ADD(STRING, STRING, STRING)
TAMBAH WAKTU(WAKTU, WAKTU, WAKTU)
fungsi untuk perhitungan digital yang dapat memiliki lebih dari dua TAMBAHKAN WAKTU TOD (TOD, WAKTU, TOD)
banyak variabel input, "ADD" untuk fungsi waktu memiliki dan hanya bisa TAMBAHKAN DT(DT, WAKTU, DT)
memiliki dua variabel input. Kita dapat belajar dari Gambar 7 bahwa CONCAT(STRING, STRING, STRING, . . )
informasi kunci untuk proses penerjemahan adalah variabel input CODESYS

tipe dan tipe variabel keluaran dari fungsi. ADD(ANY NUM, ANY NUM, ANY NUM, . . )
ADD(TIME, TIME, TIME)
CONCAT(STRING, STRING, STRING)
memilikiNama MENAMBAHKAN
memilikiFungsi Menambahkan
TwinCAT
ADD(ANY NUM, ANY NUM, ANY NUM, . . )
ADD(TIME, TIME, TIME)
memilikiTipe Fungsi
isInPlatform Beremiz CONCAT(STRING, STRING, STRING)
MENAMBAHKAN
...
hasInputVariableType TIME_OF_DAY WAKTU

Untuk memigrasikan fungsi “ADD” di berbagai platform
termasuk Beremiz, Sysmac Studio, CODESYS, dan TwinCAT,
hasOutputVariableType TIME_OF_DAY pertama-tama, kami membuat penutupan yang cocok menurut
tuple nama fungsi, tipe variabel input, dan tipe variabel output.
memilikiTotalInput
Penutupan ini ditunjukkan pada Tabel III. Parameter pertama di
setiap tuple fungsi menunjukkan tipe variabel keluaran dari fungsi
Gbr. 7. Fakta tentang fungsi “TAMBAH” di Beremiz: (TOD: IN1, TIME: IN2
ini. Parameter yang tersisa menunjukkan jenis variabel input.
)⇒ (TOD: KELUAR) (sebagian). Node persegi panjang dengan warna latar belakang mewakili
kelas, node dengan latar belakang kosong menunjukkan individu. Persegi panjang rata Target yang cocok dari fungsi yang ada di penutupan ini juga ada
node mewakili tipe data. di penutupan ini.
8
Langkah selanjutnya adalah mencocokkan pengetahuan di Aturan 3Identifikasi fungsi yang terhubung sebagian.
seluruh platform menggunakan aturan SWRL. Misalnya, fungsi

Fungsi(?f)∧ memilikiV ariable(?f,?var1)
ADD pada Gambar 7 menyiratkan ADD(TOD, TOD, TIME) di
Beremiz. Pertimbangkan untuk memigrasikan fungsi ini dari ∧ memilikiKoneksi(?var1,?c1) ∧
Beremiz ke Sysmac Studio. Menurut penutupan yang cocok memilikiV ariable(?f,?var2)
pada Tabel III, fungsi ini setara dengan ADD TOD TIME(TOD, ∧ (memilikiKoneksi=0)(?var2,?c2) ∧
TIME, TOD) di Sysmac Studio. Relasi ekuivalen yang ditentukan berbeda dari(?var1,?var2)
dalam aturan SWRL ini dinyatakan Aturan 1. Urutan variabel
⇒ Terhubung Sebagian(?f)
input fungsi tidak signifikan.
Aturan 1Identifikasi fungsi "ADD" yang setara.

VI. CKESIMPULAN DANFUTURWORK
Fungsi(?x)∧ memilikiNama(?x,“MENAMBAHKAN”)
∧ memilikiPlatform(?x,“Beremiz”) Makalah ini menyajikan pendekatan untuk memungkinkan representasi semantik formal terpadu dari proyek PLC, yang dapat
∧ hasOutputV ariableType(?x,“RUBAH”) ∧
digunakan untuk pertukaran kode dan penggunaan kembali perangkat lunak. Motivasi utamanya adalah bahwa vendor yang berbeda
memiliki implementasi yang berbeda untuk proyek IEC 61131-3, dan mereka tidak dapat digunakan kembali di lingkungan lain tidak
Fungsi(?kamu)
hanya dari aspek format pertukaran file (sintaksis) tetapi juga dari aspek semantik. Kami menyediakan model ontologi PLC terpadu
∧ memilikiNama(?y,“TAMBAHKAN WAKTU TOD sebagai middleware dan kemudian menyajikan implementasi menerjemahkan skema XML dan proyek PLC secara otomatis ke dalam
”) ∧ memilikiPlatform(?y,“SysmacStudio”) ∧ model pengetahuan berbasis ontologi. Proses translasi mengubah struktur pohon asli menjadi struktur graf berorientasi objek. Ini
hasOutputV ariableType(?y,“RUBAH”) pasti akan kehilangan struktur pohon asli dan akan menyebabkan hilangnya informasi asli, misalnya, hierarki urutan file XML dari
⇒ setara dengan(?x,?kamu) elemen XML. Namun demikian, OntoPLC memastikan semua konsep yang diperlukan dipelihara dengan benar dan konsisten. Dengan
menggunakan OntoPLC, program PLC yang dihasilkan oleh beberapa platform vendor dari model yang berbeda dapat ditargetkan ke
model ontologi PLC terpadu, pencarian semantik kontrol PLC dapat dilakukan dengan menggunakan alat semantik, penggunaan
Dalam contoh pengujian, ontologi Beremiz berisi 276 item kembali kode dan pertukaran antar proyek dapat dicapai, dan aplikasi PLC perkembangannya bisa lebih cepat dari sebelumnya.
dan ontologi CODESYS berisi 196 item. Hasilnya, 67 dari 69 Sementara itu, ontologi heterogen dicocokkan dengan model ontologi PLC terpadu dengan menggunakan algoritma pencocokan
item yang setara dipetakan. Ketepatan algoritma kami adalah ontologi multi-faset. Ketidakcocokan dalam proyek PLC dari platform vendor yang berbeda diselaraskan menggunakan penalaran
100% dan penarikan kembali adalah 97,1%. ontologi dan aturan SWRL. Program PLC yang dihasilkan oleh beberapa platform vendor dari model yang berbeda dapat ditargetkan
ke model ontologi PLC terpadu, pencarian semantik kontrol PLC dapat dilakukan dengan menggunakan alat semantik, penggunaan
C. Pemeriksaan Konsistensi Setelah Terjemahan
kembali kode dan pertukaran antar proyek dapat dicapai, dan pengembangan aplikasi PLC dapat lebih cepat dari sebelumnya.
Hal ini diperlukan untuk memeriksa dan memverifikasi hasil Sementara itu, ontologi heterogen dicocokkan dengan model ontologi PLC terpadu dengan menggunakan algoritma pencocokan
terjemahan dengan mengotomatisasi metode verifikasi berbasis ontologi multi-faset. Ketidakcocokan dalam proyek PLC dari platform vendor yang berbeda diselaraskan menggunakan penalaran
aturan karena konsistensi semantik mungkin hilang selama proses ontologi dan aturan SWRL. Program PLC yang dihasilkan oleh beberapa platform vendor dari model yang berbeda dapat ditargetkan
penerjemahan. Misalnya, konektivitas merupakan fitur penting ke model ontologi PLC terpadu, pencarian semantik kontrol PLC dapat dilakukan dengan menggunakan alat semantik, penggunaan
dari elemen kontrol grafis seperti fungsi dalam proyek PLC. Karena kembali kode dan pertukaran antar proyek dapat dicapai, dan pengembangan aplikasi PLC dapat lebih cepat dari sebelumnya.
platform impor dan ekspor dari proses penerjemahan dapat Sementara itu, ontologi heterogen dicocokkan dengan model ontologi PLC terpadu dengan menggunakan algoritma pencocokan
memiliki jumlah variabel input atau variabel output yang berbeda ontologi multi-faset. Ketidakcocokan dalam proyek PLC dari platform vendor yang berbeda diselaraskan menggunakan penalaran
dari fungsi yang setara, hal ini dapat menyebabkan perubahan ontologi dan aturan SWRL. dan pengembangan aplikasi PLC bisa lebih cepat dari sebelumnya. Sementara itu, ontologi heterogen
fitur konektivitas fungsi setelah penerjemahan. Fungsi yang dicocokkan dengan model ontologi PLC terpadu dengan menggunakan algoritma pencocokan ontologi multi-faset. Ketidakcocokan
terhubung dapat menjadi terhubung sebagian. Kesalahan dalam proyek PLC dari platform vendor yang berbeda diselaraskan menggunakan penalaran ontologi dan aturan SWRL. dan
semacam ini sulit untuk diselesaikan secara otomatis. Kemudian pengembangan aplikasi PLC bisa lebih cepat dari sebelumnya. Sementara itu, ontologi heterogen dicocokkan dengan model ontologi PLC terpadu dengan meng
diperlukan penerapan pemeriksaan konsistensi dan koreksi Pekerjaan di masa depan termasuk meningkatkan model
dengan aturan verifikasi. ontologi PLC terpadu untuk memuat berbagai aspek semantik
Semantik fitur ditentukan oleh kondisi batas. Misalnya, setiap
teknik POU. Kemudian model ini dapat digunakan untuk evaluasi
variabel input dan variabel output dari fungsi yang terhubung
kualitas kode, peringkasan kode, penjawab pertanyaan kode, dan
terhubung ke elemen lain. Kami mengungkapkan kondisi seperti
rekomendasi kode. Pekerjaan penelitian ini akan dilanjutkan
itu dalam aturan SWRL di Aturan 2 sehingga mesin inferensi
dengan penalaran, temu kembali, dan analisis semantik dengan
ontologi seperti Pellet [27] dapat memahami dan kemudian
menggunakan teknik dan alat seperti transformasi graf, SWRL, dan
memverifikasi instance fitur.
SPARQL. Aturan pemetaan antar ontologi untuk pertukaran kode
Aturan 2Mengidentifikasi fungsi yang terhubung.
akan diselesaikan di masa mendatang.
Fungsi(?f)∧ memilikiV ariable(?f,?var) REFERENSI

∧ memilikiKoneksi(?var,?c)⇒ Terhubung(?f) [1] H. Wu, Y. Yan, D. Sun, dan R. Simon, "Sebuah kompilasi real-time yang
disesuaikan untuk kontrol gerak di PLC tertanam,"Transaksi IEEE pada
Informatika Industri, jilid. 15, tidak. 2, hlm. 812–821, 2019.
Fungsi yang terhubung sebagian berisi variabel terkait dan [2] IEC TC 65/SC 65B - Perangkat pengukuran dan kontrol, “Pengontrol yang
variabel tidak terkait. Kondisi ini ditentukan dalam Aturan 3. dapat diprogram - Bagian 3: Bahasa pemrograman,” Komisi Elektroteknik
Setelah pemeriksaan konsistensi aturan SWRL, alat plug-in yang Internasional, Standar IEC 61131-3:2013, Februari 2013.
[3] MB Younis dan G. Frey, “Formalisasi program PLC untuk mempertahankan
dikembangkan menghapus atau memperbaiki semantik yang tidak keandalan,” diKonferensi IEEE tentang Robotika, Otomasi dan Mekatronika,
konsisten dan tidak kompatibel dari instance. 2004., jilid. 2. IEEE, 2004, hlm. 613–618.
9
[4] IEC TC 65/SC 65B - Perangkat pengukuran dan kontrol, “Pengontrol yang [27] E. Sirin, B. Parsia, BC Grau, A. Kalyanpur, dan Y. Katz, “Pelet:
dapat diprogram - Bagian 10: PLC format pertukaran XML terbuka,” Komisi Penalaran OWL-DL yang praktis,”Semantik Web: sains, layanan,
Elektroteknik Internasional, Standar IEC 61131-10:2019, April 2019. dan agen di World Wide Web, jilid. 5, tidak. 2, hlm. 51–53, 2007.
[5] T. Berners-Lee, J. Hendler, dan O. Lassila, "Web semantik,"Amerika
ilmiah, jilid. 284, tidak. 5, hlm. 34–43, 2001.
[6] SAU Nambi, C. Sarkar, RV Prasad, dan A. Rahim, “Basis pengetahuan
semantik terpadu untuk IoT,” diInternet of Things (WF-IoT), Forum
Dunia IEEE 2014 di. IEEE, 2014, hlm. 575–580.
Yameng Anmenerima gelar BS di bidang Ilmu
[7] G. Antoniou dan F. Van Harmelen,Sebuah web primer semantik. MIT pers,
Komputer dan Teknologi di Universitas Hangzhou
2004.
Dianzi, Cina pada tahun 2018. Sejak itu ia telah
[8] E. Estevez, M. Marcos, E. Irisarri, F. Lopez, I. Sarachaga, dan A. Burgos, "Sebuah
bekerja menuju gelar MS di Universitas Hangzhou
pendekatan baru untuk mencapai penggunaan kembali yang sebenarnya dari
Dianzi. Minat penelitiannya meliputi embedded
kode antara alat pemrograman PLC yang berbeda," dalamLokakarya Internasional
system, motion control, dan IIoT.
IEEE 2008 tentang Sistem Komunikasi Pabrik. IEEE, 2008, hlm. 315–322.
[9] A. Ghosh, S. Qin, J. Lee, dan G.-N. Wang, “Sebuah pendekatan transformasi
kode sumber PLC berbasis instruksi keluaran untuk penyederhanaan logika
program,”Informatika, jilid. 41, tidak. 3, 2017.
[10] M. Dietz, J. Sippl, dan R. Schmidt-Vollus, "Konsep untuk perpustakaan perilaku yang
dapat dioperasikan untuk komisioning virtual menggunakan PLCopenXML," di
Konferensi Internasional IEEE ke-24 2019 tentang Teknologi Berkembang dan
Otomasi Pabrik (ETFA). IEEE, 2019, hlm. 1433–1436.
[11] D. Darvas, EB Viñuela, dan I. Majzik, “Pembuatan kode PLC berdasarkan
bahasa spesifikasi formal,” dalamKonferensi Internasional IEEE ke-14 Feiwei Qinmenerima gelar Ph.D. gelar di bidang Ilmu
tentang Informatika Industri (INDIN) 2016. IEEE, 2016, hlm. 389– 396. dan Teknologi Komputer dari Universitas Zhejinag,
Hangzhou, China, pada tahun 2014. Saat ini beliau
[12] Y. Pavlovskyi, M. Kennel, dan U. Schmucker, "Pembuatan perangkat lunak PLC adalah Associate Professor di School of Computer
berbasis template dari model tanaman menggunakan representasi grafik," Science and Technology, Hangzhou Dianzi University,
di Konferensi internasional ke-25 2018 tentang mekatronik dan visi mesin Hangzhou, China. Minat penelitiannya meliputi
dalam praktik (m2vip). IEEE, 2018, hlm. 1–8. kecerdasan buatan, representasi pengetahuan, grafik
[13] N. Papakonstantinou, J. Karttunen, S. Sierla, dan V. Vyatkin, “Desain dan proses gambar, dan CAD.
untuk rangkaian otomatisasi untuk proses industri: ISO 15926–IEC
61131 versus kasus industri,” dalamKonferensi Internasional IEEE ke-24
2019 tentang Teknologi Berkembang dan Otomasi Pabrik (ETFA). IEEE,
2019, hlm. 1207–1212.
[14] J. Fuchs, S. Feldmann, C. Legat, dan B. Vogel-Heuser, “Identifikasi pola
desain untuk IEC 61131-3 dalam manufaktur mesin dan pabrik,”
Volume Prosiding IFAC, jilid. 47, tidak. 3, hlm. 6092–6097, 2014.
Baiping Chenmenerima gelar B.Sc. dan M.Sc di bidang
[15] P. Nenninger dan T. Puchstein, “Pola desain perangkat lunak dalam
Computer Science and Technology dari Hangzhou Dianzi
sistem IEC 61131– 3: Sebuah studi kasus,” diKonferensi Teknologi
University, Hangzhou China, pada tahun 2002 dan 2005.
Informasi, Elektronik, dan Komunikasi Seluler IEEE ke-9 2018 (IEMCON).
Saat ini beliau adalah pengajar di Institute of Intelligent and
IEEE, 2018, hlm. 795–800.
Software Technology, Hangzhou Dianzi University,
[16] NF Noy, DL McGuinessdkk., “Pengembangan Ontologi 101: Panduan untuk
Hangzhou, China. Minat penelitiannya meliputi sistem
membuat ontologi pertama Anda,” 2001.
tertanam, metode dan alat pengembangan perangkat
[17] W. Dai, V. Dubinin, dan V. Vyatkin, "model ontologi IEC 61499 untuk
lunak, kontrol & otomatisasi cerdas.
analisis semantik dan pembuatan kode," diInformatika Industri
(INDIN), Konferensi Internasional IEEE ke-9 2011 tentang. IEEE, 2011,
hlm. 597–602.
[18] IEC TC 65/SC 65B - Perangkat pengukuran dan kontrol, “Blok fungsi
- Bagian 1: Arsitektur,” Komisi Elektroteknik Internasional, Standar
IEC 61499-1:2012, Nov. 2012.
[19] W. Dai, VN Dubinin, dan V. Vyatkin, “Migrasi dari PLC ke IEC 61499
menggunakan teknologi web semantik,”Transaksi IEEE pada Sistem, Rene Simonmenerima gelar Ph.D. gelar di bidang
Manusia, dan Sibernetika: Sistem, jilid. 44, tidak. 3, hlm. 277–291, 2014. teknik dari Otto-von-Guericke University, Magdeburg,
[20] M. Cristani, F. Demrozi, dan C. Tomazzoli, “ONTO-PLC: Sebuah metodologi Jerman, pada tahun 2001. Beliau adalah profesor
berbasis ontologi untuk mengubah pabrik industri PLC menjadi IoT,”Ilmu sistem kontrol di Departemen Otomasi dan Ilmu
Komputer Procedia, jilid. 126, hlm. 527–536, 2018. Komputer, Harz University of Applied Sciences,
[21] GF Schneider, P. Pauwels, dan S. Steiger, "Pemodelan logika kontrol berbasis Wernigerode, Jerman. Bidang penelitian utamanya
ontologi dalam membangun sistem otomasi,"Transaksi IEEE pada meliputi rekayasa sistem otomasi, terutama pengontrol
Informatika Industri, jilid. 13, tidak. 6, hlm. 3350–3360, 2017. industri. Dia adalah ketua PLCopen dan pemimpin
[22] C.-W. Yang, V. Dubinin, dan V. Vyatkin, “Pendekatan berbasis ontologi untuk proyek IEC 61131-10 Ed. 1.0.
menghasilkan kontrol otomasi terdistribusi dari desain otomasi gardu
induk,”Transaksi IEEE pada Informatika Industri, jilid. 13, tidak. 2, hlm. 668–
679, 2016.
[23] K. Ryabinin, S. Chuprina, dan K. Belousov, "Otomasi berbasis ontologi
pengembangan antarmuka manusia-mesin berbasis IoT," diKonferensi
Internasional tentang Ilmu Komputasi. Springer, 2019, hlm. 110– 124.
Huifeng Wu (M'18) menerima gelar Ph.D. gelar dalam
[24] C. Legat, C. Seitz, S. Laparter, dan S. Feldmann, "Semantik ke lantai toko: ilmu komputer dan teknologi dari universitas Zhejiang,
menuju modularisasi ontologi dan penggunaan kembali dalam domain Hangzhou, Cina, pada tahun 2006. Saat ini ia adalah
otomatisasi,"Volume Prosiding IFAC, jilid. 47, tidak. 3, hlm. 3444–3449, 2014. seorang profesor di Institut Teknologi Cerdas dan
Perangkat Lunak, Universitas Hangzhou Dianzi,
[25] TR Gruber, "Menuju prinsip-prinsip desain ontologi yang digunakan untuk Hangzhou, Cina. Minat penelitiannya meliputi internet
berbagi pengetahuan?"Jurnal internasional studi manusia-komputer, jilid. industri, metode dan alat pengembangan perangkat
43, tidak. 5-6, hlm. 907–928, 1995. lunak, arsitektur perangkat lunak, sistem tertanam,
[26] F. Qin, S. Gao, X. Yang, M. Li, dan J. Bai, "Sebuah pendekatan pengambilan kontrol cerdas & otomatisasi.
semantik berbasis ontologi untuk model CAD 3D heterogen,"Teknik
Informatika Tingkat Lanjut, jilid. 30, tidak. 4, hlm. 751–768, 2016.

TII 2020 2997360 en Id

Diunggah oleh

Informasi Dokumen

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

TII 2020 2997360 en Id

Diunggah oleh

Hak Cipta:

Format Tersedia

Diterjemahkan dari bahasa Inggris ke bahasa Indonesia - www.onlinedoctranslator.

OntoPLC: Model Semantik Program PLC untuk

TABEL I Beberapa pendekatan dalam karya sastra yang menargetkan

B. Ontologi dalam Domain Otomasi Industri

pengetahuan dalam aplikasi masing-masing, misalnya, IoT, BAS, dll.

dan penggunaan kembali perangkat lunak.

Tugas Sumber AccessVar GlobalVar

memiliki sumber daya

Elemen Waktu Dibuat

Elemen Grafis Elemen Teks

Gambar 2. Hirarki kelas model ontologi PLC terpadu (sebagian).

Alat Ekstraksi Otomatis Basis Pengetahuan Ontologi Alat Edit Ontologi

xsd:elemen yang mengandung setidaknya satu 4: Hitung struktur dalam daricdanckandengan

xsd:tipekompleks/xsd:grup burung hantu:subClassOf, burung hantu:ObjectProperty

xsd:atribut/xsd:elemen yang tidak

xsd:maxTerjadi burung hantu: maxCardinality sim(c, ckan)ttipe data sim(c, ckan)

di Bagian VB dan Bagian VC. LP

D. Plug-in Anak didik dari OntoPLC

mengintegrasikan dan mengotomatisasi proses penerjemahan Untuk Pemanas Untuk Pemanas

dengan proses konversi. Akhirnya, generator diatur untuk

Gambar. 4. Selain terjemahan otomatis, kami juga menyediakan

dalam1 memilikiTipe Panggilan memilikiTubuh

10000000002 Operator memilikiPouType

Gambar 6. Instance model ontologi PumpSupervision menurut OntoPLC (sebagian).

mencocokkan pengetahuan kontrol pada platform berbeda yang TABEL III

informasi kunci untuk proses penerjemahan adalah variabel input CODESYS

hasInputVariableType TIME_OF_DAY WAKTU

seluruh platform menggunakan aturan SWRL. Misalnya, fungsi

Aturan 1Identifikasi fungsi "ADD" yang setara.

Fungsi(?f)∧ memilikiV ariable(?f,?var) REFERENSI

Anda mungkin juga menyukai