What are the advantages of LePUS3 over UML?
LePUS3 was designed to be an improvement over other modeling languages and is specifically designed to be an enhancement to UML. The benefits of LePUS3 are laid out in the paper that introduced it, and you can see a summary of these benefits on the preview of the scientific paper show at the link.
I'll reproduce the paper's stated advantages here:
- Rigour. LePUS3 is a logic visual language: a chart stands for a formula in an axiomatized theory in the classical first-order predicate calculus.
- Parsimony & scalability. LePUS3 offers powerful abstractions: charts scale well and do not clutter with the size of the program.
- Minimality. LePUS3 vocabulary is minimal, consisting of 15 tokens.
- Decidability & verifiability. Consistency between a given specification (a chart) and an implementation (a Java program) can be verified by a button-click.
- Program Visualization. Charts modeling Java programs can be reverse-engineered from source code.
- You can reverse-engineer LePUS3 charts from source code and get meaningful results
- LePUS3 is a formal language
- You can model programs of any size in LePUS3
- You can model design patters in LePUS3 not as programs but as generic design motifs