Τυπική προδιαγραφή web υπηρεσιών για πρωτόκολλα online επικοινωνίας: η περίπτωση του “rocket.chat”
Formal specification of the web services in online chat protocols: the case of “rocket.chat”
Λέξεις-κλειδιά
Τυπικές μέθοδοι ; Z NotationΠερίληψη
Η παρούσα διπλωματική εργασία ασχολείται με την μελέτη για την εφαρμογή Τυπικών
Μεθόδων στη μοντελοποίηση των υπηρεσιών web της πλατφόρμας επικοινωνίας ‘rocket.chat’.
Το μοντέλο που παράγεται περιγράφει το σχεδιασμό των υπηρεσιών σε μορφή αλγεβρικών
οντοτήτων, επιτρέποντας έτσι την βαθύτερη κατανόηση τους και θωρακίζοντας τες από
σχεδιαστικά σφάλματα.
Περίληψη
The present thesis deals with the study of the application of Standard Methods in the modeling
of the web services of the communication platform 'rocket.chat'. The model produced describes
the design of the services in the form of algebraic entities, thus allowing their deeper
understanding and shielding them from design errors.
Αριθμός σελίδων
49Σχολή
Σχολή ΜηχανικώνΑκαδημαϊκό Τμήμα
Τμήμα Μηχανικών Πληροφορικής και ΥπολογιστώνΓλώσσα
ΕλληνικάΣυλλογή
Εκτός από όπου επισημαίνεται κάτι διαφορετικό, το τεκμήριο διανέμεται με την ακόλουθη άδεια:
Αναφορά Δημιουργού - Μη Εμπορική Χρήση - Παρόμοια Διανομή 4.0 Διεθνές
Αναφορά Δημιουργού - Μη Εμπορική Χρήση - Παρόμοια Διανομή 4.0 Διεθνές