Please use this identifier to cite or link to this item:
http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/17457
Title: | Σχεδίαση και Υλοποίηση ενός Στατικού Συστήματος Τύπων για Επικοινωνούσες Διεργασίες |
Authors: | Μπενετόπουλος, Αχιλλέας Παπασπύρου Νικόλαος |
Keywords: | συστήματα τύπων τύποι διεργασιών erlang κατανεμημένα συστήματα ταυτοχρονισμός |
Issue Date: | 21-Oct-2019 |
Abstract: | Κινούμαστε όλο και περισσότερο προς κατανεμημένα προγραμματιστικά μοντέλα. Τα περισσότερα σύγχρονα συστήματα λογισμικού είναι κατανεμημένα και ταυτόχρονα, που σημαίνει ότι αποτελού νται από διάφορα κομμάτια, το καθένα από τα οποία εκτελεί ένα σύνολο από “εσωτερικές“ σε αυτά λειτουργίες συγχρόνως με τα υπόλοιπα, τη στιγμή όμως που όλα τους εξαρτώνται από ένα υποσύνολο των υπολοίπων για να τις εκτελέσουν, λόγο διαφόρων εξαρτήσεων. Αυτό σημαίνει ότι η επικοινωνία μεταξύ των κομματιών αυτών ανάγεται σε ένα κρίσιμο κομμάτι του συστήματος, και η ορθότητα της επικοινωνίας αυτής αποτελεί μια απαραίτητη προϋπόθεση για την ορθότητα του όλου συστήματος. |
URI: | http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/17457 |
Appears in Collections: | Διπλωματικές Εργασίες - Theses |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
thesis.pdf | 512.33 kB | Adobe PDF | View/Open |
Items in Artemis are protected by copyright, with all rights reserved, unless otherwise indicated.