The first model in Model Driven Architecture (MDA) is a Computation Independent Model (CIM) that specifies domain information. One of issues discussed in this chapter is the meaning of “computation independence”. Another one is formalism of CIMs. And the last issue discussed is a use of a Topological Functioning Model (TMF) for problem domain modeling from a computation independent viewpoint. The TFM is a mathematical model that holistically and formally represents functionality of the problem domain, and does not show any details of the implementation and modeling platform. The TFM contains information from functional, information, and organizational domains of business process modeling. Construction of the TFM from the informal description of the system and guidelines for its decomposition into business processes are discussed and demonstrated by an example.