A formal model of the introduction of a vertical EDI system · Study