Abstract
VVSL is a mathematically well-defined VDM-like specification language
with features for (1) modular structuring and (2) specifying operations
which interfere through a partially shared state.
This paper gives an short overview of these features.
Thereafter, the VVSL specification of an access handler interface given
in Logic and Specification is
outlined.
The purpose is to clarify the extent to which the description of
interfaces to software systems can be improved by the special features
of VVSL.
This issue is further discussed.
The access handler interface concerned is a hypothetical interface which
is meant to provide for a way of looking at transaction management.
Preprint available here.