Mozart

Το σύστημα προγραμματισμού του Μότσαρτ είναι μια προηγμένη πλατφόρμα ανάπτυξης για έξυπνη, κατανεμημένες εφαρμογές. Το σύστημα είναι το αποτέλεσμα μιας δεκαετίας έρευνας στο σχεδιασμό γλώσσα προγραμματισμού και υλοποίησης, που βασίζεται σε περιορισμούς συμπέρασμα, κατανεμημένα υπολογιστικά συστήματα, και διεπαφές ανθρώπου-υπολογιστή.
Ως αποτέλεσμα, ο Μότσαρτ είναι απαράμιλλη στην εκφραστική δύναμη και τη λειτουργικότητα. Μότσαρτ έχει μια διαδραστική σταδιακή περιβάλλον ανάπτυξης και εκτέλεσης παραγωγής ποιότητας για Unix και Windows πλατφόρμες. Μότσαρτ είναι ο καρπός μιας εν εξελίξει έρευνας συνεργασία με την Κοινοπραξία του Μότσαρτ.
Μότσαρτ βασίζεται στη γλώσσα Οζ, ο οποίος υποστηρίζει δηλωτική προγραμματισμού, αντικειμενοστραφή προγραμματισμό, προγραμματισμού με περιορισμούς, και τη σύγκλισή ως μέρος ενός συνεκτικού συνόλου.
Για τη διανομή, Mozart προσφέρει πραγματικό δίκτυο διαφανούς εφαρμογής με την υποστήριξη για την ευαισθητοποίηση του δικτύου, τη διαφάνεια και την ανοχή σε βλάβες. Η ασφάλεια είναι επικείμενη. Μότσαρτ είναι μια ιδανική πλατφόρμα για δύο γενικής χρήσης κατανεμημένων εφαρμογών, καθώς και για τη σκληρή προβλήματα που απαιτούν εξελιγμένο βελτιστοποίηση και εξαγωγή συμπερασμάτων ικανότητες.
Έχουμε αναπτύξει πολλές εφαρμογές, όπως εξελιγμένα εργαλεία συνεργασίας, συστήματα πολλαπλών πρακτόρων και ψηφιακών βοηθών, καθώς και εφαρμογές σε φυσική γλώσσα, την κατανόηση και την αναπαράσταση γνώσης στον προγραμματισμό και χρονοδιαγραμμάτων, καθώς και στην τοποθέτηση και τη διαμόρφωση.
Το σύστημα Mozart προσφέρει state-of-the-art υποστήριξη σε δύο τομείς: ανοιχτό κατανεμημένα υπολογιστικά συστήματα και βασίζεται σε περιορισμούς συμπέρασμα. Μότσαρτ υλοποιεί Οζ, μια ταυτόχρονη object-oriented γλώσσα με συγχρονισμό ροής δεδομένων.
Οζ συνδυάζει ταυτόχρονη και διανέμεται προγραμματισμό με τη λογική που βασίζεται σε περιορισμούς συμπέρασμα, καθιστώντας το μια μοναδική επιλογή για την ανάπτυξη συστημάτων πολλαπλών πρακτόρων. Μότσαρτ είναι μια ιδανική πλατφόρμα για δύο γενικής χρήσης κατανεμημένων εφαρμογών, καθώς και για τη σκληρή προβλήματα που απαιτούν εξελιγμένο βελτιστοποίηση και εξαγωγή συμπερασμάτων ικανότητες. Έχουμε αναπτύξει εφαρμογές στον προγραμματισμό και χρονοδιαγραμμάτων, στην τοποθέτηση και τη διαμόρφωση, σε φυσική γλώσσα και την εκπροσώπηση της γνώσης, τα συστήματα πολλαπλών πρακτόρων και εξελιγμένα εργαλεία συνεργασίας.
Εδώ είναι μερικά βασικά χαρακτηριστικά του "Μότσαρτ":
Αντικειμενοστραφής Προγραμματισμός