Cоздана модельно-ориентированная автоматическая трансформация из вычислительно-независимой модели (CIM) в платформо-независимую модель (PIM), формализовано понятие "ответственность". Реализованы дизайн решения в виде взаимодействующих модулей Event-B посредством использования внешних переменных и внешних событий. Полученная модельно-ориентированная трансформация пользовательских требований в дизайн решения Event-B позволит производить проверку на корректность эти спецификации без затруднений, связанных с отсутствием необходимого опыта и знания. Семантическое обогащение пользовательских требований с помощью конструкций Event-B дает дополнительную информацию о модульных событиях и о методах взаимодействия этих событий друг с другом. Разработанная модельно-ориентированная трансформация может быть использована при моделировании информационных систем любой организации, а также при преподавании специализированных дисциплин для магистрантов специальности "Информационные системы". Показано, что разработанная методология обладает способностью автоматически генерировать модели машин спецификации Event-B и преобразовывать их, используя MDA, в конкретные исполняемые системы, затрачивая минимальное количество ресурсов, и при этом является экономически выгодным, чем использовать традиционные языки UML.*