No maintenance activity can be performed without understanding at least the part of the program that needs to b emodified. Therefore, considering its cost, helping developers to understand programs is a must. Consequently, our research aims at building a business related model of the program semantics, which is grounded in Perkinsfi research in psychology. After a short reminder of our model, whose performance in helping developers to understand programs has been presented elsewhere, this paper presents the automatic instantiation of the model. This rests on the ontology technology a swell as on an innovative dynamic analysis technique. We present a use case to evaluate the performance of our technique.