Your browser does not support JavaScript!

Αρχική    A novel specification and composition language for services  

Αποτελέσματα - Λεπτομέρειες

Προσθήκη στο καλάθι
[Προσθήκη στο καλάθι]
Κωδικός Πόρου 000388412
Τίτλος A novel specification and composition language for services
Άλλος τίτλος Μια νέα γλώσσα προδιαγραφών και σύνθεσης υπηρεσιών
Συγγραφέας Μπαργιάννης, Γεώργιος Βασιλείου
Σύμβουλος διατριβής Πλεξουσάκης, Δημήτρης
Μέλος κριτικής επιτροπής Νικολάου, Χρήστος
Αντωνίου, Γρηγόριος
Μαγκούτης, Κωνσταντίνος
Περίληψη H Υπηρεσιοστρεφής Αρχιτεκτονική έχει αναδειχθεί σε εξέχοντα τρόπο σχεδίασης που καθιστά τις υποδομές Πληροφοριακής Τεχνολογίας ικανές να παρέχουν σε εφαρμογές τη δυνατότητα ανταλλαγής δεδομένων και συμμετοχής σε επιχειρησιακές διεργασίες, ανεξάρτητα από τα υποκείμενα χαρακτηριστικά τους, όπως την επακριβή υλοποίηση ή τα λειτουργικά συστήματα και τις γλώσσες προγραμματισμού που χρησιμοποιήθηκαν για την ανάπτυξή τους. Με αυτό τον τρόπο οι υπηρεσίες χρησιμοποιούνται ως οντότητες ανεξάρτητες από πλατφόρμες, που παρέχουν πρόσβαση σε σύνολα λειτουργικότητας μέσω προκαθορισμένων διεπαφών και διατίθενται μέσω δικτύων, πρωτίστως μέσω Διαδικτύου. Για την αποτελεσματική εύρεση και χρήση των πιο κατάλληλων υπηρεσιών (ή συνθέσεων υπηρεσιών) αναφορικά με τις ανάγκες ενός καταναλωτή, ο πάροχος θα πρέπει να προσφέρει πλήρεις προδιαγραφές για τις υπηρεσίες, που δεν περιορίζονται στις παρεχόμενες διεπαφές (υπό τη μορφή συνόλων από εισόδους και εξόδους). Αντίθετα, είναι αναγκαίο ένα πλήρες μοντέλο συμπεριφοράς που θα περιγράφει τις εισόδους και συνθήκες που απαιτούνται πριν την εκτέλεση, καθώς επίσης και τις εξόδους και αποτελέσματα που προκύπτουν από μια επιτυχή εκτέλεση. Τέτοιες προδιαγραφές υπηρεσιών είναι απαραίτητες σε μια πληθώρα από δραστηριότητες όπως την κατασκευή μιας υπηρεσίας βάσει προδιαγραφών, ελέγχους συμμόρφωσης και επαλήθευσης σωστής λειτουργίας, αξιολόγηση αποτελεσμάτων της διαδικασίας προσαρμογής υπηρεσιών και τον προσδιορισμό της δυνατότητας σύνθεσης ενός συνόλου υπηρεσιών. Οι προδιαγραφές υπηρεσιών βασίζονται στην έκφραση συνθηκών που πρέπει να ισχύουν πριν και μετά την εκτέλεση της υπηρεσίας. Τέτοιες προδιαγραφές εί- ναι επιρρεπείς σε μια οικογένεια προβλημάτων, που είναι γνωστά στο πεδίο της Τεχνητής Νοημοσύνης ως το πρόβλημα πλαισίου, το πρόβλημα επιπτώσεων και το πρόβλημα προϋποθέσεων. Το πρόβλημα πλαισίου αφορά την έκφραση των μη- αποτελεσμάτων μιας ενέργειας, δηλαδή την περιγραφή του τι παραμένει αμετάβλητο μετά την εκτέλεση. Το πρόβλημα επιπτώσεων ασχολείται με τη μοντελοποίηση των έμμεσων αποτελεσμάτων ή δευτερευουσών συνεπειών, δηλαδή των συνεπειών που ακολουθούν ένα πρωταρχικό αποτέλεσμα. Τέλος, το πρόβλημα προϋποθέσεων, σε αντίθεση με τα άλλα δύο, σχετίζεται με την αναπαράσταση των προϋποθέσεων εκτέλεσης και την αδυναμία του να ληφθούν υπόψη όλες οι δυνατές συνθήκες κάτω από οποιαδήποτε περίσταση. Ενώ η έρευνα σε άλλα πεδία όπως οι προγραμματιστικές προδιαγραφές ή η συλλογιστική ενεργειών και αλλαγής έχει οδηγήσει σε ικανοποιητικές λύσεις στα προαναφερθέντα προβλήματα, η έρευνα στις υπηρεσίες τα έχει αγνοήσει σε μεγάλο βαθμό, αγνοώντας ταυτόχρονα και τις συνέπειές τους. Πιο συγκεκριμένα, η αποτυχία επίλυσης του προβλήματος πλαισίου οδηγεί σε περιγραφές υπηρεσιών που δε μπορούν να εγγυηθούν στους καταναλωτές υπηρεσιών ότι τα καθορισμένα αποτελέσματα είναι τα μόνα που απορρέουν από μια εκτέλεση. Το γεγονός αυτό εγείρει σημαντικά ζητήματα όπως η ακεραιότητα της παρεχόμενης υπηρεσίας και η αξιοπιστία του παρόχου, ασφάλεια και ιδιωτικότητα των εμπλεκόμενων χρηστών και δεδομένων, ενώ ταυτόχρονα διακινδυνεύεται η δυνατότητα επαναχρησιμοποίησης σε συνθέσεις υπηρεσιών. Επιπλέον, η παράβλεψη των δευτερευουσών συνεπειών οδηγεί σε ελλιπή μοντέλα συμπεριφοράς που μπορεί να οδηγήσουν σε εσφαλμένες συνθέσεις υπηρεσιών, ενώ η απουσία λύσης στο πρόβλημα προϋποθέσεων σημαίνει ταυτόχρονα και την αδυναμία αιτιολόγησης στην περίπτωση που η υπηρεσία δεν παράγει τα αναμενόμενα αποτελέσματα ενώ έχει δοθεί η απαιτούμενη πληροφορία εισόδου και έχουν ικανοποιηθεί οι προϋποθέσεις εκτέλεσης. Για την αντιμετώπιση όλων των ζητημάτων που αναφέρθηκαν προηγουμένως, η παρούσα διατριβή προτείνει τη Γλώσσα Προδιαγραφών Υπηρεσιών (WSSL), μια νέα γλώσσα για προδιαγραφές και σύνθεση υπηρεσιών. Η θεμελίωση της γλώσσας βασίζεται στο λογισμό των μεταβλητών ιδιοτήτων (fluent calculus) , που συνιστά μια γλώσσα προδιαγραφών και ένα σύστημα ελέγχου αυτόνομων ρομποτικών πρακτόρων που παρέχει λύσεις στα προβλήματα πλαισίου, επιπτώσεων και προϋποθέσεων. Η WSSL είναι ανεξάρτητη από μοντέλα σχεδίασης υπηρεσιών ενώ παρέχει και τη δυνατότητα σημασιολογικού σχολιασμού. Η υποστήριξη των λύσεων στα προαναφερθέντα προβλήματα γίνεται με φυσικό και άμεσο τρόπο, με δομές που είναι ενσωματωμένες στη γλώσσα. Επιπλέον, η θεμελίωση της γλώσσας παρέχει τη δυνατότητα μετατροπής των προδιαγραφών σε προτάσεις λογικού προγραμματισμού. Εκτός από το βασικό συντακτικό και τη σημασιολογία της γλώσσας, παρέχονται επεκτάσεις σε τρεις κατευθύνσεις για την επίτευξη τριών μείζονων στόχων. Πρώτον, υποστηρίζεται προδιαγραφή και υλοποίηση σύνθεσης υπηρεσιών, λαμβάνοντας υπόψη όλα τα θεμελιώδη πρότυπα ροής εργασίας, συμπεριλαμβανομένων μη-ντετερμινιστικών προτύπων, όπως η εκτέλεση υπό συνθήκη και η επαναληπτική εκτέλεση. Δεύτερον, δίνεται η δυνατότητα προδιαγραφής προφίλ Ποιότητας Υπηρεσιών (ΠΥ) σύμφωνα με διαθέσιμα μοντέλα και μεταμοντέλα περιγραφής ιδιοτήτων ποιότητας όπως χρόνος εκτέλεσης ή κόστος. Τρίτον, υποστηρίζεται αβεβαιότητα στην περιγραφή των καταστάσεων που συνθέτουν το μοντέλο συμπεριφοράς της υπηρεσίας, όπως για παράδειγμα, η υποστήριξη μερικώς παρατηρήσιμων αρχικών καταστάσεων στη διαδικασία σύνθεσης. Για να διαπιστωθεί η χρησιμότητα της γλώσσας, διεξήχθη ενδελεχής ανάλυση μιας σειράς από ενδιαφέρουσες ιδιότητες. Αρχικά μελετήθηκε η ορθότητα της επέκτασης που αφορά τη σύνθεση υπηρεσιών ώστε να διαπιστωθεί ότι είναι σύμφωνη με τη θεμελίωση της γλώσσας. Στη συνέχεια, αναλύθηκε η πολυπλοκότητα και αποκρισιμότητα της υποκείμενης θεωρίας λογισμού μεταβλητών ιδιοτήτων. Επίσης, εξετάστηκε η δυνατότητα εφαρμογής της γλώσσας όσον αφορά τη συμβατότητα και τη σύνδεση της με εναλλακτικές, σχετιζόμενες ή συμπληρωματικές γλώσσες στην επιστήμη υπηρεσιών, όπως οι WSDL, OWL-S, WSMO, USDL και BPMN. Εξάλλου, για να αποδειχθούν τα σημαντικά οφέλη της WSSL, σχεδιάστηκε και υλοποιήθηκε ένα καινοτόμο σύστημα σύνθεσης και επαλήθευσης υπηρεσιών βάσει προδιαγραφών. Το σύστημα προάγει την έρευνα στο πεδίο της σύνθεσης υπηρεσιών ικανοποιώντας ταυτόχρονα μια σειρά από σημαντικές απαιτήσεις, χάρη στις δυνατότητες της WSSL. Ειδικότερα, υποστηρίζεται η περιγραφή δευτερευουσών συνεπειών τόσο στις υπηρεσίες όσο και στους στόχους σύνθεσης, ενώ η διαδικασία επαλήθευσης βάσει προδιαγραφών μπορεί να παρέχει επεξηγήσεις σε περίπτωση μη αναμενόμενης συμπεριφοράς, χάρη στις λύσεις στα προβλήματα επιπτώσεων και προϋποθέσεων. Επιπλέον, η διαδικασία σύνθεσης είναι αυτοματοποιημένη και παράγει σύνθετες υπηρεσίες υπό τη μορφή εργασιών ομαδοποιημένων σε ροές εργασίας, με προδιαγραφές για κάθε εργασία, επιτρέποντας τη δυναμική αντιστοίχιση συγκεκριμένων υπηρεσιών για κάθε εργασία. Επιπλέον απαιτήσεις ικανοποιούνται χάρη στις επεκτάσεις της WSSL. Συγκεκριμένα, η σύνθεση υποστηρίζει μη-ντετερμινιστικές δομές ελέγχου, όπως η εκτέλεση βάσει συνθήκης και η επαναληπτική εκτέλεση. Επίσης, υποστηρίζεται η περιγραφή καταστάσεων που είναι μερικώς παρατηρήσιμες (είτε πριν είτε μετά την εκτέλεση μιας υπηρεσίας που συμμετέχει σε μια σύνθεση), όπως για παράδειγμα η εύρεση σύνθεσης που ικανοποιεί ένα στόχο βάσει ελλιπούς αρχικής κατάστασης. Ακόμα, υποστηρίζονται τόσο λειτουργικοί στόχοι όσο και στόχοι που αφορούν ΠΥ. Για την επιλογή βέλτιστων πλάνων εκτέλεσης και την ιεράρχηση τους βάσει ιδιοτήτων ποιότητας, χρησιμοποιούνται ευρετικοί κανόνες που αφορούν το εκάστοτε πρόβλημα σύνθεσης και στόχοι που αναφέρονται σε ποιοτικά χαρακτηριστικά μεμονωμένων εργασιών στο πλάνο. Για την επίτευξη στόχων που αφορούν χαρακτηριστικά ποιότητας ολόκληρης της σύνθεσης, παρέχεται μια καθολική μέθοδος συνάθροισης ΠΥ, βάσει μιας ολοκληρωμένης ταξινόμησης ιδιοτήτων ΠΥ με γνώμονα τη φύση και τους τύπους τιμών κάθε ιδιότητας. Τέλος, σχεδιάστηκε και εκτελέστηκε μια εκτενής πειραματική αξιολόγηση του συστήματος, εστιάζοντας σε κάθε ξεχωριστή υπομονάδα που περιέχεται, καθώς επίσης και μια αξιολόγηση του συστήματος συνολικά. Τα πειράματα βασίζονται σε συνθετικά παραγόμενες προδιαγραφές και προβλήματα σύνθεσης που καλύπτουν ένα ευρύ φάσμα πολυπλοκότητας. Η βασικότερη μεταβλητή αξιολόγησης είναι ο χρόνος εκτέλεσης ώστε να διαπιστωθεί η δυνατότητα κλιμακωτής απόδοσης. Σε ορισμένες περιπτώσεις αξιολογήθηκε και η κατανάλωση μνήμης, ενώ για την πε- ρίπτωση της υπομονάδας που επιλέγει και ιεραρχεί τα διάφορα πλάνα εκτέλεσης κρίθηκε και το κατά πόσο το τελικό αποτέλεσμα είναι βέλτιστο. Τα αποτελέσματα της αξιολόγησης δείχνουν ότι, ακόμα και υπό την παρουσία δευτερευουσών συνεπειών σε ένα υποσύνολο των προδιαγραφών που λαμβάνονται υπόψη, η διαδικασία εύρεσης συνθέσεων βάσει λειτουργικών στόχων είναι αποδοτική για αποθετήρια που περιέχουν μέχρι 500 διαφορετικά έγγραφα προδιαγραφών. Επιπλέον, το κόστος της διαδικασίας εύρεσης υπηρεσιών βάσει προδιαγραφών λειτουργικότητας είναι ασήμαντο όταν πρόκειται για μία εκτέλεση (δηλαδή την εύρεση όλων των προδιαγραφών και κατ’ επέκταση όλων των υπηρεσιών που ταιριάζουν με την προδιαγραφή μιας υπηρεσίας). Το γεγονός αυτό επιτρέπει τη διατήρηση της αποδοτικότητας του συστήματος, ακόμα και όταν η διαδικασία εύρεσης εκτελείται για όλες τις υπηρεσίες που περιέχονται σε πολλαπλές υποψήφιες συνθέσεις. Τέλος, η εύρεση του βέλτιστου πλάνου εκτέλεσης σχετίζεται σε μεγάλο βαθμό από τους ευρετικούς κανόνες που ορίζονται για το εκάστοτε πρόβλημα σύνθεσης και άρα εξαρτάται κυρίως από την πραγματογνωμοσύνη του σχεδιαστή συνθέσεων υπηρεσιών.
Φυσική περιγραφή xxviii, 248 σ. : πίν., εικ. ; 30 εκ.
Γλώσσα Αγγλικά
Θέμα Formal specification
Frame problem
Qualification problem
Ramification problem
Service description
Περιγραφή υπηρεσιών
Πρόβλημα επιπτώσεων
Πρόβλημα πλαισίου
Τυπικές προδιαγραφές
Ημερομηνία έκδοσης 2014-09-11
Συλλογή   Σχολή/Τμήμα--Σχολή Θετικών και Τεχνολογικών Επιστημών--Τμήμα Επιστήμης Υπολογιστών--Διδακτορικές διατριβές
  Τύπος Εργασίας--Διδακτορικές διατριβές
Εμφανίσεις 163

Ψηφιακά τεκμήρια
No preview available

Προβολή Εγγράφου
Εμφανίσεις : 6