Semantic Essence of AsmL

ract State Machine Language, AsmL, is a novel executable specification based on the theory of Abstract State Machines. AsmL is object-oriented, provides high-level mathematical data-structures, and is built around the notion of synchronous updates and finite choice. AsmL is fully integrated into the .NET framework and Microsoft development tools. In this paper, we explain the design rationale of AsmL and provide static and dynamic semantics for a kernel of the language. s: Abstract State Machine, Executable Specification Language Contents

• Type: Conference
• Year: 2003
• Where: FMCO
• Authors: Yuri Gurevich, Benjamin Rossman, Wolfram Schulte
• Keywords: Abstract State Machine, Executable Specification, FMCO 2003, State Machine