仕様記述言語Zとの関聯はないの?