Trình kiểm tra cú pháp OCL

Question

Tôi đã tìm kiếm trình kiểm tra cú pháp nguồn mở hiện có cho Ngôn ngữ ràng buộc đối tượng (OCL). Tôi dự định mở rộng trình kiểm tra cú pháp bằng chức năng bổ sung không có trong tiêu chuẩn OCL để có thể áp dụng nhiều hơn cho việc sử dụng của tôi với biểu đồ quan hệ thực thể. Tuy nhiên, hầu hết các dự án tôi đã tìm thấy đều dựa trên Cơ sở Siêu đối tượng của Eclipse (MOF), trong khi tôi chỉ tìm kiếm khả năng xác minh ngữ pháp của biểu thức OCL (hoàn toàn độc lập với bất kỳ biểu đồ lớp liên quan nào, v.v.). Tôi đã bắt đầu xem xét nguồn của Bộ công cụ Dresden OCL (dresden-ocl.sourceforge.net), mặc dù bộ công cụ mới nhất cũng được dự định sử dụng với Bộ công cụ Eclipse. Thật không may, tất cả tải xuống đều bị chặn tại công ty tôi làm việc và mất tối thiểu 1-2 ngày để nhận được quyền tải xuống bất kỳ, vì vậy tôi muốn biết liệu có ai có thể chỉ cho tôi đúng hướng để tìm thấy tôi tìm kiếm.

Cảm ơn bạn rất nhiều trước.

Trân trọng,

Shona

Answer 1

Tôi đã sử dụng Dresden OCL trong một thời gian khá dài và tôi nghĩ rằng đó là một điểm khởi đầu thực sự tốt cho những gì bạn muốn (tất nhiên, nó không phải là hoàn hảo , thời gian qua tôi đã kiểm tra nó vẫn có một số vấn đề với việc nhận ra một số toán tử thiết lập hoặc biểu thức điều hướng từ các lớp kết hợp).

Bạn cũng có thể có một cái nhìn tại các plug Eclipse OCL/trong http://www.eclipse.org/modeling/mdt/downloads/?project=ocl phần của sáng kiến ​​cụ mô hình phát triển

Con trỏ tới các công cụ khác hỗ trợ OCL (không nhất thiết phải mở mã nguồn) ở đây: http://modeling-languages.com/content/list-ocl-tools

Answer 2

Ngoài ra, bạn có thể quan tâm đến việc xem xét các công cụ khác hỗ trợ kiểm tra cú pháp OCL, như Octopus, được tạo ra (?) Bởi Jos Warmer và Anneke Kleppe, tác giả của thông số OCL.