Modeling with Abstract State Machines at Microsoft

Dr Margus Veanes

Microsoft Research

Monday, 11 March 2002, 14:00
Cybernetica Bldg (Akadeemia tee 21), room B216

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.  

Tarmo Uustalu