constructor param implement model implement model event pump euml impl euml model implement implement model impl implement mutex implement edit domain command stack add command stack listen command stack listen command stack chang event object event notifi chang notif impl command stack updat 