Abstract. Software integration is one of the major needs as well as cost driving factors in the software industry today. Still, very few established methodologies exist, especially those addressing integration with respect to non-functional properties. Industry studies show that disregarded and hidden non-functional incompatibilities between systems and their interfaces are the constant source of errors and costly workarounds. We introduce a model-based process that allows dynamic definition of non-functional properties in the context of software integration, present a NFP taxonomy, and propose a method for formal analysis of interface incompatibilities with respect to these properties.