Formalisms for Reuse and Systems Integration