Return to Article Details Model Instantiation and Type Checking in UMLX Download Download PDF