Chương trình theo diaspec.bordeaux.inria.fr

Ngôn ngữ mô tả kiến trúc (DiaSpec) hỗ trợ mô tả các thành phần của một khu vực tính toán phân tán nhất định. Từ những mô tả này, DiaGen tạo ra một khuôn khổ lập trình chuyên dụng để hỗ trợ phát triển ứng dụng phân tán.