Lepus3

LePUS3 ^[1] is an object-oriented, visual software modelling language and a formal specification language, suitable primarily for modelling large Java/C++ programs and design patterns ^[2].

[edit] Context

LePUS3 belongs to the following families of languages:

Object oriented software modelling languages (e.g., UML): LePUS3 is a visual notation that is used to represent the building-blocks in the design of programs object-oriented programming languages
Formal specification Languages: Like other Logic Visual Languages, LePUS3 charts articulate sentences in mathematical logic. LePUS3 is axiomatized in and defined as a recursive (turing-decidable) subset of first-order predicate calculus. Its semantics are defined using finite structure (mathematical logic).
Architecture Description Languages: LePUS3 is a non-functional specification language used to represent design decisions about programs in class-based object-oriented programming languages (such as Java and C++).
Tool supported specification languages: Verification of LePUS3 charts (checking their consistency with a Java 1.4 program) can be established (‘verified’) by a click of a button, as demonstrated by the the Two-Tier Programming Toolkit.
Program Visualization Notations are notations which offer a graphical representation of the program, normally generated by reverse-engineering the source code of the program.

LePUS3 was designed to accommodate for parsimony and for economy of expression. Its vocabulary consists of only 15 visual tokens.

LePUS3 Vocabulary

LePUS3 is particularly suitable for modelling large programs, design patterns, and object-oriented application frameworks. It is unsuitable for modelling non object-oriented programs, architectural styles, and undecidable and semi-decidable properties.