Αλγεβρικη Προδιαγραφη Προτυπων

Abstract

Στη διδακτορικη αυτη διατριβη θα εξετασουμε την ιδεα της χρησης Τυπικων Μεθοδων (και συγκεκριμενα Αλγεβρικων Προδιαγραφων) για τη δημιουργια τυπικων προδιαγραφων προτυπων για να συμπληρωσουν η να αντικαταστησουν τις προδιαγραφες που συνοδευουν ενα προτυπο και ειναι γραμμενες σε καποια φυσικη γλωσσα, σε μια προσπαθεια να ελαχιστοποιηθουν τα λαθη κατανοησης τετοιων κειμενων που οφειλο- νται κυριως στην ασαφεια που εμπεριεχουν οι φυσικες γλωσσες. Οι προδιαγραφες αυτες μπορει να ειναι εκτελεσιμες, δινοντας μας ετσι τη δυνατοτητα να περιγραψουμε και να επαληθευσουμε την ισχυ καποιων απαιτουμενων ιδιοτητων του προτυπου.Οι Τυπικες Μεθοδοι ειναι τεχνικες που χρησιμοποιουνται για την μοντελοποιηση (και επαληθευση) περιπλοκων συστηματων σε μορφη μαθηματικων οντοτητων. Η κατασκευη ενος τετοιου αυστηρου μαθημα- τικου μοντελου επιτρεπει την επαληθευση ιδιοτητων του συστηματος με τροπο πολυ πιο αναλυτικο και ενδελεχη απο τον εμπειρικο ελεγχο. Τα πλεονεκτηματα της χρησης Τυπικων Μεθοδων φαινεται να αντισταθμι- ζονται καπως απο το υψηλο κοστος εφαρμογης τους, κατι που κανει τον ρυθμο αποδοχης τους απο τη βιομηχανια πολυ αργο.Ισχυριζομαστε πως η χρηση των τυπικων μεθοδων σε βιομηχανικα προτυπα βοηθαει τοσο τη βιομηχανια, αφου κανει τις προδιαγραφες των προτυπων πιο σαφεις και περιεκτικες, οσο και την κοινοτητα των τυπικων Μεθοδων.