A value-oriented theory of modularity in design