Frame Creation

The statechart work on a data access service a few months ago was clarifying in ways I did not expect. Applying Harel's formalism to a real service - mapping its states, transitions, preconditions -...