Thesis full text (PDF) - Politecnico di Milano

first-class citizens, we have more than one parameter values for the condition in the mandatory
UML composition in order to identify the main element. We depict the rest of UML
compositions modeling the relations of the main element with other UML elements.
Figure 3.15: Remove Component
Whenever a Remove 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 Remove component is invoked, a new object of the Remove 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 Remove 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
41