Elaborated analysis of the problem domain and impact of the solution domain on it is not to be ignored also in model-driven development. Topological Model of System Functioning (TFM) is a formal model for representing the problem domain and analyzing solution’s impact on it from a computation independent viewpoint. The use of the formal model at the very beginning of development helps to preserve conformity of the solution domain to the problem domain. In turn, the TFM “outlines” the domain under analysis in a simple, but formal manner. This paper discusses transformation mappings within a computation independent model, namely from TFM to more detailed behavioral models in order to enhance the outlined behavior of the problem domain by specifying additional detailed information of the domain. This paper illustrates this idea by transforming the topological model into Use Cases Diagram, Use Case Specifications, UML Activity Diagrams, and BPMN diagrams.