Περιβάλλον Πλαίσιο Για Την Ανάλυση Και Μετατροπή Μοντέλων Mof

Abstract

Καθώς υιοθετείται όλο και περισσότερο η μοντελοκεντρική προσέγγιση στην τεχνολογία λογισμικού, τα μοντέλα σαν τεχνολογικά υποκείμενα πρώτης τάξης και η διαχείριση τους σαν τέτοια αποκτούν ολοένα και σημαντικότερο ρόλο σε ολόκληρη την διάρκεια ζωής ενός τεχνικού έργου λογισμικού.Σε πολλές εφαρμογές είναι απαραίτητο να συνθέτουμε, να μετατρέπουμε και να συγκρίνουμε διαφορετικά μοντέλα που περιγράφουν διαφορετικά στοιχεία του συστήματος. Παραδείγματα τέτοιων μοντέλων είναι μοντέλα σχεδίασης, μοντέλα ελέγχου, μοντέλα παρακολούθησης λειτουργίας του συστήματος κτλ. Η σύνθεση νέων μοντέλων από άλλα μοντέλα είναι βασική για την υλοποίηση εργαλείων που υποστηρίζουν την μοντελοκεντρική ανάπτυξη πολύπλοκων εφαρμογών λογισμικού.Ο σκοπός αυτής της εργασίας είναι η σχεδίαση μιας άλγεβρας μοντέλων με συγκεκριμένους τελεστές που επιτρέπουν λειτουργίες όπως τη σύνθεση μοντέλων (model merging) και τη διαφορά μοντέλων (model differencing). Η άλγεβρα αυτή σχεδιάζεται για μοντέλα που υλοποιούνται σύμφωνα με το πρότυπο Meta Object Facility (MOF) και όσον αφορά τον μαθηματικό φορμαλισμό τους, περιγράφονται με τη μορφή γράφων.Προς την κατεύθυνση αυτή, οι πράξεις της σύνθεσης και της διαφοράς μελετώνται ως προς τη λειτουργία, την συμπεριφορά και τις αλγεβρικές τους ιδιότητες. Περιγράφονται οι προϋποθέσεις για την εκτέλεση τους και παρουσιάζονται αλγόριθμοι που να τις υλοποιούν. Επιπλέον προτείνεται μία επέκταση της πράξης της σύνθεσης μοντέλων με τη χρήση κανόνων αντιστοίχισης γραμμένων σε τριπλές γραμματικές γράφων, με σκοπό την επίτευξη μεγαλύτερης ευελιξίας στους τρόπους με τους οποίους μπορούν να συσχετίζονται τα μοντέλα που θέλουμε να συγχωνεύσουμε.Η επεκτεταμένη πράξη της σύνθεσης, χρησιμοποιείται σε ένα πρακτικό παράδειγμα σύνθεσης μοντέλων που ανταποκρίνονται σε αρχεία καταγραφών που υπακούουν στο πρότυπο Common Base Event (CBE), ένα πρότυπο για καταγραφpή γεγονότων σε κατανεμημένα συστήματα λογισμικού.