Разработана формальная модель обработки промысловых данных нефтегазовых месторождений, а именно сформулирована целевая функция и использована нотация цепей Петри для построения модели, пригодной для верификации с использованием инструментов верификации. Разработаны формальные модели с применением подхода MDA и на базе нотации языка UML 2.0. Использованы дигаммы классов и состояний. Внедрены необходимые расширения, направление на поддержку функционала подхода Mapreduce и технологии Hadoop. Инженерно развернута и протестирована платформа Hadoop. Рассмотрены виды настроек кластера. Реализована и протестирована численная задача, позволяющая скорректировать направление исследования в рамках поставленных целей.