Ensemble d'opérations et de tâches, organisées pour un déroulement parallélo-séquenciel, pour réaliser systématiquement le résultat prévu par un ensemble de spécifications.