Τυπική προδιαγραφή web υπηρεσιών για πρωτόκολλα online επικοινωνίας: η περίπτωση του “rocket.chat”
Formal specification of the web services in online chat protocols: the case of “rocket.chat”
Keywords
Τυπικές μέθοδοι ; Z NotationAbstract
Η παρούσα διπλωματική εργασία ασχολείται με την μελέτη για την εφαρμογή Τυπικών
Μεθόδων στη μοντελοποίηση των υπηρεσιών web της πλατφόρμας επικοινωνίας ‘rocket.chat’.
Το μοντέλο που παράγεται περιγράφει το σχεδιασμό των υπηρεσιών σε μορφή αλγεβρικών
οντοτήτων, επιτρέποντας έτσι την βαθύτερη κατανόηση τους και θωρακίζοντας τες από
σχεδιαστικά σφάλματα.
Abstract
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.
Number of pages
49Faculty
Σχολή ΜηχανικώνAcademic Department
Τμήμα Μηχανικών Πληροφορικής και ΥπολογιστώνLanguage
GreekCollections
Except where otherwise noted, this item's license is described as
Αναφορά Δημιουργού - Μη Εμπορική Χρήση - Παρόμοια Διανομή 4.0 Διεθνές
Αναφορά Δημιουργού - Μη Εμπορική Χρήση - Παρόμοια Διανομή 4.0 Διεθνές