Σύνθεση και διαχείριση Υπηρεσιών Ιστού για την υποστήριξη συναλλαγών ηλεκτρονικού εμπορίου

Abstract

In the modern era, which is characterized by the rise of e-businesses, the need for interoperability and flexibility acquires immense importance, particularly in the context of e-commerce transactions. Web Services (WS) provide the means for the utilization of the aforementioned features, as they aid the communication between heterogeneous systems, while, in addition, enable the reuse of their functionality, both as individual WS and within the context of service compositions. However, the abundance of available WS makes the selection of the appropriate WS, which would satisfy specific business needs, a difficult task. The problem grows exponentially in composition scenarios. In order to resolve this issue, non-functional characteristics of similar WS are often evaluated, thus enabling the selection of the optimal services. In this Thesis, a number of solutions for WS composition are presented, based on proposed frameworks and algorithms. In addition, as e-commerce transactions require the fulfillment of certain properties, rigorous methods for the development and composition of WS are also being examined. Through the proposed methodology and the application of model checking techniques, specific properties, such as deadlock-freedom and business properties, can be ensured in standalone WS, as well as in value-added compositions.

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