logo SBA

ETD

Digital archive of theses discussed at the University of Pisa

 

Thesis etd-09232021-135249


Thesis type
Tesi di laurea magistrale
Author
PAOLETTI, RICCARDO
URN
etd-09232021-135249
Thesis title
Modelling and Analysing Enterprise Application Integration
Department
INFORMATICA
Course of study
INFORMATICA
Supervisors
relatore Prof. Brogi, Antonio
relatore Prof. Soldani, Jacopo
Keywords
  • messages
  • EIP
  • patterns
  • integration
  • enterprise
  • analysing
  • modelling
  • typing
  • tool
Graduation session start date
08/10/2021
Availability
Full
Summary
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.
File