| Published in
Informatica, vol. 25, no. 4,
pp. 517–526, November 2001. The ABCs of Specification: AsmL, Behavior, and Components Mike Barnett; Wolfram Schulte June 2001 10 p. Formats: PDF 269 Kbytes PostScript 252 Kbytes We show how to use AsmL, an executable specification language, to provide behavioral interfaces for components. This allows clients to fully understand the meaning of an implementation without access to the source code. AsmL implements the concept of behavioral subtyping to ensure the substitutability of components and provides many advanced specification features such as generic types, transactional semantics, invariants and history constraints. |