| Περίληψη |
Τα τελευταία χρόνια, η ερευνητική κοινότητα που ασχολείται με τις υπηρεσίες έχει δώσει ιδιαίτερη προσοχή στην περιγραφή, ανακάλυψη και σύνθεση των ηλεκτρονικών υπηρεσιών. Οι ηλεκτρονικές υπηρεσίες μπορούν να χαρακτηριστούν σαν εφαρμογές που είναι προσβάσιμες από άλλες εφαρμογές πάνω από το δίκτυο. Καθώς οι ηλεκτρονικές υπηρεσίες τείνουν να γίνουν εμπορεύσιμα είδη και ο αριθμός τους αυξήθηκε, η ανάγκη για περισσότερες αποτελεσματικές πλατφόρμες οι οποίες υποστηρίζουν τον συντονισμό και την ανάπτυξη των εφαρμογών, αυξήθηκε. Η ικανότητα αποδοτικής επιλογής και σύνθεσης υπηρεσιών για την ικανοποίηση ενός σύνθετου στόχου του χρήστη, είναι ύψιστης σημαντικότητας. Εν τούτοις, οι τρέχουσες περιγραφές των ηλεκτρονικών υπηρεσιών δεν ενισχύουν την αποδοτική επιλογή και σύνθεση των υπάρχουσων υπηρεσιών. Πολλές δουλειές έχουν προταθεί, μέχρι στιγμής, για την παρουσίαση του προβλήματος της σύνθεσης των ηλεκτρονικών υπηρεσιών, το οποίο μπορεί να παρουσιαστεί σαν ένα πρόβλημα ροών εργασιών ή προγραμματισμού ενεργειών . Αν και πολλές τεχνικές έχουν προταθεί για την αντιμετώπιση αυτού του προβλήματος, η σύνθεση των υπηρεσιών στερείται ακόμα από ικανοποιητικές λύσεις. Οι υπάρχουσες προδιαγραφές των ηλεκτρονικών υπηρεσιών προσφέρουν στις υπηρεσίες τον ορισμό προσυνθηκών και μετασυνθηκών, για παράδειγμα, συνθήκες που θα πρέπει να ισχύουν στην αρχική και τελική κατάσταση της υπηρεσίας. Ωστόσο, αυτού του είδους οι συνθήκες δεν είναι ακριβείς για την σύνθεση ηλεκτρονικών υπηρεσιών. Εξαιτίας της ανάγκης για σύνθεση ενός συνόλου από υπηρεσίες, προκύπτουν πολλές συνθήκες και περιορισμοί που δεν ορίζονται στις ατομικές προδιαγραφές των υπηρεσιών. Για τον ορισμό αυτών των συνθηκών, εμπλουτίσαμε τις προδιαγραφές των ηλεκτρονικών υπηρεσιών με αμετάβλητες δηλώσεις. Αυτές οι δηλώσεις θα πρέπει να ικανοποιούνται από όλες τις ενδιάμεσες καταστάσεις της σύνθετης υπηρεσίας. Επιπλέον, ένα σύνολο από κανόνες σύνθεσης, προτάθηκε. Δεδομένων των ακριβών προσυνθηκών, μετασυνθηκών και περιορισμών των ηλεκτρονικών υπηρεσιών που χρειάζονται να συντεθούν, μπορούμε να χρησιμοποιήσουμε τους κανόνες για τον καθορισμό των αποτελεσμάτων των σύνθετων ηλεκτρονικών υπηρεσιών παρουσία σύνθετων λειτουργιών. Οι κανόνες σύνθεσης ενδυναμώνουν τον συλλογισμό για την σύνθεση και την αλληλεπίδραση των υπηρεσιών. Μπορούν να χρησιμοποιηθούν για την παροχή γνώσης συνθετότητας στις περιγραφές των σύνθετων υπηρεσιών. Η θεώρηση τέτοιων κανόνων στο προγραμματισμό ενεργειών (planning) - ειδικά στον αντίστροφο προγραμματισμό - παρέχει αποδοτικότερους τρόπους επιλογής υπηρεσιών σε σύγκριση με τις απλές μεθόδους συσχετισμού μεταξύ εισόδων / εξόδων και προσυνθηκών / μετασυνθηκών. Οι συγκεκριμένες μέθοδοι επιλογής βασίζονται στην απόδειξη της ικανοποιησιμότητας των κανόνων και παρέχουν την δημιουργία ενός σχεδίου, η εκτέλεση του οποίου θα μας προσφέρει το επιθυμητό αποτέλεσμα.
|
Σύνθεση ηλεκτρονικών υπηρεσιών βασισμένη σε εμπλουτισμένες προδιαγραφές
