CODEWITHSUNDEEP
umlz-notationformalize
Ileden
Ileden

Reputation: 25

how to formalize Uml

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.

Upvotes: 2

Views: 328

Answers (1)

Christian
Christian

Reputation: 14061

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.

Upvotes: 1

Related Questions