LePUS3 fue diseñado para ser una mejora sobre otros lenguajes de modelado y está específicamente diseñado para ser una mejora de UML. Los beneficios de LePUS3 se presentan en the paper that introduced it, y puede ver un resumen de estos beneficios en la vista previa de la presentación científica en el enlace.
reproduzco ventajas declaradas del papel aquí:
- rigor. LePUS3 es un lenguaje visual lógico: un gráfico representa una fórmula en una teoría axiomatizada en el cálculo de predicados clásico de primer orden.
- Parsimonia & escalabilidad. LePUS3 ofrece poderosas abstracciones: los gráficos se escalan bien y no se amontonan con el tamaño del programa.
- Minimality. El vocabulario de LePUS3 es mínimo y consta de 15 tokens.
- Decidability & verificabilidad. La consistencia entre una especificación dada (un gráfico) y una implementación (un programa Java) se puede verificar con un clic de botón.
- Visualización de programas. Modelado de gráficos Los programas de Java pueden modificarse por ingeniería inversa a partir del código fuente. Resultados