Please use this identifier to cite or link to this item: http://hdl.handle.net/10889/5566
Full metadata record
DC FieldValueLanguage
dc.contributor.authorΤσούτσα, Παρασκευή-
dc.contributor.otherTsoutsa, Paraskevi-
dc.date.accessioned2012-10-14T14:32:06Z-
dc.date.available2012-10-14T14:32:06Z-
dc.date.copyright2012-09-15-
dc.date.issued2012-10-14-
dc.identifier.urihttp://hdl.handle.net/10889/5566-
dc.description.abstractΣτις μέρες μας στο διαδίκτυο υπάρχουν αρκετές εκατοντάδες υπηρεσίες ιστού που η καθεμιά προσφέρει κάποια λειτουργικότητα μέσω των operations που διαθέτει. Οι υπηρεσίες αυτές εκτός του ότι αυξάνονται με γοργούς ρυθμούς ενημερώνονται και επεκτείνονται συνεχώς «on the fly». Δεδομένης αυτής της πληθώρας και της πολυπλοκότητας υπάρχει η ανάγκη αυτόματα να μπορούμε να ψάξουμε για κάποιες υπηρεσίες ιστού που χρειαζόμαστε και στη συνέχεια να τις χρησιμοποιήσουμε κατάλληλα ώστε να επιτύχουμε κάποιο στόχο. Οι συγκεκριμένες λειτουργίες των υπηρεσιών πρέπει δυναμικά να συν λειτουργήσουν ώστε να επιτύχουμε τον επιθυμητό στόχο. Σκοπός της ευρύτερης έρευνας που κάνουμε είναι να προτείνουμε μια μέθοδο για τη μοντελοποίηση της σύνθεσης υπηρεσιών στο σημασιολογικό ιστό. Δεδομένου ότι έχουν παρουσιασθεί μέθοδοι επίλυσης του προβλήματος της σύνθεσης υπηρεσιών που το αντιμετωπίζουν ως πρόβλημα αυτόματου σχεδιασμού ενεργειών μελετήθηκαν μέθοδοι αυτόματου σχεδιασμού ενεργειών (Αutomated Planning)[10]. Στη συνέχεια μελετήθηκαν κάποια συστήματα λογικής όπως Τροπική Λογική (Modal Logic) [6], Προτασιακή Δυναμική Λογική (PDL)[8], Περιγραφική Λογική(DL)[11] ώστε να βρεθεί το κατάλληλο που θα εκφράσει το πρόβλημα εν γένει. Στις μεθόδους αυτόματου σχεδιασμού ενεργειών σχεδιάζουμε να ακολουθήσουμε εκείνη του planning as satisfiability και για το λόγο αυτό μελετήθηκαν Συστήματα Αυτόματης Απόδειξης Θεωρημάτων και η ικανοποιησιμότητα σε ένα σύστημα Λογικής [9][11].el
dc.language.isogrel
dc.subjectΥπηρεσίες Ιστούel
dc.subjectΣύνθεσηel
dc.subjectΣχεδιασμόςel
dc.titleΣύνθεση υπηρεσιών ιστού με τη μέθοδο του «Planning as satisfiability»el
dc.title.alternativeSemantic Web Services Composition based on Planning as satisfiabilityel
dc.typeTechnical Reportel
dc.subject.alternativeWeb Servicesel
dc.subject.alternativeCompositionel
dc.subject.alternativePlanningel
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.