Une technique de développement de logiciel, dans lequel la structure d'un système est dérivée d'analyser les transactions que le système est nécessaire au processus.