Return to Article Details Consistency checking of UML business model Download Download PDF