Πίνακας περιεχομένων:
- Ορισμός - Τι σημαίνει η αφηρημένη κρατική γλώσσα γλώσσας (AsmL);
- Η Techopedia εξηγεί τη λέξη Abstract State Machine (AsmL)
Ορισμός - Τι σημαίνει η αφηρημένη κρατική γλώσσα γλώσσας (AsmL);
Η Abstract State Machine Language (AsmL) είναι μια γλώσσα εκτελέσιμων προδιαγραφών που βασίζεται στη θεωρία του Abstract State Machine (ASM). Το AsmL χρησιμοποιείται για τη μοντελοποίηση, ανάλυση, προσομοίωση και συμμόρφωση των συστημάτων.
Το AsmL αναπτύχθηκε από την ερευνητική ομάδα του Ιδρύματος Τεχνολογίας Λογισμικού της Microsoft (FSE). Ενσωματώνεται πλήρως με το περιβάλλον .NET και τα εργαλεία ανάπτυξης της Microsoft, συμπεριλαμβανομένων των Word και Visual Studio .NET.
Η Techopedia εξηγεί τη λέξη Abstract State Machine (AsmL)
Σε αντίθεση με ορισμένες γλώσσες προγραμματισμού που καθορίζονται για την κωδικοποίηση και τις δοκιμές, η AsmL είναι προσανατολισμένη στην επικοινωνία του σχεδιασμού του έργου. Επιπλέον, το AsmL μπορεί να χρησιμοποιηθεί σε οποιοδήποτε στάδιο ανάπτυξης. Η εκτέλεση προδιαγραφών AsmL επιτρέπει τη δοκιμή μοντέλων, ελέγχους αλληλεπίδρασης χαρακτηριστικών, εκπλήρωση στόχου σχεδιασμού ή απρόβλεπτο σχεδιασμό συμβάντων.
Το AsmL χρησιμοποιείται επίσης για την προδιαγραφή του συστήματος, το οποίο παρέχει στους χρήστες μια εικόνα συστήματος που βασίζεται στο ASM, ένα μαθηματικό μοντέλο της εξελισσόμενης κατάστασης εκτέλεσης του συστήματος.
Το AsmL διαφέρει από τα παραδοσιακά προγράμματα στο ότι παρέχει ελάχιστες προδιαγραφές που περιγράφουν οτιδήποτε σχετίζεται με τις επιλεγμένες λεπτομέρειες. Το AsmL διευκολύνει τις περιγραφές των καταστάσεων του συστήματος από την άποψη των μεταβλητών και των λειτουργιών που έχουν νόημα στο χρήστη.
Το AsmL είναι διαθέσιμο ως γλώσσα μοντελοποίησης λογισμικού στο εργαλείο Spec Explorer, το οποίο είναι ένα στοιχείο του Visual Studio 2010. Μια εφαρμογή ανοιχτού κώδικα του AsmL είναι διαθέσιμη ως γλώσσα XASM (Extensible Abstract State Machines).
