The following is optional for step processing 441: Inference module 340 performs an action such as to: identify the solutions S form a set of predefined advices of the application A, identify the solutions S by applying knowledge representations R in a sequential order, identify the solutions S by applying knowledge representations R in a hierarchical order, identify the solutions S by applying kn