Academic domain

The Academic domain

Academic domain version 1

Detection: The FiniteSatUSE tool detects a finite satisfiability problem.

Identification: The identification component identifies two cycles: cycle 1 and cycle 2.

Pattern: The problem corresponds to the  Multiplicity Hierarchy Cycle Pattern.

Academic domain version 2 repairs the identified cycles cycle 1 and cycle 2 by relaxation of the cardinality constraint on  the MAGraduate side of the association Seminar- MAGraduate from 2..* to 1..* and cardinality constraint on Seminar side on the association Seminar-Semester from 1..* to 0..*.

Detection 1: The FiniteSatUSE tool finds that the class diagram is finitely satisfiable and gives a warning that the model might still be not finitely satisfiable since it includes class hierarchy cycles with disjoint or complete constraints!

Identification of problematic cycles: The identification component identifies two problematic cycles marked here:

Propagation: The propagation component adds new GS constraints marked here.

Detection 2 (the class diagram after the propagation): The FiniteSatUSE tool detects a finite satisfiability problem.

Identification: The identification component fails.

Explanation: The finite satisfiability problem is caused by interaction of cardinality, class hierarchy and GS constraints which are marked in the class diagram here. The identification component fails because The finite satisfiability problem caused by GS constraints cannot be identified by critical cycles.

Running the FiniteSatUSE tool on the Academic domain version 1

USE fileAcademic Version 1
Detection resultProblem creation time: 25 ms.
Problem solving time: 16 ms.

The model is not finitly satisfiable

Detection execution time: 41 ms.

---------------------------------------------------------------------------------
Overall execution time: 56 ms.
---------------------------------------------------------------------------------
Identification resultIdentification:

Critical cycle alert!
assoc_acadpoint -> Student -> Graduate -> MAGraduate -> assoc_seminargrad -> Seminar -> AdvancedSeminar -> assoc_simpoint -> AcademicPoint -> assoc_acadpoint


The involved constraints in the cycle are:
Association seminargrad
Minimum multiplicity constraint 2.0 next to MAGraduate and maximum multiplicity constraint 1.0 next to Seminar
Association simpoint
Minimum multiplicity constraint 1.0 next to AdvancedSeminar and maximum multiplicity constraint 1.0 next to AcademicPoint
Association acadpoint
Minimum multiplicity constraint 10.0 next to AcademicPoint and maximum multiplicity constraint 1.0 next to Student

Class Hierarchies:
Super: Student, Sub: Graduate

Class Hierarchies:
Super: Graduate, Sub: MAGraduate

Class Hierarchies:
Super: Seminar, Sub: AdvancedSeminar



Continue looking for more cycles? (yes/no/all)
all


Critical cycle alert!
assoc_acadsem -> Academic -> MAGraduate -> assoc_seminargrad -> Seminar -> assoc_semesterseminar -> Semester -> assoc_acadsem

The involved constraints in the cycle are:
Association seminargrad
Minimum multiplicity constraint 2.0 next to MAGraduate and maximum multiplicity constraint 1.0 next to Seminar
Association semesterseminar
Minimum multiplicity constraint 1.0 next to Seminar and maximum multiplicity constraint 1.0 next to Semester
Association acadsem
Minimum multiplicity constraint 1.0 next to Semester and maximum multiplicity constraint 1.0 next to Academic

Class Hierarchies:
Super: Academic, Sub: MAGraduate


Identification Complete

Total identification time:9959 ms.

---------------------------------------------------------------------------------
Overall execution time: 9966 ms.
---------------------------------------------------------------------------------

Running the FiniteSatUSE tool on the Academic domain version 2

USE fileAcademic Version 2
Detection resultDetection:
Problem creation time: 21 ms.
Problem solving time: 40 ms.

The model is finitly satisfiable!

Warning: The model includes class hierarchy cycles with disjoint or complete constraints!
It might still not finitely satisfiable

Detection execution time: 71 ms.

Class hierarchy cycles identification time : 30 ms.

---------------------------------------------------------------------------------
Overall execution time: 101 ms.
---------------------------------------------------------------------------------
Warning method resultClass Hierarchy Cycles Identification:

Class hierarchy cycle Alert!
Proposal, NaturalStudies, Specialization, EngineeringStudies, Proposal

Continue looking for more circles? (yes/no/all)
all

Class hierarchy cycle Alert!

Academic, MAGraduate, Graduate, PhDGraduate, Academic

Total identification time:9600 ms.

---------------------------------------------------------------------------------
Overall execution time: 9610 ms.
---------------------------------------------------------------------------------
Propagation Propagation:
Done!

The new added GSs are:
gs GSname gs_disjoint_2 type disjoint super Specialization subClasses EngineeringStudies, NaturalStudies
gs GSname gs_disjoint_3 type disjoint super Graduate subClasses PhDGraduate, MAGraduate

The new updated GSs are:
There Is no updated GSs

Propagation execution time: 28 ms.

---------------------------------------------------------------------------------
Overall execution time: 38 ms.
---------------------------------------------------------------------------------
Detection after propagationPropagation execution time: 38 ms.
****************************************************************************
Detection:
Problem creation time: 23 ms.
Problem solving time: 20 ms.

The model is not finitly satisfiable

Detection execution time: 50 ms.

---------------------------------------------------------------------------------
Overall execution time: 101 ms.
---------------------------------------------------------------------------------