A Formal Model of Age-Structural Transitions