| Abstract |
Configuration Management (CM) είναι ο τομέας που ασχολείται με τον προσδιορισμό της διαμόρφωσης ενός συστήματος σε διακριτά σημεία στο χρόνο με στόχο το συστηματικό έλεγχο των αλλαγών στη διαμόρφωση, και τη διατήρηση της ακεραιότητας αυτής κατά τη διάρκεια ζωής του συστήματος, δηλαδή είναι ο τομέας που ασχολείται με τον έλεγχο της εξέλιξης πολύπλοκων συστημάτων. Software Configuration Management (SCM) είναι η ειδίκευση του CM για προγράμματα ηλεκτρονικών υπολογιστών και για σχετικά με αυτά έγγραφα. Τα συστατικά στοιχεία του CM είναι οι έξι παρακάτω λειτουργίες : αναγνώριση, έλεγχος αλλαγών, αναφορά κατάστασης, έλεγχος απαιτήσεων, επιλογή έκδοσης και κατασκευή βάσης, και κατασκευή λογισμικού. \\ Η επιλογή εκδόσεων είναι μία ενεργή περιοχή έρευνας μέσα στο CM, η οποία ασχολείται με την επιλογή των κατάλληλων εκδόσεων στοιχείων, ώστε να προκύπτουν βιώσιμες διαμορφώσεις συστημάτων. Η γενική προσέγγιση στο θέμα, από τα υπάρχοντα συστήματα για SCM, συσχετίζει περιορισμούς με μοντέλα συστημάτων, όπου οι περιορισμοί είναι συνθήκες πάνω σε γνωρίσματα λογισμικών αντικειμένων, οι οποίες επιλέγουν τις κατάλληλες διασκευές (revisions) και παραλλαγές (variants) εκδόσεων. Η προσέγγιση που προτείνουμε εμείς, μέσα από την παρούσα εργασία, χρησιμοποιεί μία μερικά διατεταγμένη άλγεβρα πάνω στα ονόματα των εκδόσεων των αντικειμένων. Μία συγκεκριμένη έκδοση ενός συστήματος σχηματίζεται από το συνδυασμό των πλησιέστερων εκδόσεων των στοιχείων από τα οποία αποτελείται το σύστημα. Η επιλογή της πλησιέστερης έκδοσης γίνεται μέσω της άλγεβρας.\\ Το μοντέλο της άλγεβρας, με τη δεδομένη μορφή του, δε μπορεί να εκφράσει ορισμένες βασικές έννοιες του CM και ειδικότερα της επιλογής εκδόσεων, για παράδειγμα, δε μας επιτρέπει να καταλάβουμε αν μία έκδοση είναι διασκευή ή παραλλαγή. Στην παρούσα εργασία προτείνουμε ένα μοντέλο για configuration management (περιγράφεται με τη γλώσσα παράστασης γνώσης TELOS), με το οποίο, αντιμετωπίζουμε τα προβλήματα που αναφέρουμε προηγουμένως και εισάγουμε τις έννοιες των περιορισμών ασυμβατότητας και των προαιρετικών (optional) αντικειμένων. Επιδεικνύουμε τη χρησιμότητα αυτής της προσέγγισης μέσω ενός συστήματος, που υλοποιήσαμε, για CM. Το σύστημά μας διαχειρίζεται εκδόσεις αντικειμένων, εισάγει δεδομένα στη βάση δεδομένων και συγκεκριμένα περιορισμούς, και επιλέγει εκδόσεις για την κατασκευή μίας έκδοσης συστήματος ελέγχοντας την ύπαρξη περιορισμών μεταξύ τους.
|
Ένα Σύστημα για Configuration Management
