FiniteSat Identification method

A graph based method which identifies finite satisfiability problem causes by sub-graph patterns in the graph of a class diagram. The scope of the method is limited to class diagram with binary association and multiplicity constraints.

The Algorithm

Example

Publication