Οικογένειες αρχιτεκτονικών λογισμικού με ποσοτικά χαρακτηριστικά

Περίληψη

Οι αρχιτεκτονικές λογισμικού είναι σημαντικές για το σχεδιασμό και την ανάπτυξη πολύπλοκων συστημάτων λογισμικού. Για να μπορούν τα συστήματα να λειτουργούν ικανοποιώντας τις ιδιότητές τους θα πρέπει να βασίζονται σε μια σωστή αρχιτεκτονική λογισμικού. Οι αρχιτεκτονικές έχουν ποιοτικά και ποσοτικά χαρακτηριστικά. Τα ποιοτικά χαρακτηριστικά αφορούν κυρίως τον τρόπο αλληλεπίδρασης των συνιστωσών της αρχιτεκτονικής, ενώ τα ποσοτικά χαρακτηριστικά είναι για παράδειγμα το κόστος υλοποίησης ή ακόμα ο βαθμός αβεβαιότητας των αλληλεπιδράσεων. Ένα μεγάλο κομμάτι της βιβλιογραφίας ασχολείται κυρίως με την περιγραφή μόνο των ποιοτικών χαρακτηριστικών των αρχιτεκτονικών. Ωστόσο, μια αρχιτεκτονική είναι αντιπροσωπευτική ενός συστήματος όταν περιγράφει τόσο τα ποιοτικά όσα και τα ποσοτικά χαρακτηριστικά του. Επιπλέον κάποιες βασικές προϋποθέσεις ώστε οι αρχιτεκτονικές λογισμικού να μπορούν να περιγράφουν αποτελεσματικά τα συστήματα με τα χαρακτηριστικά τους, αποτελούν οι ακόλουθες. Αρχικά, να είναι ...
περισσότερα

Περίληψη σε άλλη γλώσσα

Software architectures are crucial in design and development of complex software systems. In order for the systems to work satisfying their properties they must be based on a proper software architecture. Software architectures have both qualitative and quantitative features. Qualitative features mainly concern the way the components in the architecture interact, whereas the quantitative features are for instance the implementation cost or also the degree of uncertainty of the interactions. Most work has been based on characterizing only the qualitative features of software architectures. However, a software architecture is considered to be more representative of a system, if it is able to characterize both qualitative and quantitative features. Yet another basic requirements for software architectures to describe efficiently software systems are to be correct-by-construction and helpful to stakeholders in understanding and analyzing the way the components interact. In this dissertatio ...
περισσότερα
Η διατριβή αυτή δεν είναι ακόμα διαθέσιμη ηλεκτρονικά
DOI
10.12681/eadd/56856
Διεύθυνση Handle
http://hdl.handle.net/10442/hedi/56856
ND
56856
Εναλλακτικός τίτλος
Quantitative architecture styles
Συγγραφέας
Παραπονιάρη, Παυλίνα (Πατρώνυμο: Μιχαήλ)
Ημερομηνία
2024
Ίδρυμα
Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης (ΑΠΘ). Σχολή Θετικών Επιστημών. Τμήμα Μαθηματικών. Τομέας Επιστήμης Υπολογιστών και Αριθμητικής Ανάλυσης
Εξεταστική επιτροπή
Ραχώνης Γεώργιος
Schreiner Wolfgang
Sifakis Joseph
Bliudze Simon
Καραμπετάκης Νικόλαος
Κατσαρός Παναγιώτης
Πουλάκης Δημήτριος
Επιστημονικό πεδίο
Φυσικές ΕπιστήμεςΜαθηματικά ➨ Μαθηματική λογική
Λέξεις-κλειδιά
Αρχιτεκτονικές λογισμικού; Αβεβαιότητα; Τυπικές μέθοδοι; Κανονικές μορφές; Αποφασισιμότητα της ισοδυναμίας; Προτασιακή λογική διαμόρφωσης; Ποσοτικά χαρακτηριστικά; Ποσοτική προτασιακή λογική διαμόρφωσης; Αντιμεταθετικός ημιδακτύλιος; Σύστημα Maude; Ασαφής λογική
Χώρα
Ελλάδα
Γλώσσα
Αγγλικά
Άλλα στοιχεία
σχημ.
Στατιστικά χρήσης
ΠΡΟΒΟΛΕΣ
Αφορά στις μοναδικές επισκέψεις της διδακτορικής διατριβής για την χρονική περίοδο 07/2018 - 07/2023.
Πηγή: Google Analytics.
ΞΕΦΥΛΛΙΣΜΑΤΑ
Αφορά στο άνοιγμα του online αναγνώστη για την χρονική περίοδο 07/2018 - 07/2023.
Πηγή: Google Analytics.
ΜΕΤΑΦΟΡΤΩΣΕΙΣ
Αφορά στο σύνολο των μεταφορτώσων του αρχείου της διδακτορικής διατριβής.
Πηγή: Εθνικό Αρχείο Διδακτορικών Διατριβών.
ΧΡΗΣΤΕΣ
Αφορά στους συνδεδεμένους στο σύστημα χρήστες οι οποίοι έχουν αλληλεπιδράσει με τη διδακτορική διατριβή. Ως επί το πλείστον, αφορά τις μεταφορτώσεις.
Πηγή: Εθνικό Αρχείο Διδακτορικών Διατριβών.