Your browser does not support JavaScript!

Αρχική    Αναζήτηση  

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

Εντολή Αναζήτησης : Όλα τα πεδία="Μπασινά"

Τρέχουσα Εγγραφή: 1 από 1

Πίσω στα Αποτελέσματα Προηγούμενη σελίδα
Επόμενη σελίδα
Προσθήκη στο καλάθι
[Προσθήκη στο καλάθι]
Κωδικός Πόρου 000423006
Τίτλος ECAVI: A tool for event calculus analysis and visualization
Άλλος τίτλος ECAVI: Ένα εργαλείο για ανάλυση και οπτικοποίηση του λογισμού συμβάντων
Συγγραφέας Μπασινά, Παρθένα Π.
Σύμβουλος διατριβής Πλεξουσάκης, Δημήτρης
Μέλος κριτικής επιτροπής Παπαγιαννάκης, Γεώργιος
Φλουρής, Γεώργιος
Περίληψη Οι γλώσσες δράσης έχουν καθιερωθεί ως μέσο για τη μοντελοποίηση δυναμικών τομέων, ωστόσο, η υιοθέτηση τους από μηχανικούς γνώσης συχνά εμποδίζεται από σφάλματα μοντελοποίησης και απότομες καμπύλες μάθησης. Ο Λογισμός Συμβάντων (ΛΣ), ως μια από τις πιο σημαντικές γλώσσες δράσης, μπορεί να αναπαραστήσει αιτιώδεις και αφηγηματικές πληροφορίες με τρόπο που διαφοροποιείται από άλλους παρόμοιους φορμαλισμούς. Έχει υποστηριχθεί ότι τα εργαλεία οπτικής μοντελοποίησης μπορούν να βοηθήσουν τους μηχανικούς γνώσης κατά τη διαδικασία της μοντελοποίησης και να βελτιώσουν την ποιότητα των μοντέλων που προκύπτουν. Η Meta-Modelling πλατφόρμα ADOxx επιτρέπει την ανάπτυξη εργαλείων μοντελοποίησης όπου το μεταμοντέλο και η μέθοδος μοντελοποίησης κατασκευάζονται από τον προγραμματιστή. Σε αυτή τη διπλωματική εργασία, παρουσιάζουμε το εργαλείο ECAVI, ένα ανεξάρτητο από τομείς εργαλείο οπτικής μοντελοποίησης για το σχεδιασμό δυναμικών τομέων στον Λογισμό Συμβάντων. Το ECAVI απευθύνεται κυρίως σε άτομα δίχως εμπειρία στη μοντελοποίηση (όπως μαθητές που βρίσκονται στο στάδιο της κατανόησης του ΛΣ) με στόχο να τους βοηθήσει να εξοικειωθούν με τα χαρακτηριστικά του ΛΣ και να τους καθοδηγήσει κατά τη διαδικασία σχεδιασμού των προβλημάτων τους. Για την υλοποίηση του εργαλείου χρησιμοποιούμε τις λειτουργίες της metamodeling πλατφόρμας ADOxx ώστε να σχεδιάσουμε τη γραφική μας γλώσσα με βάση το συντακτικό και τη σημασιολογία της Answer Set Programming (ASP) γλώσσας, και με τη βοήθεια ενός Java προγράμματος τη συνδυάζουμε με τον σύγχρονο αυτοματοποιημένο reasoner, Clingo. Παρόλο που το ECAVI αποτελεί ακόμα δουλειά σε εξέλιξη, με αρκετά χαρακτηριστικά που έχουν προγραμματιστεί αλλά δεν έχουν ακόμη εφαρμοστεί, υποστηρίζουμε ότι το εργαλείο θα είναι χρήσιμο σε ένα κοινό ποικίλων ατόμων που ασχολούνται με μοντελοποίηση γνώσης ως ένας βοηθός διδασκαλίας για τις θεμελιώδεις έννοιες της συλλογιστικής σχετικά με τις ενέργειες και την αλλαγή μέσα στο χρόνο αλλά και ως έναν τρόπο οπτικοποίησης πλήρων προγραμμάτων σε ASP.
Φυσική περιγραφή xvi, 67 σ. : σχεδ., πιν., εικ. ; 30 εκ.
Γλώσσα Αγγλικά
Θέμα Model-driven engineering
Λογισμός συμβάντων
Ημερομηνία έκδοσης 2019-03-29
Συλλογή   Σχολή/Τμήμα--Σχολή Θετικών και Τεχνολογικών Επιστημών--Τμήμα Επιστήμης Υπολογιστών--Μεταπτυχιακές εργασίες ειδίκευσης
  Τύπος Εργασίας--Μεταπτυχιακές εργασίες ειδίκευσης
Μόνιμη Σύνδεση https://elocus.lib.uoc.gr//dlib/0/b/e/metadata-dlib-1559985628-218249-30741.tkl Bookmark and Share
Εμφανίσεις 493

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

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