Est une relation conventionnelle destinée à formuler les algorithmes et produire des programmes informatiques qui les appliquent