Thesis full text (PDF) - Politecnico di Milano

composition. We depict the rest of UML compositions modeling the relations of the main
element with other UML elements.
Whenever an Add component is used, it is properly configured: the mandatory UML
composition is always present, only the optional compositions necessary for the use of the
component in the specific context are being added. We call these configured compositions
necessary parts for the specific component.
Whenever a configured Add component is invoked, a new object of the Add Name Component
UML class is created. The invocation of the component functionalities for the created object is
made with the execute(s: String[][]) method defined in the main class. Upon the method’s
invocation, the object communicates with the defined parts in order to update the knowledge
base. In particular, the object of the Add Name Component UML class is responsible for the
objects of the necessary parts: (i) their creation, (ii) the initialization of their condition values,
(iii) the creation of their axioms in the knowledge base, and (iv) their destruction, by invoking
respectively the create, set, execute, and destroy methods defined in the UML classes defining
the parts.
In the rest of this section, we graphically depict the add components only with the UML
compositions modeling insertion conditions. For having more readable figures, the operations are
not shown since they are the ones shown in figure 3.9.
3.1.9 Add Class Component
The Add Class Component creates new axioms in the knowledge base regarding UML classes. If
the insertion is about a new class, only its name is indicated as value to the component.
Otherwise, insertion conditions are also applied to the component to identify the elements in the
knowledge base upon which new axioms will be created.
The Add Class Component is depicted in figure 3.10 containing: the Add Class Component
UML class, a mandatory composing class modeling the name of the class for the component
(ClassOfName), and further optional composing classes modeling the insertion conditions. In
36