Scope and purposeStructures, behavi

Scope and purpose
Structures, behaviors, and styles of systems composed of components & connectors
Basic elements
Components, connectors, interfaces, attachments, styles
Style
Supported through predicates over instance models
Static & Dynamic Aspects
Static structural models annotated with behavioral specifications
Dynamic Models
N/A
Non-Functional Aspects
N/A


Ambiguity
Well-defined semantics limit ambiguity
Accuracy
Wright models can be translated into CSP for automated analysis
Precision
Detailed behavioral modeling possible
Viewpoints
Single structural/behavioral viewpoint plus styles
Viewpoint consistency
Style checking can be done automatically

Results (Indonesian) 1:

Ruang lingkup dan tujuanStruktur, perilaku dan gaya sistem terdiri dari komponen & konektorElemen dasarKomponen, konektor, antarmuka, lampiran, gayaGayaDidukung melalui predikat atas contoh modelStatic & Dynamic aspekModel struktural yang statis anotasi dengan perilaku spesifikasi Model dinamisN/AAspek-aspek non-fungsionalN/AAmbiguitasWell-Defined semantik batas ambiguitasAkurasiWright model dapat diterjemahkan ke CSP untuk analisis otomatisPresisiPemodelan perilaku rinci mungkinSudut pandangSatu sudut pandang struktural/perilaku ditambah gayaSudut pandang konsistensiGaya memeriksa dapat dilakukan secara otomatis

Results (Indonesian) 2:

Lingkup dan tujuan
Struktur, perilaku, dan gaya sistem terdiri dari komponen & konektor
Basic elemen
Komponen, konektor, antarmuka, lampiran, gaya
Style
Didukung melalui predikat lebih dari contoh model
Statis & Aspek Dinamis
model struktural statis dijelaskan dengan spesifikasi perilaku
Model Dinamis
N / A
Aspek non-fungsional
N / A


ambiguitas
Terletak didefinisikan semantik batas ambiguitas
Akurasi
model Wright dapat diterjemahkan ke dalam CSP untuk analisis otomatis
Presisi
Detil perilaku modeling mungkin
pandangan
Tunggal struktural / perilaku pandang ditambah gaya
Viewpoint konsistensi
Style pengecekan dapat dilakukan secara otomatis