Аннотация:Работа посвящена методу анализа планов и предметных областей планирования, основанному на применении объектных моделей. Для представления знаний о планировании создан графический объектный предметно-ориентированный язык, учитывающий возможность проведения автоматического анализа над моделями, представленными на этом
языке. Для поддержки разработанного языка разработано программное средство для редактирования моделей, а также предложены и реализованы преобразования моделей во входные описания для планировщиков. Анализ предметных областей основывается на проверке ограничений на модели. Анализ планов проводится с применением средств валидации объектных моделей. Предложены и программно реализованы преобразования моделей предметных областей и задач в объектные спецификации, являющиеся
входными данными для средств валидации.