Thesis full text (PDF) - Politecnico di Milano

destruction, by invoking respectively the create, set, execute, and destroy methods defined in the
UML classes defining the parts.
Also in this case, we graphically depict the remove components only with the UML
compositions modeling deletion conditions.
3.1.15 Remove Class component
The Remove Class Component deletes axioms in the knowledge base regarding UML classes.
The deletion conditions: ClassOfName (specifying the mandatory name of the class of the class
that should be deleted in the knowledge base), ClassDisjointOfClass (for deleting the class of the
component as being disjoint to the given values), ClassSubOfClass (for deleting the class of the
component as specific of the given values), and ClassSuperOfClass (for deleting the class of the
component as generic of the given values).
Remove Class Component
+ execute(s: String[]) : Boolean
1
1
ClassOfName
- Name : String
create(): void
destroy(): void
set(s:String): void
execute(): Boolean
1
1
1
0..1
ClassSubOfClass
- SuperClass [1..*] : String
- Class : String
create(): void
destroy(): void
set(s:String, c:String[]): void
execute(): Boolean
0..1
0..1
ClassDisjointOfClass
- DisjointClass [1..*] : String
- Class : String
create(): void
destroy(): void
set(s:String, c:String[]): void
execute(): Boolean
ClassSuperOfClass
- SubClass [1..*] : String
- Class : String
create(): void
destroy(): void
set(s:String, c:String[]): void
execute(): Boolean
Figure 3.16: Remove Class Component
3.1.16 Remove Datatype component
The Remove Datatype Component deletes axioms in the knowledge base regarding UML
datatypes.
42