This is the first version of the implementation of Abstraction Rules
1: Implementtion of Rule 1: Relator Abstraction. This rule will remove from model all relators and abstract the concept to the material relation;
2: Implementation of Rule 2: Non-Sortal Abstraction. This rule will move all relations of a Non-Sortal to its specifics. And then, remove the non-sortal from model;
3: Implementation of Rule 3: Sortal Abstraction. This rule will move all relations from sortal's specifics to general. And then, remove the specific from the model;
4: Implementation of Rule 4: Subkind and Phase Partition Abstraction. This rule will abstract all specifics of generalization set, and abstract it into a enumeration. The generalization set will be the enumeration, and each specific, an element. After that, the relations of specifics will move to the general, and then they will be removed from model.
All test cases were run in "tests / lib / abstraction ". The tests verify the elements in model after execute the rule.
A new method was created to verify if a generalizationset is a Subkind Partition
This is the first version of the implementation of Abstraction Rules
1: Implementtion of Rule 1: Relator Abstraction. This rule will remove from model all relators and abstract the concept to the material relation;
2: Implementation of Rule 2: Non-Sortal Abstraction. This rule will move all relations of a Non-Sortal to its specifics. And then, remove the non-sortal from model;
3: Implementation of Rule 3: Sortal Abstraction. This rule will move all relations from sortal's specifics to general. And then, remove the specific from the model;
4: Implementation of Rule 4: Subkind and Phase Partition Abstraction. This rule will abstract all specifics of generalization set, and abstract it into a enumeration. The generalization set will be the enumeration, and each specific, an element. After that, the relations of specifics will move to the general, and then they will be removed from model.
All test cases were run in "tests / lib / abstraction ". The tests verify the elements in model after execute the rule.
A new method was created to verify if a generalizationset is a Subkind Partition