摘要：In the software development world little guidance and few methods are available for reconciling software requirements and architecture which satisfies those requirements. In fact none of these methods use formal basis for the reconciling process. The main goal of this paper is to define an approach by which it is possible to reconcile software requirements and architectures within model driven architecture. Model driven architecture considers system from three viewpoints. Each viewpoint has its own model by which the viewpoint is modelled. It is possible to use topological functioning model of system to reconcile software requirements and architectures and to make formal transformation from computation independent model into platform independent model. The use of topological functioning model provides possibility for traceability between software artefacts, e.g. between requirements and architecture elements. By using case study we have proven that it is possible to reconcile requirements and architectures by using topological functioning model. The software architecture in this case is modelled by using topological class diagrams. At the end of the case study we have shown how we can introduce more formalism into UML diagrams by transforming topology from topological functioning model to class diagrams.
