Τι είναι οι συμβάσεις λειτουργίας;

Στον τομέα του προγραμματισμού υπολογιστών και της επιστήμης των υπολογιστών, οι συμβάσεις λειτουργίας είναι ένας τρόπος για να καθορίσετε ή να τεκμηριώσετε πώς μια συγκεκριμένη λειτουργία θα αλλάξει διαφορετικά στοιχεία μέσα σε ένα πρόγραμμα.Σε αντίθεση με μια αφηρημένη διεπαφή προγραμματισμού (API) ή ένα έγγραφο ελέγχου διεπαφής, οι συμβάσεις λειτουργίας χρησιμοποιούνται για να βοηθήσουν κατά τη διάρκεια της φάσης ανάπτυξης και μοντελοποίησης της δημιουργίας μιας εφαρμογής ή ενός συστήματος υπολογιστή.Στο πιο βασικό επίπεδο, η σύμβαση ορίζει τέσσερα χαρακτηριστικά της επιχείρησης, συγκεκριμένα το όνομα της λειτουργίας, τυχόν αναφορές στην επιχείρηση σε άλλους τομείς του σχεδιασμού, τυχόν απαιτήσεις εισόδου ή κατάστασης πριν από την εκτέλεση της λειτουργίας και την κατάσταση τουΤο σύστημα ή οι μεταβλητές μετά την εκτέλεση της λειτουργίας.Η σύμβαση δεν καθορίζει τίποτα συγκεκριμένο για τον τρόπο λειτουργίας της λειτουργίας εσωτερικά και αντ 'αυτού ασχολείται μόνο με τον τρόπο με τον οποίο η κατάσταση ενός προγράμματος επηρεάζεται από τη χρήση του.

Οι συμβάσεις λειτουργίας γενικά δεν είναι κατασκευασμένες για κάθε επιχείρηση εντός ενός μοντέλου προγράμματος.Αντ 'αυτού, προορίζονται για επιχειρήσεις που είναι ιδιαίτερα περίπλοκες ή δύσκολο να εντοπιστούν.Αρκετές γλώσσες μοντελοποίησης υπολογιστών, όπως η ενοποιημένη γλώσσα μοντελοποίησης (UML), υποστηρίζουν συμβάσεις λειτουργίας και έχουν τρόπους για να βοηθήσουν στην απεικόνιση του τρόπου με τον οποίο μπορεί να αλλάξει η κατάσταση ενός προγράμματος μόλις εκτελεστεί η λειτουργία.

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

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

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