Class Diagram Verification Methods

People: Mira Balaban ,  Azzam Maraee,  Victor Makarenkov.

GoalDeveloping verification methods for  finite satisfiabilty problems in UML class diagram.

Developed Algorithms:

  1. FiniteSat Algorithm (Basic Version), FiniteSat Algorithm (Extended Version).
  2. Identification Algorithm.
  3. Disjoint and Incomplete Propagation



Vision: The intention is to develop a model level IDE which

  1. Detects finite satisfiability problems.
  2. Identifies their causes.
  3. Links the problem to a pattern that explains the problem.

  1. Suggests a repair advice and applies it, if so requested.