Tool Support of Orderly Transition from Informal to Formal