Wright
- Được phát triển bởi David Garlan tại CMU
- Wright là một ADL có mục đích chung được thiết kế với trọng tâm là phân tích các giao thức truyền thông
- Sử dụng một biến thể của CSP để chỉ định hành vi của các thành phần, trình kết nối và hệ thống
- CSP – Giao tiếp các tiến trình tuần tự, đại số quy trình do C. A. R. Hoare phát triển
- Tập trung chủ yếu vào mô hình thành phần / đầu nối / hệ thống cơ bản
- Tương tự về mặt cú pháp với ACME và Aesop
- Phân tích Wright tập trung vào phân tích các đặc điểm hành vi của CSP.
- Có thể sử dụng bất kỳ công cụ hoặc kỹ thuật phân tích CSP nào để phân tích hành vi của một thông số kỹ thuật của Wright
- Wright hiện không có khả năng tạo
- Wright có hỗ trợ công cụ gốc tối thiểu (nhưng có thể sử dụng các công cụ CSP)
Một đặc tả đơn giản trong Wright
System simple_cs
Component client =
port send-request = [behavioral spec]
spec = [behavioral spec]
Component server =
port receive-request= [behavioral spec]
spec = [behavioral spec]
Connector rpc =
role caller = (request!x -> result?x ->caller) ^ STOP
role callee = (invoke?x -> return!x -> callee) [] STOP
glue = (caller.request?x -> callee.invoke!x
-> callee.return?x -> callee.result!x
-> glue) [] STOP
Instances
s : server
c : client
r : rpc
Attachments :
client.send-request as rpc.caller
server.receive-request as rpc.callee
end simple_cs.
