Τεχνικές Ανάλυσης και Παρακολούθησης Ορθής Λειτουργίας Πληροφοριακών Συστημάτων Πολλαπλών Επιπέδων

Χατζηκωνσταντίνου, Γεώργιος

dc.contributor.author	Χατζηκωνσταντίνου, Γεώργιος	el
dc.date.accessioned	2016-06-14T07:43:32Z
dc.date.available	2016-06-14T07:43:32Z
dc.date.issued	2016-06-14
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/42691
dc.identifier.uri	http://dx.doi.org/10.26240/heal.ntua.2119
dc.rights	Αναφορά Δημιουργού - Μη Εμπορική Χρήση - Παρόμοια Διανομή 3.0 Ελλάδα	*
dc.rights.uri	http://creativecommons.org/licenses/by-nc-sa/3.0/gr/	*
dc.subject	Μοντέλα δένδρων στόχων	el
dc.subject	Ασαφής μηχανισμός συμπερασμού	el
dc.subject	Επαλήθευση ορθής λειτουργίας χρόνου εκτέλεσης	el
dc.subject	Εξαγωγή πλάνου αποκατάστασης	el
dc.subject	Συστήματα Πολλαπλών Επιπέδων	el
dc.subject	Goal models	en
dc.subject	Fuzzy reasoning	en
dc.subject	Run-time verification	en
dc.subject	Remediation Plan Determination	en
dc.subject	Multi-layer Software Systems	en
dc.title	Τεχνικές Ανάλυσης και Παρακολούθησης Ορθής Λειτουργίας Πληροφοριακών Συστημάτων Πολλαπλών Επιπέδων	el
dc.contributor.department	Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών	el
heal.type	doctoralThesis
heal.classification	Software engineering	el
heal.classification	Requirements engineering	el
heal.classificationURI	http://id.loc.gov/authorities/subjects/sh87007398
heal.classificationURI	http://id.loc.gov/authorities/subjects/sh2007004792
heal.language	el
heal.access	campus
heal.recordProvider	ntua	el
heal.publicationDate	2015-10-30
heal.abstract	Αντικείμενο της παρούσας διδακτορικής διατριβής είναι ο σχεδιασμός και η ανάπτυξη ενός περιβάλλοντος-πλαισίου που υποστηρίζει διαδικασίες συμπερασμού σε μοντέλα δέντρων στόχων. Τα μοντέλα δέντρων στόχων χρησιμοποιούνται για την απεικόνιση απαιτήσεων συστήματος, πολιτικών και στόχων που θέτουν οι εμπλεκόμενοι στο σύστημα. Οι διαδικασίες συμπερασμού χρησιμοποιούνται για α) την επαλήθευση συστημάτων λογισμικού κατά τον χρόνο εκτέλεσης, και β) την συγκρότηση πλάνων αποκατάστασης στην περίπτωση που ένας ή περισσότεροι από τους στόχους δεν ικανοποιούνται.Για την επαλήθευση συστημάτων λογισμικού κατά το χρόνο εκτέλεσης, προτείνεται μια διαδικασία συμπερασμού από τα φύλλα προς τις ρίζες (bottom-up), για ασαφή μοντέλα δέντρων στόχων. Πιο συγκεκριμένα, οι εμπλεκόμενοι του συστήματος ορίζουν σύνολα στόχων οι οποίοι πρέπει να επαληθεύονται κατά τον χρόνο εκτέλεσης. Οι μοντελοποίηση αυτόν των στόχων γίνεται με την χρήση ενός μεταμοντέλου που βασίζεται στα AND/OR μοντέλα δέντρων στόχων. Στιγμιότυπα αυτού του μεταμοντέλου είναι δυνατόν να μετασχηματιστούν σε σταθμισμένους ασαφείς κανόνες, που στη συνέχεια θα αποτελέσουν την βάση γνώσης ενός ασαφούς ελεγκτή. Επιπλέον, το σύνολο των παρατηρήσεων που μπορούν να εξαχθούν από το σύστημα μετατρέπονται σε ασαφή δεδομένα (fuzzy facts) μέσω μίας κατάλληλης διαδικασίας ασαφοποίησης, και χρησιμοποιώντας μία κατάλληλη μηχανή συμπερασμού είναι εφικτό να υπολογιστεί ο βαθμός ικανοποίησης των αρχικών στόχων που έχουν θέσει οι stakeholders του συστήματος.Για την δημιουργία των πλάνων αποκατάστασης, προτείνεται ένας μηχανισμός συμπερασμού από τις ρίζες του μοντέλου προς τα φύλλα (top-down), που χρησιμοποιεί SAT solvers και γενετικούς αλγορίθμους. Πιο συγκεκριμένα, χρησιμοποιούνται μοντέλα που επιτρέπουν τον ορισμό χρονικών εξαρτήσεων ανάμεσα στους κόμβους που συμβολίζουν ενέργειες (actions). Στην περίπτωση που οι στόχοι του συστήματος δεν επαληθεύονται, είναι δυνατόν τα μοντέλα αυτά να χρησιμοποιηθούν σε συνδυασμό με κατάλληλους μηχανισμούς συμπερασμού, έτσι ώστε να προταθεί ένα πλάνο εκτέλεσης για την αλλαγή παραμέτρων του συστήματος, οι οποίες αλλαγές μπορούν να έχουν θετική επίδραση στους στόχους του συστήματος.	el
heal.sponsor	H παρούσα έρευνα έχει συγχρηματοδοτηθεί από την Ευρωπαϊκή Ένωση (Ευρωπαϊκό Κοινωνικό Ταμείο - ΕΚΤ) και από εθνικούς πόρους μέσω του Επιχειρησιακού Προγράμματος «Εκπαίδευση και Δια Βίου Μάθηση» του Εθνικού Στρατηγικού Πλαισίου Αναφοράς (ΕΣΠΑ) – Ερευνητικό Χρηματοδοτούμενο Έργο: Ηράκλειτος ΙΙ. Επένδυση στην κοινωνία της γνώσης μέσω του Ευρωπαϊκού Κοινωνικού Ταμείου.	el
heal.advisorName	Κοντογιάννης, Κωνσταντίνος	el
heal.committeeMemberName	Κοντογιάννης, Κωνσταντίνος	el
heal.committeeMemberName	Βασιλείου, Ιωάννης	el
heal.committeeMemberName	Σελλής, Τιμολέων	el
heal.committeeMemberName	Παπασπύρου, Νικόλαος	el
heal.committeeMemberName	Ασκούνης, Δημήτριος	el
heal.committeeMemberName	Σταφυλοπάτης, Ανδρέας-Γεώργιος	el
heal.committeeMemberName	Χριστοδουλάκης, Σταύρος	el
heal.academicPublisher	Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών	el
heal.academicPublisherID	ntua
heal.numberOfPages	162
heal.fullTextAvailability	true