Una técnica de desarrollo de software en el que la estructura de un sistema se deriva de analizar las transacciones que el sistema es necesario para el proceso.