LePUS3 được thiết kế để cải thiện các ngôn ngữ lập trình khác và được thiết kế đặc biệt để nâng cao UML. Những lợi ích của LePUS3 được trình bày trong the paper that introduced it và bạn có thể xem tóm tắt những lợi ích này trên bản xem trước của chương trình giấy khoa học tại liên kết.
tôi sẽ tái tạo lợi thế tuyên bố của giấy ở đây:
- Có kĩ năng. LePUS3 là một ngôn ngữ hình ảnh logic: biểu đồ là viết tắt của một công thức trong một lý thuyết tiên đề trong phép tính biến vị ngữ bậc một.
- Parsimony & khả năng mở rộng. LePUS3 cung cấp các tóm tắt mạnh mẽ: biểu đồ có quy mô tốt và không lộn xộn với kích thước của chương trình.
- Tối thiểu. Từ vựng LePUS3 tối thiểu, bao gồm 15 thẻ.
- Decidability & kiểm chứng. Tính nhất quán giữa một đặc tả cụ thể (biểu đồ) và triển khai (một chương trình Java) có thể được xác minh bằng một lần nhấp nút.
- Trực quan hóa chương trình. Biểu đồ mô hình hóa các chương trình Java có thể được thiết kế ngược từ mã nguồn.