"Modeling with Abstract State Machines at Microsoft "

Abstract

The group on Foundations of Software Engineering at Microsoft Research has developed a high-level executable specification language based on the concept of Abstract State Machines or ASMs. The language is called the Abstract state machine Language or AsmL. AsmL is integrated with Microsoft's software development environment including Visual Studio, Word, and Component Object Model (COM). AsmL effectively supports specification and rapid prototyping of object oriented and component oriented software. In this talk I'll give a brief introduction to ASMs and AsmL. I'll explain the main design goals of AsmL and talk about our experience from using AsmL as a high level modeling tool within the company. No prior knowledge of ASMs or AsmL is assumed.