No, and it seems unlikely you ever would because not enough people know Z or are comfortable enough with set notation to really use it to communicate. Real-world notation is Use Cases written at a 3rd grade reading level.
It is in a very real sense impossible to predict what you are going to need in the real world, but generally it's a question of having a lot of technologies under your belt.
