Μέθοδοι και τεχνικές για την ανάπτυξη παράλληλων και κατανεμημένων εφαρμογών
Στα πλαίσια αυτής της διδακτορικής διατριβής, αναπτύχθηκε μια μεθοδολογία αντικειμενικού εντοπισμού σφαλμάτων για την αρχιτεκτονική σύνεσης λογισμικού Ensemble. Μπορεί να χρησιμοποιηθεί στα πλαίσια του μοντέλου κύκλου ζωής λογισμικού, ως διαδικασία τεχνολογίας λογισμικού για παράλληλα και κατανεμημένα συστήματα. Περιλαμβάνει διαχείριση της διαδικασίας ανάπτυξης λογισμικού και συνδέει το σχεδιασμό, την υλοποίηση και τον έλεγχο σε μια ολοκληρωμένη διαδικασία ανάπτυξης. Χρησιμοποιήθηκαν τυπικές προδιαγραφές εξαρτημάτων για την πιστοποίηση συντεθειμένων εφαρμογών. Η λογική που ακολουθήθηκε είναι οι ελαφρές τυπικές μέθοδοι, που χρησιμοποιούνται κατά την εκτέλεση των προγραμμάτων ως εργαλεία υποβοήθησης του εντοπισμού σφαλμάτων. Αναπτύχθηκε μια τεχνική σύνθεσης προδιαγραφών, συνδεδεμένη με τη σύνθεση της Ensemble την οποία ουσιαστικά επεκτείνει. Προτάθηκε μια επέκταση στο μοντέλο των έγχρωμων δικτύων Petri, η οποία μπορεί να μοντελοποιεί την «ψευδοδυναμική» μεταβολή των παραμετρικών διεπαφών ...
περισσότερα
In this PhD thesis a methodology for the objective error detection for the Ensemble composition architecture was proposed and developed. It can be used in the framework of the software life-cycle model, as a Parallel and Distributed Software Engineering process. It involves management of the software development process, and links design, implementation and testing in an integrated development process. Formal specifications of software components were used to validate the behaviour of composed applications. The logic followed is lightweight formal methods, which are applied during program execution as tools to assist error detection. A specifications composition technique, which is related to the composition of Ensemble and extends it to cover composition of formal specifications, was developed. An extension to the coloured Petri net model, called template CPN, which is capable to model the “pseudodynamic” modification of parametric interfaces of Ensemble components was proposed. Commu ...
περισσότερα
 | |
 | Κατεβάστε τη διατριβή σε μορφή PDF (4.96 MB)
(Η υπηρεσία είναι διαθέσιμη μετά από δωρεάν εγγραφή)
|
Όλα τα τεκμήρια στο ΕΑΔΔ προστατεύονται από πνευματικά δικαιώματα.
|
Στατιστικά χρήσης
ΠΡΟΒΟΛΕΣ
Αφορά στις μοναδικές επισκέψεις της διδακτορικής διατριβής για την χρονική περίοδο 07/2018 - 07/2023.
Πηγή: Google Analytics.
Πηγή: Google Analytics.
ΞΕΦΥΛΛΙΣΜΑΤΑ
Αφορά στο άνοιγμα του online αναγνώστη για την χρονική περίοδο 07/2018 - 07/2023.
Πηγή: Google Analytics.
Πηγή: Google Analytics.
ΜΕΤΑΦΟΡΤΩΣΕΙΣ
Αφορά στο σύνολο των μεταφορτώσων του αρχείου της διδακτορικής διατριβής.
Πηγή: Εθνικό Αρχείο Διδακτορικών Διατριβών.
Πηγή: Εθνικό Αρχείο Διδακτορικών Διατριβών.
ΧΡΗΣΤΕΣ
Αφορά στους συνδεδεμένους στο σύστημα χρήστες οι οποίοι έχουν αλληλεπιδράσει με τη διδακτορική διατριβή. Ως επί το πλείστον, αφορά τις μεταφορτώσεις.
Πηγή: Εθνικό Αρχείο Διδακτορικών Διατριβών.
Πηγή: Εθνικό Αρχείο Διδακτορικών Διατριβών.
Σχετικές εγγραφές (με βάση τις επισκέψεις των χρηστών)
