•  02-04-2022
  •  | 
  •  

Question

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.

Was it helpful?

Solution

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.

Licensed under: CC-BY-SA with attribution
Not affiliated with StackOverflow
scroll top