Modeling and Analyzing Non-Functional Properties to Support Software Integration Henning Agt 1 , Gregor Bauhoff 2 , Ralf-D. Kutsche 1 , and Nikola Milanovic 2 1 Technische Universit¨at Berlin {henning.agt,ralf-detlef.kutsche}@tu-berlin.de 2 Model Labs GmbH {gregor.bauhoff,nikola.milanovic}@modellabs.de Abstract. Software integration is one of the major needs as well as cost driving factors in the software industry today. Still, very few estab- lished methodologies exist, especially those addressing integration with respect to non-functional properties. Industry studies show that disre- garded 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. 1 Introduction Software and data integration practice is usually focused on structural and com- munication compatibility conflicts that require transformation of data types and structures and connection of communication channels. Integration frameworks and tools exist which address these issues to some extent (e. g., [1,2,3]). How- ever, non-functional properties (NFP), such as reliability, availability, security, timeliness and cost play the crucial role in software integration when it comes to satisfying business process requirements. Their analysis is either neglected or in- formal, following best practices. Sometimes this is not enough as non-functional incompatibilities may compromise not only the quality of integration solution, but also limit its functionality. For these reasons, as part of the research project BIZYCLE 1 , we investi- gate in large-scale the potential of model-based software and data integration methodologies, tool support and practical applicability for different industrial domains (the consortium comprises of six system integrators from health, pub- lishing and media, facility management, production and logistics sectors). We have developed an MDA-based methodology [4,5], we call it the BIZYCLE inte- gration process, to systematically model integration projects at different levels of abstraction in order to achieve automatic analysis, code generation and in- tegration. In this section we cover the basic aspects of the process and in the 1 This work is partially supported by the Bundesministerium f¨ ur Bildung und Forschung BMBF under grant number (F¨orderkennzeichen) 03WKBB1B. C. Salinesi and O. Pastor (Eds.): CAiSE 2011 Workshops, LNBIP 83, pp. 149–163, 2011. c  Springer-Verlag Berlin Heidelberg 2011