Τυπικές Προδιαγραφές - Η τυπική γλώσσα Ζ (Τσιρίγκα-ΗΤ-ΠΛΗ42)

 
This item is provided by the institution :

Repository :
Institutional Repository of the Hellenic Open University
see the original item page
in the repository's web site and access all digital files if the item*
share



2008 (EN)
Τυπικές Προδιαγραφές - Η τυπική γλώσσα Ζ (Τσιρίγκα-ΗΤ-ΠΛΗ42)

Τσιρίγκα, Βικτωρία

Ξένος, Μιχάλης
Σκόδρας,, Αθανάσιος

Ο φοιτητής μπορεί να μελετήσει το ΕΔΥ αυτής της ενότητας για να μπορεί να κατανοήσει τον τρόπο που εργαζόμαστε για να μοντελοποιήσουμε ένα σύστημα λογισμικού με τη βοήθεια της τυπικής γλώσσας Ζ. Το συγκεκριμένο ΕΔΥ θα πρέπει να μελετηθεί σε συνδυασμό με το κεφάλαιο 7 του Τόμου Α της ΠΛΗ 42 (κεφάλαιο 7) και το αντίστοιχο ΕΔΥ μορφής Webcast για την τυπική γλώσσα Ζ. Το συγκεκριμένο υλικό περιέχει 4 ενότητες. Αρχικά, στην πρώτη ενότητα «Διαδικασία σύνταξης προδιαγραφών ενός συστήματος στην τυπική γλώσσα Ζ» παρουσιάζεται ο βασικός συμβολισμός της τυπικής γλώσσας Ζ, καθώς και ο τρόπος που μπορούμε να ορίσουμε σχήματα και λειτουργίες με τη γλώσσα αυτή. Στη δεύτερη ενότητα παρουσιάζεται ο τρόπος που μπορούμε να χρησιμοποιήσουμε τη θεωρία συνόλων των μαθηματικών με σκοπό τη μοντελοποίηση συστημάτων με τη βοήθεια της γλώσσας Ζ. Τέλος, στις δύο τελευταίες ενότητες γίνεται παρουσίαση του τρόπου που χρησιμοποιούνται οι σχέσεις και οι συναρτήσεις για την προδιαγραφή συστημάτων λογισμικού. Στις διάφορες ενότητες συμπεριλαμβάνονται μία σειρά από παραδείγματα και ασκήσεις προς επίλυση με σκοπό την καλύτερη κατανόηση της ύλης. Μετά τη μελέτη του συγκεκριμένου εναλλακτικού υλικού, ο φοιτητής θα πρέπει να μπορεί: 1)να δημιουργεί σχήματα στην τυπική γλώσσα Ζ,2)να δημιουργεί σχήματα για την προδιαγραφή λειτουργιών,3)να διαχειρίζεται λανθασμένες περιπτώσεις εκτέλεσης μίας λειτουργίας,4)να δημιουργεί προδιαγραφές στη γλώσσα Ζ χρησιμοποιώντας τη θεωρία συνόλων,5)να δημιουργεί προδιαγραφές στη γλώσσα Ζ χρησιμοποιώντας σχέσεις και συναρτήσεις,6)να συνδυάζει σχήματα με σκοπό τη μοντελοποίηση ενός ολοκληρωμένου συστήματος λογισμικού.
Σκοπός του συγκεκριμένου διδακτικού υλικού είναι να αποσαφηνίσει το βασικό συμβολισμό της τυπικής γλώσσας Ζ και να παρέχει μία σειρά από ολοκληρωμένα παραδείγματα μοντελοποίησης συστημάτων με τη βοήθεια της γλώσσας αυτής. Επίσης, περιλαμβάνονται στο διδακτικό υλικό και μία σειρά από ασκήσεις που ο φοιτητής πρέπει να επιλύσει και να συγκρίνει τη λύση του με τις ενδεικτικές λύσεις που παρέχονται. Το παρόν υλικό θα πρέπει να μελετηθεί σε συνδυασμό με το κεφάλαιο 7 του 1ου τόμου «Τυπικές Προδιαγραφές», καθώς και τα αντίστοιχα τμήματα webcast που προτείνονται σε κάποιες ασκήσεις που παρουσιάζονται.

Schemas in Z
Error handling schemas
Σχήμα κατάστασης
Αναλλοίωτο κατάστασης
Combining schemas
Set operations
Συναρτήσεις
Relations
Συνδυασμός σχημάτων
State invariant
Λειτουργίες
Διαχείριση σφαλμάτων
Πράξεις επί συνόλων
Z operations
Σχήματα στην τυπική γλώσσα Ζ
Σχέσεις
State schema

