logo SBA

ETD

Archivio digitale delle tesi discusse presso l’Università di Pisa

Tesi etd-09232021-135249


Tipo di tesi
Tesi di laurea magistrale
Autore
PAOLETTI, RICCARDO
URN
etd-09232021-135249
Titolo
Modelling and Analysing Enterprise Application Integration
Dipartimento
INFORMATICA
Corso di studi
INFORMATICA
Relatori
relatore Prof. Brogi, Antonio
relatore Prof. Soldani, Jacopo
Parole chiave
  • analysing
  • EIP
  • enterprise
  • integration
  • messages
  • modelling
  • patterns
  • tool
  • typing
Data inizio appello
08/10/2021
Consultabilità
Completa
Riassunto
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