the Z framework