Ελληνικό Ανοικτό Πανεπιστήμιο (EL)
Hellenic Open University (EN)

2008-11-28T08:48:21Z
2013-12-13T09:03:39Z


Ο συνολικός χρόνος μελέτης του ΕΔΥ εξαρτάται από το είδος μελέτης του φοιτητή. Στην περίπτωση που το υλικό μελετάται για πρώτη φορά, ο φοιτητής θα πρέπει να μελετήσει κάθε ενότητα καθώς και τα παραδείγματα που παρατίθενται και στη συνέχεια να προσπαθήσει να λύσει τις προτεινόμενες ασκήσεις. Τέλος, για κάθε άσκηση πρέπει να γίνει μελέτη της ενδεικτικής λύσης που παρατίθεται. Στην περίπτωση που ο φοιτητής μελετά το υλικό κάνοντας επανάληψη, τότε αρκεί να εστιάσει μόνο στα σημεία που έχει δυσκολίες. Τέλος, αν το διδακτικό υλικό μελετάται ως προετοιμασία για τις εξετάσεις, προτείνεται ο φοιτητής να προσπαθήσει να επιλύσει τις διάφορες ασκήσεις και να εξετάσει την ορθότητα της λύσης του συγκρίνοντάς την με την προτεινόμενη λύση. Επομένως κρίνεται σκόπιμο να αναλύσουμε τους μέγιστους χρόνους μελέτης για κάθε ενότητα που αντιστοιχούν στην περίπτωση όπου το υλικό μελετάται για πρώτη φορά. Στην πρώτη ενότητα, ο φοιτητής θα μελετήσει το βασικό συμβολισμό της τυπικής γλώσσας Ζ, καθώς και ένα παράδειγμα. Για τη μελέτη της ενότητας, ο φοιτητής θα χρειαστεί 30 λεπτά. Στη συνέχεια, καλείται να λύσει μία άσκηση, για την οποία θα πρέπει να αφιερώσει περίπου 20 λεπτά. Η δεύτερη ενότητα παρουσιάζει τον τρόπο που μπορεί να χρησιμοποιηθεί η θεωρία συνόλων για τη δημιουργία προδιαγραφών με την τυπική γλώσσα Ζ. Καλό είναι για τη μελέτη της συγκεκριμένης ενότητας να γίνει μία επανάληψη του 3ου κεφαλαίου του Τόμου Α για το απαραίτητο μαθηματικό υπόβαθρο. Η ενότητα περιλαμβάνει μία σύντομη περίληψη της θεωρίας και στη συνέχεια ένα ολοκληρωμένο παράδειγμα προδιαγραφής ενός συστήματος με τη βοήθεια συνόλων. Για τη μελέτη της θεωρίας και του παραδείγματος ο φοιτητής θα πρέπει να αφιερώσει 45 λεπτά περίπου. Στην ενότητα αυτή υπάρχουν και δύο ασκήσεις. Για την πρώτη άσκηση, ο φοιτητής θα χρειαστεί περίπου 10 λεπτά. Η δεύτερη άσκηση απαιτεί από την άλλη πλευρά περίπου 1 ώρα για την επίλυσή της, ενώ είναι πιθανό ο φοιτητής να χρειαστεί να συμβουλεύεται τόσο το παράδειγμα της ενότητας όσο και αντίστοιχα παραδείγματα του βιβλίου. Οι δύο τελευταίες ενότητες αναφέρονται στον τρόπο με τον οποίο μπορούμε να προδιαγράψουμε ένα σύστημα λογισμικού με τη βοήθεια σχέσεων. Στην 3η ενότητα, παρουσιάζεται η έννοια των σχέσεων καθώς και ένα παράδειγμα προδιαγραφής λογισμικού. Για τη μελέτη της συγκεκριμένης ενότητας, ο φοιτητής θα χρειαστεί περίπου 1 ½ ώρα. Τέλος, η τελευταία ενότητα παρουσιάζει μία ειδική περίπτωση σχέσεων τις συναρτήσεις (για τη μελέτη της αντίστοιχης θεωρία αρκούν 15 λεπτά) και μία άσκηση, για την επίλυση της οποίας θα χρειαστεί περίπου 1 ώρα.



*Institutions are responsible for keeping their URLs functional (digital file, item page in repository site)