Пропонується підхід до побудови семантики для широко розповсюдженого методу Z-Notation на базі композиційно-номінативного підходу. Синтаксичною одиницею специфікації системи у Z є схеми. В роботі проаналізовано різні типи схем та задано їх семантику. Показано, як за допомогою схем можна побудувати транзиційну модель програмної системи.
Composition-Nominative approach for Z-Notation language semantics construction is proposed. Schemes are syntactical units of system specification in Z. In the article different types of schemes are analyzed and their semantics is described. It was shown how schemes may be used to generate transitional model of a program system.