Checkpoint of the Future: A UML-based Framework for Design and Analysis