4 лабораторных в Visual Paradigm for UML.
Сама модель вокруг которой надо всё делать в файле "Терминал пополнения"