Седунов Воронежский государственный университет Поступила в редакцию 1.03.2009 г. аннотация. <...> В рамках данной работы рассматривается оригинальный подход к решению проблемы разработки метаязыка путем соединения логического и объектно-ориентированного подходов, приводится описание типов и операций языка, вводится определение трансформационной семантики как набора правил преобразования модели предметной области в формальную теорию над исчислением предикатов первого порядка с равенством Ключевые слова метаязык, ООП, семантика, исчисление предикатов, логическое программирование abstract. <...> Поведение реальных программных систем всегда отличается от исходных требований и приводит к возникновению незапланированных эффектов. <...> Авто© Тюкачев Н. А., Седунов А. А., 2009 22 матизация ее анализа и применения в большинстве CASE-средств существенно ограничена, либо вообще невозможна. <...> В данной работе предлагается при построении метаязыка объединить формализм логики предикатов и элементы теории множеств с объектно-ориентированным подходом Исследование, выполненное авторами в рамках проекта JANE по созданию инструментальной среды для разработки и анализа форВЕСТНИК ВГУ, СЕрИя: СИСТЕМНЫЙ АНАЛИЗ И ИНФОрМАЦИОННЫЕ ТЕХНОЛОГИИ, 2009, № Объектно-ориентированный метаязык мальных спецификаций, представляет собой оригинальный способ построения гибридного метаязыка. <...> В данной статье описывается часть языка JLS, касающаяся структуры и семантики типов и операций без рассмотрения выражений (термов и предикатов) языка. <...> JLS-МОДЕлИ-МОДЕлИ JLS. JLS-модель описываетнабор взаимосвязанных сущностей предметной области. <...> Процедура трансформации получает на входе корректную JLS-модель и строит на выходе соответствующую ей формальную теорию над исчислением предикатов первого порядка с равенством, которая может использоваться алгоритмами логического вывода для получения ответов вопросы в рамках предметной области модели (включая проверку <...>