Het niet-fysieke, logische deelsysteem van een informatiesysteem dat de structuur van de gegevens en de verwerkingsprocessen bepaalt voor zover dat deelsysteem is vastgelegd in een formele programmeertaal.