{"id":10933,"date":"2011-12-23T12:08:55","date_gmt":"2011-12-23T12:08:55","guid":{"rendered":"https:\/\/www.techopedia.com\/definition\/abstract-state-machine-language\/"},"modified":"2011-12-23T12:08:55","modified_gmt":"2011-12-23T12:08:55","slug":"abstract-state-machine-language","status":"publish","type":"definition","link":"https:\/\/www.techopedia.com\/definition\/25166\/abstract-state-machine-language-asml","title":{"rendered":"Abstract State Machine Language"},"content":{"rendered":"

What Does Abstract State Machine Language Mean?<\/span><\/h2>\n

Abstract State Machine Language (AsmL) is an executable specification language based on the theory of Abstract State Machine (ASM). AsmL is used for system modeling, analysis, simulation and conformance testing.<\/p>\n

AsmL is developed by Microsoft’s Foundations of Software Engineering (FSE) research team. It integrates fully with the .NET environment and Microsoft’s development tools, including Word and Visual Studio .NET.<\/p>\n

Techopedia Explains Abstract State Machine Language<\/span><\/h2>\n

Unlike a number of programming languages specified for coding and testing, AsmL is geared toward communicating project design. Additionally, AsmL may be used during any stage of development. AsmL specification execution allows for model testing, feature interaction checks, design goal fulfillment or unanticipated event planning. <\/p>\n

AsmL is also used to for system specification, which provides users with a system picture based on ASM, a mathematical model of the system\u2018s evolving runtime state. <\/p>\n

AsmL differs from traditional programs in that it provides minimal specifications describing anything related to selected details. AsmL facilitates system state descriptions in terms of variables and operations that make sense to the user.<\/p>\n

AsmL is available as a software modeling language in the tool Spec Explorer, which is a Visual Studio 2010 component. An open-source implementation of AsmL is available as Extensible Abstract State Machines (XASM) language.<\/p>\n","protected":false},"excerpt":{"rendered":"

What Does Abstract State Machine Language Mean? Abstract State Machine Language (AsmL) is an executable specification language based on the theory of Abstract State Machine (ASM). AsmL is used for system modeling, analysis, simulation and conformance testing. AsmL is developed by Microsoft’s Foundations of Software Engineering (FSE) research team. It integrates fully with the .NET […]<\/p>\n","protected":false},"author":7813,"featured_media":0,"comment_status":"open","ping_status":"closed","template":"","format":"standard","meta":{"_acf_changed":false,"_lmt_disableupdate":"","_lmt_disable":"","om_disable_all_campaigns":false,"footnotes":""},"definitioncat":[273,244,216],"class_list":["post-10933","definition","type-definition","status-publish","format-standard","hentry","definitioncat-devops","definitioncat-programming-languages","definitioncat-software-development"],"acf":[],"yoast_head":"\nWhat is Abstract State Machine Language (AsmL)? - Definition from Techopedia<\/title>\n<meta name=\"description\" content=\"This definition explains the meaning of Abstract State Machine Language and why it matters.\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.techopedia.com\/definition\/25166\/abstract-state-machine-language-asml\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Abstract State Machine Language\" \/>\n<meta property=\"og:description\" content=\"This definition explains the meaning of Abstract State Machine Language and why it matters.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.techopedia.com\/definition\/25166\/abstract-state-machine-language-asml\" \/>\n<meta property=\"og:site_name\" content=\"Techopedia\" \/>\n<meta property=\"article:publisher\" content=\"https:\/\/www.facebook.com\/techopedia\/\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:site\" content=\"@techopedia\" \/>\n<meta name=\"twitter:label1\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\/\/www.techopedia.com\/definition\/25166\/abstract-state-machine-language-asml#article\",\"isPartOf\":{\"@id\":\"https:\/\/www.techopedia.com\/definition\/25166\/abstract-state-machine-language-asml\"},\"author\":{\"name\":\"Margaret Rouse\",\"@id\":\"https:\/\/www.techopedia.com\/#\/schema\/person\/f5dd538e31ee352d105b8af36c4268a5\"},\"headline\":\"Abstract State Machine Language\",\"datePublished\":\"2011-12-23T12:08:55+00:00\",\"dateModified\":\"2011-12-23T12:08:55+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/www.techopedia.com\/definition\/25166\/abstract-state-machine-language-asml\"},\"wordCount\":218,\"commentCount\":0,\"publisher\":{\"@id\":\"https:\/\/www.techopedia.com\/#organization\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\/\/www.techopedia.com\/definition\/25166\/abstract-state-machine-language-asml#respond\"]}],\"articleSection\":\"\"},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.techopedia.com\/definition\/25166\/abstract-state-machine-language-asml\",\"url\":\"https:\/\/www.techopedia.com\/definition\/25166\/abstract-state-machine-language-asml\",\"name\":\"What is Abstract State Machine Language (AsmL)? - Definition from Techopedia\",\"isPartOf\":{\"@id\":\"https:\/\/www.techopedia.com\/#website\"},\"datePublished\":\"2011-12-23T12:08:55+00:00\",\"dateModified\":\"2011-12-23T12:08:55+00:00\",\"description\":\"This definition explains the meaning of Abstract State Machine Language and why it matters.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.techopedia.com\/definition\/25166\/abstract-state-machine-language-asml#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.techopedia.com\/definition\/25166\/abstract-state-machine-language-asml\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.techopedia.com\/definition\/25166\/abstract-state-machine-language-asml#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.techopedia.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"DevOps\",\"item\":\"https:\/\/www.techopedia.com\/topic\/324\/devops\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Programming Languages\",\"item\":\"https:\/\/www.techopedia.com\/topic\/89\/programming-languages\"},{\"@type\":\"ListItem\",\"position\":4,\"name\":\"Term\",\"item\":\"https:\/\/www.techopedia.com\/definition\"},{\"@type\":\"ListItem\",\"position\":5,\"name\":\"Abstract State Machine Language\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.techopedia.com\/#website\",\"url\":\"https:\/\/www.techopedia.com\/\",\"name\":\"Techopedia\",\"description\":\"\",\"publisher\":{\"@id\":\"https:\/\/www.techopedia.com\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/www.techopedia.com\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/www.techopedia.com\/#organization\",\"name\":\"Techopedia\",\"url\":\"https:\/\/www.techopedia.com\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.techopedia.com\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/www.techopedia.com\/wp-content\/uploads\/2023\/08\/techopedia-light.svg\",\"contentUrl\":\"https:\/\/www.techopedia.com\/wp-content\/uploads\/2023\/08\/techopedia-light.svg\",\"width\":209,\"height\":37,\"caption\":\"Techopedia\"},\"image\":{\"@id\":\"https:\/\/www.techopedia.com\/#\/schema\/logo\/image\/\"},\"sameAs\":[\"https:\/\/www.facebook.com\/techopedia\/\",\"https:\/\/x.com\/techopedia\",\"https:\/\/www.linkedin.com\/company\/techopedia\/\",\"https:\/\/www.youtube.com\/c\/Techopedia\"],\"publishingPrinciples\":\"https:\/\/www.techopedia.com\/about\/editorial-policy\",\"ownershipFundingInfo\":\"https:\/\/www.techopedia.com\/about\"},{\"@type\":\"Person\",\"@id\":\"https:\/\/www.techopedia.com\/#\/schema\/person\/f5dd538e31ee352d105b8af36c4268a5\",\"name\":\"Margaret Rouse\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.techopedia.com\/#\/schema\/person\/image\/\",\"url\":\"https:\/\/www.techopedia.com\/wp-content\/uploads\/2023\/02\/margaret-rouse-headshot.jpeg\",\"contentUrl\":\"https:\/\/www.techopedia.com\/wp-content\/uploads\/2023\/02\/margaret-rouse-headshot.jpeg\",\"caption\":\"Margaret Rouse\"},\"description\":\"Margaret is an award-winning writer and educator known for her ability to explain complex technical topics to a non-technical business audience. Over the past twenty years, her IT definitions have been published by Que in an encyclopedia of technology terms and cited in articles in the New York Times, Time Magazine, USA Today, ZDNet, PC Magazine, and Discovery Magazine. She joined Techopedia in 2011. Margaret\u2019s idea of \u200b\u200ba fun day is to help IT and business professionals to learn to speak each other\u2019s highly specialized languages.\",\"sameAs\":[\"https:\/\/www.linkedin.com\/in\/margaretrouse\/\",\"https:\/\/x.com\/https:\/\/twitter.com\/@techdefinitions\"],\"knowsAbout\":[\"Technology expert\"],\"url\":\"https:\/\/www.techopedia.com\/contributors\/margaret-rouse\"}]}<\/script>\n<!-- \/ Yoast SEO Premium plugin. -->","yoast_head_json":{"title":"What is Abstract State Machine Language (AsmL)? - Definition from Techopedia","description":"This definition explains the meaning of Abstract State Machine Language and why it matters.","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.techopedia.com\/definition\/25166\/abstract-state-machine-language-asml","og_locale":"en_US","og_type":"article","og_title":"Abstract State Machine Language","og_description":"This definition explains the meaning of Abstract State Machine Language and why it matters.","og_url":"https:\/\/www.techopedia.com\/definition\/25166\/abstract-state-machine-language-asml","og_site_name":"Techopedia","article_publisher":"https:\/\/www.facebook.com\/techopedia\/","twitter_card":"summary_large_image","twitter_site":"@techopedia","twitter_misc":{"Est. reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.techopedia.com\/definition\/25166\/abstract-state-machine-language-asml#article","isPartOf":{"@id":"https:\/\/www.techopedia.com\/definition\/25166\/abstract-state-machine-language-asml"},"author":{"name":"Margaret Rouse","@id":"https:\/\/www.techopedia.com\/#\/schema\/person\/f5dd538e31ee352d105b8af36c4268a5"},"headline":"Abstract State Machine Language","datePublished":"2011-12-23T12:08:55+00:00","dateModified":"2011-12-23T12:08:55+00:00","mainEntityOfPage":{"@id":"https:\/\/www.techopedia.com\/definition\/25166\/abstract-state-machine-language-asml"},"wordCount":218,"commentCount":0,"publisher":{"@id":"https:\/\/www.techopedia.com\/#organization"},"inLanguage":"en-US","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/www.techopedia.com\/definition\/25166\/abstract-state-machine-language-asml#respond"]}],"articleSection":""},{"@type":"WebPage","@id":"https:\/\/www.techopedia.com\/definition\/25166\/abstract-state-machine-language-asml","url":"https:\/\/www.techopedia.com\/definition\/25166\/abstract-state-machine-language-asml","name":"What is Abstract State Machine Language (AsmL)? - Definition from Techopedia","isPartOf":{"@id":"https:\/\/www.techopedia.com\/#website"},"datePublished":"2011-12-23T12:08:55+00:00","dateModified":"2011-12-23T12:08:55+00:00","description":"This definition explains the meaning of Abstract State Machine Language and why it matters.","breadcrumb":{"@id":"https:\/\/www.techopedia.com\/definition\/25166\/abstract-state-machine-language-asml#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.techopedia.com\/definition\/25166\/abstract-state-machine-language-asml"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/www.techopedia.com\/definition\/25166\/abstract-state-machine-language-asml#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.techopedia.com\/"},{"@type":"ListItem","position":2,"name":"DevOps","item":"https:\/\/www.techopedia.com\/topic\/324\/devops"},{"@type":"ListItem","position":3,"name":"Programming Languages","item":"https:\/\/www.techopedia.com\/topic\/89\/programming-languages"},{"@type":"ListItem","position":4,"name":"Term","item":"https:\/\/www.techopedia.com\/definition"},{"@type":"ListItem","position":5,"name":"Abstract State Machine Language"}]},{"@type":"WebSite","@id":"https:\/\/www.techopedia.com\/#website","url":"https:\/\/www.techopedia.com\/","name":"Techopedia","description":"","publisher":{"@id":"https:\/\/www.techopedia.com\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.techopedia.com\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/www.techopedia.com\/#organization","name":"Techopedia","url":"https:\/\/www.techopedia.com\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.techopedia.com\/#\/schema\/logo\/image\/","url":"https:\/\/www.techopedia.com\/wp-content\/uploads\/2023\/08\/techopedia-light.svg","contentUrl":"https:\/\/www.techopedia.com\/wp-content\/uploads\/2023\/08\/techopedia-light.svg","width":209,"height":37,"caption":"Techopedia"},"image":{"@id":"https:\/\/www.techopedia.com\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/www.facebook.com\/techopedia\/","https:\/\/x.com\/techopedia","https:\/\/www.linkedin.com\/company\/techopedia\/","https:\/\/www.youtube.com\/c\/Techopedia"],"publishingPrinciples":"https:\/\/www.techopedia.com\/about\/editorial-policy","ownershipFundingInfo":"https:\/\/www.techopedia.com\/about"},{"@type":"Person","@id":"https:\/\/www.techopedia.com\/#\/schema\/person\/f5dd538e31ee352d105b8af36c4268a5","name":"Margaret Rouse","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.techopedia.com\/#\/schema\/person\/image\/","url":"https:\/\/www.techopedia.com\/wp-content\/uploads\/2023\/02\/margaret-rouse-headshot.jpeg","contentUrl":"https:\/\/www.techopedia.com\/wp-content\/uploads\/2023\/02\/margaret-rouse-headshot.jpeg","caption":"Margaret Rouse"},"description":"Margaret is an award-winning writer and educator known for her ability to explain complex technical topics to a non-technical business audience. Over the past twenty years, her IT definitions have been published by Que in an encyclopedia of technology terms and cited in articles in the New York Times, Time Magazine, USA Today, ZDNet, PC Magazine, and Discovery Magazine. She joined Techopedia in 2011. Margaret\u2019s idea of \u200b\u200ba fun day is to help IT and business professionals to learn to speak each other\u2019s highly specialized languages.","sameAs":["https:\/\/www.linkedin.com\/in\/margaretrouse\/","https:\/\/x.com\/https:\/\/twitter.com\/@techdefinitions"],"knowsAbout":["Technology expert"],"url":"https:\/\/www.techopedia.com\/contributors\/margaret-rouse"}]}},"_links":{"self":[{"href":"https:\/\/www.techopedia.com\/wp-json\/wp\/v2\/definition\/10933"}],"collection":[{"href":"https:\/\/www.techopedia.com\/wp-json\/wp\/v2\/definition"}],"about":[{"href":"https:\/\/www.techopedia.com\/wp-json\/wp\/v2\/types\/definition"}],"author":[{"embeddable":true,"href":"https:\/\/www.techopedia.com\/wp-json\/wp\/v2\/users\/7813"}],"replies":[{"embeddable":true,"href":"https:\/\/www.techopedia.com\/wp-json\/wp\/v2\/comments?post=10933"}],"version-history":[{"count":0,"href":"https:\/\/www.techopedia.com\/wp-json\/wp\/v2\/definition\/10933\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.techopedia.com\/wp-json\/wp\/v2\/media?parent=10933"}],"wp:term":[{"taxonomy":"definitioncat","embeddable":true,"href":"https:\/\/www.techopedia.com\/wp-json\/wp\/v2\/definitioncat?post=10933"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}