Is there a way to convert(formalize) UML to Z notation? what I mean is that is there any way to re-write UML requirements to a formal language like z?
sorry for my bad English, my native language is not English. thank you.
There is a way: you can generate code from UML - so nobody stops you to generate Z from it. Use a template based code generator to easily change the text a model produces. But I suspect you won't find an out of the box solution for it. Nontheless, a short search has brought up people already doing this.