Please use this identifier to cite or link to this item: http://hdl.handle.net/10889/5566
Title: Σύνθεση υπηρεσιών ιστού με τη μέθοδο του «Planning as satisfiability»
Other Titles: Semantic Web Services Composition based on Planning as satisfiability
Authors: Τσούτσα, Παρασκευή
Issue Date: 2012-10-14
Keywords: Υπηρεσίες Ιστού
Σύνθεση
Σχεδιασμός
Keywords (translated): Web Services
Composition
Planning
Abstract: Στις μέρες μας στο διαδίκτυο υπάρχουν αρκετές εκατοντάδες υπηρεσίες ιστού που η καθεμιά προσφέρει κάποια λειτουργικότητα μέσω των operations που διαθέτει. Οι υπηρεσίες αυτές εκτός του ότι αυξάνονται με γοργούς ρυθμούς ενημερώνονται και επεκτείνονται συνεχώς «on the fly». Δεδομένης αυτής της πληθώρας και της πολυπλοκότητας υπάρχει η ανάγκη αυτόματα να μπορούμε να ψάξουμε για κάποιες υπηρεσίες ιστού που χρειαζόμαστε και στη συνέχεια να τις χρησιμοποιήσουμε κατάλληλα ώστε να επιτύχουμε κάποιο στόχο. Οι συγκεκριμένες λειτουργίες των υπηρεσιών πρέπει δυναμικά να συν λειτουργήσουν ώστε να επιτύχουμε τον επιθυμητό στόχο. Σκοπός της ευρύτερης έρευνας που κάνουμε είναι να προτείνουμε μια μέθοδο για τη μοντελοποίηση της σύνθεσης υπηρεσιών στο σημασιολογικό ιστό. Δεδομένου ότι έχουν παρουσιασθεί μέθοδοι επίλυσης του προβλήματος της σύνθεσης υπηρεσιών που το αντιμετωπίζουν ως πρόβλημα αυτόματου σχεδιασμού ενεργειών μελετήθηκαν μέθοδοι αυτόματου σχεδιασμού ενεργειών (Αutomated Planning)[10]. Στη συνέχεια μελετήθηκαν κάποια συστήματα λογικής όπως Τροπική Λογική (Modal Logic) [6], Προτασιακή Δυναμική Λογική (PDL)[8], Περιγραφική Λογική(DL)[11] ώστε να βρεθεί το κατάλληλο που θα εκφράσει το πρόβλημα εν γένει. Στις μεθόδους αυτόματου σχεδιασμού ενεργειών σχεδιάζουμε να ακολουθήσουμε εκείνη του planning as satisfiability και για το λόγο αυτό μελετήθηκαν Συστήματα Αυτόματης Απόδειξης Θεωρημάτων και η ικανοποιησιμότητα σε ένα σύστημα Λογικής [9][11].
Appears in Collections:Τμήμα Μαθηματικών (Τεχνικές Αναφορές)

Files in This Item:
File Description SizeFormat 
TR TRHP-03.pdf704.66 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.