La forma y el grado en que las tareas realizadas por un módulo de software solo corresponden a uno con el otro. Tipos incluyen coincidente, comunicacional, funcional, lógica, procedimiento, secuencial y temporal.