Formalizing typical crosscutting concerns