מהי שפת מכונה מופשטת (asml)? - הגדרה מטכנולוגיה

הגדרה - מה המשמעות של שפת מכונות מופשטות (AsmL)?

שפת מכונה מופשטת (AsmL) היא שפת מפרט להפעלה המבוססת על התיאוריה של מכונה מופשטת (ASM). AsmL משמש לבדיקת מערכות, ניתוח, סימולציה ובדיקת התאמה של מערכות.

AsmL מפותח על ידי צוות המחקר Foundations of Engineering Engineering (FSE) של מיקרוסופט. זה משתלב באופן מלא עם סביבת .NET וכלי הפיתוח של מיקרוסופט, כולל Word ו- Visual Studio .NET.

Techopedia מסביר שפת מכונות מופשטות (AsmL)

בשונה ממספר שפות תכנות שצוינו לקידוד ובדיקה, AsmL מכוון לתקשורת עיצוב פרוייקט. בנוסף, ניתן להשתמש ב- AsmL בכל שלב בהתפתחות. ביצוע מפרט AsmL מאפשר בדיקת מודלים, בדיקות אינטראקציה של התכונות, הגשמת יעדים עיצוביים או תכנון אירועים בלתי צפוי.

AsmL משמש גם לצורך מפרט מערכות, המספק למשתמשים תמונת מערכת המבוססת על ASM, מודל מתמטי של מצב זמן הריצה המתפתח של המערכת.

AsmL שונה מתכניות מסורתיות בכך שהוא מספק מפרטים מינימליים המתארים כל מה שקשור לפרטים שנבחרו. AsmL מקלה על תיאורי מצב המערכת מבחינת משתנים ופעולות הגיוניות למשתמש.

AsmL זמינה כשפת דוגמנות תוכנה בכלי Spec Explorer, שהוא רכיב Visual Studio 2010. יישום קוד פתוח של AsmL זמין כשפת Extensible Machines State Machines (XASM).