In the field of software development the problem of mapping of the software architecture to a functional model of the system should be analyzed. The issue of such kind arises primarily in cases when functional model and the software architecture are either developed independently or even are originated from different sources. This applies for instance of software production from a set of components within a well-established component framework and to developments based on customization of an existing platform to a specific domain application. The task of mapping consists in determining the correlation between software architecture entities and functional model entities. The necessity of such mapping is essential to provide required software comprehensibility level in respect of the customer representation and to assure traceability from the system requirements through derived functional model down to software architecture.

This paper describes an approach how to resolve ambiguity and find the optimal correspondence between model and architecture entities. The presented approach was developed at Siemens Corporate Technology and applied in several practical projects.