Use of IDEF0 for the design and specification of methodologies · Study