Στη σύγχρονη εποχή, που χαρακτηρίζεται από την άνθηση του ηλεκτρονικού επιχειρείν, η ανάγκη διαλειτουργικότητας και ευελιξίας αποκτά ιδιάζουσα σημασία, ιδιαίτερα στα πλαίσια συναλλαγών ηλεκτρονικού εμπορίου. Οι Υπηρεσίες Ιστού (ΥΙ) αποτελούν μια τεχνολογία που παρέχει τις παραπάνω δυνατότητες, αφού επιτρέπουν την επικοινωνία ετερογενών συστημάτων, ενώ παράλληλα καθιστούν εφικτή την επαναχρησιμοποίηση της λειτουργικότητάς τους, τόσο ως μεμονωμένες ΥΙ όσο και στα πλαίσια ευρύτερων συνθέσεων. Το μεγάλο πλήθος διαθέσιμων ΥΙ, ωστόσο, καθιστά δύσκολη την επιλογή των κατάλληλων ΥΙ για την ικανοποίηση επιχειρηματικών αναγκών αλλά και την κατασκευή της βέλτιστης δυνατής σύνθεσής τους. Για τον σκοπό αυτό, συχνά πραγματοποιείται αξιολόγηση των μη λειτουργικών χαρακτηριστικών των εναλλακτικών ΥΙ για την επιλογή της καταλληλότερης. Στα πλαίσια αυτής της διατριβής παρουσιάζεται, αρχικά, ένα σύνολο μεθοδολογιών για την αντιμετώπιση του προβλήματος της σύνθεσης ΥΙ, μέσω της αξιοποίησης κατάλληλων πλαισίων και αλγορίθμων. Επιπρόσθετα, καθώς οι συναλλαγές ηλεκτρονικού εμπορίου και οι λοιπές επιχειρηματικές συναλλαγές απαιτούν την εξασφάλιση συγκεκριμένων ιδιοτήτων από τις εμπλεκόμενες ΥΙ, πραγματοποιήθηκε έρευνα σε μεθόδους αυστηρής ανάπτυξης και σύνθεσης ΥΙ. Μέσω της προτεινόμενης μεθοδολογίας και των τεχνικών ελέγχου μοντέλων (model checking) που παρουσιάζονται, είναι εφικτή η εξασφάλιση ιδιοτήτων που ικανοποιούν τις διάφορες επιθυμητές ανάγκες, όπως είναι η έλλειψη αδιεξόδων και οι ανάγκες επιχειρηματικής λογικής, κατά την ανάπτυξη και σύνθεση ΥΙ.