У роботі продовжується дослідження семантики мови специфікації програмних систем Z-Notation на основі принципів композиційно-номінативного підходу,
розпочате раніше. Проводиться побудова транзиційної моделі програмної системи на основі формальної специфікації. Аналізуються засоби побудови схем та композиції над ними.
Ключові слова: Z-Notation, семантика, формальна, специфікація, програма.
This paper is a further development of semantics of Z-Notation specification language from compositional and nominative perspective started earlier.
Transformation from formal specification to transitional model of a program system described by this specification was built.
Means of schema composition and construction are analyzed.
Key Words: Z-Notation, formal, semantics, specification, program.