A framework for an integrated unified modeling language