constructor param str test state bodi notat uml str str initi model initi 