• messages
• EIP
• patterns
• integration
• enterprise
• analysing
• modelling
• typing
• tool

Enterprise Integration Patterns (EIPs) enable integrating software services to obtain enterprise multi-service applications. This is done by setting up communication channels where software services send and receive messages. Obtained applications may however include hundreds of interacting services, and this makes it complex to manually check whether services are receiving and sending "valid messages", viz., whether the messages sent by a service to another are typed so that the receiver can understand and process them. To this end, in this thesis, we propose a design-time methodology to validate software architecture obtained by integrating software services employing EIPs. In particular, we introduce a formal modelling for such architectures, and algorithms to check their validity and resolve type mismatches when the architecture can be adapted. We also demonstrate the soundness and completeness of our methodology, as well as its practical applicability by means of a prototype implementation and a case of study.