An ADL that specifies structure and

An ADL that specifies structure and formal behavioral specifications for interfaces between components and connectors
Advantages
Structural specification similar to Darwin or Rapide
Formal interface specifications can be translated automatically into CSP and analyzed with tools
Can detect subtle problems e.g., deadlock
Disadvantages
High learning curve
No direct mapping to implemented systems
Addresses a small number of system properties relative to cost of use

Results (Indonesian) 1:

ADL yang menentukan struktur dan perilaku spesifikasi formal untuk antarmuka antara komponen dan konektorKeuntunganSpesifikasi struktural mirip Darwin atau RapideSpesifikasi formal antarmuka dapat diterjemahkan secara otomatis ke dalam CSP dan dianalisis dengan alatDapat mendeteksi masalah halus misalnya, kebuntuanKerugianKurva belajar tinggiPemetaan tidak langsung untuk mengimplementasikan sistemAlamat sejumlah kecil properti sistem relatif biaya penggunaan