Итак, теория конечных последовательностей в форме лямбда-исчисления, теория категорий, теория переменных доменов и семантических сетей. Какие практические задачи возникают при этом? Это, конечно, создание единого информационного пространства с тем, чтобы каждый сотрудник корпорации из каждой точки земного шара мог получить доступ к тем данным, которые нужны ему для выполнения производственных функций в любой момент времени и с использованием различных устройств доступа. Должна быть осуществлена унификация доступа, сбор и анализ данных для построения консолидированных отчетов, генерация этих самых отчетов, естественно, на том уровне доступа, который имеет каждый сотрудник, и интеграция гетерогенных корпоративных информационных систем, составляющих программные комплексы. Кроме того, должны быть созданы инструментальные средства, которые поддерживают работу в этом пространстве. Системы управления контентом и средства интеграции данных – это те самые Concept-Modeller и информационная система для управления контентом. Должна быть спроектирована архитектура на основе портальных систем, интернет-порталов и, естественно, эта методология, этот подход должны быть апробированы с построением как быстрых прототипов, так и полномасштабных реализаций. В итоге получается корпоративная культура нового сетевого типа, т. е. в определенном смысле происходит виртуализация ресурсов и доступ к ним посредством единообразного интерфейса из любой точки земного шара в любое время, глобальная доступность. По сути, получается виртуальное рабочее место для каждого сотрудника, которому нужно получить доступ, вообще говоря, в достаточно разных условиях. Если говорить о нефтегазовой компании – это могут быть полевые условия. Люди, которые занимаются геологоразведкой, могут передавать данные, обобщать их, анализировать и смотреть перспективы продолжения разведки в том или ином регионе, в том или ином конкретном месте. Это может быть возможность получения консолидированных отчетов или отчетов на своем уровне для каждого типа, для каждой роли в корпорации, для каждой позиции, для сотрудников, которым нужны кадровые либо финансовые данные, и для топ-менеджеров, которые могут получить своего рода dashboard – приборную панель, на которой они могут видеть основные показатели развития корпорации и управлять ими, иметь обратную связь.
Общая схема методологии (рис. 17.2) включает шесть этапов, которые представлены шестью секторами на схеме. Это, начиная с 12 часов, сектор «предметная область», которая представлена на естественном языке, ее формализация в виде концептуальной модели, поддержка CASE-средств первого и второго уровня: первый уровень – это специфика рассматриваемого подхода, которая дает возможность объединить формальную математическую модель с традиционными CASE-средствами, второй уровень – это традиционное, привычное нам CASE-средство, и, наконец, стандартное построение быстрых прототипов в полномасштабной реализации в форме схемы баз данных и информационных систем при помощи CASE-средств. Каждый этап детализируется рядом уровней – это объекты, связи, события в среде и примеры средств управления этими объектами как на уровне модели, так и на уровне реализации в виде инструментальных средств и компонентов программных систем. Уровни поэтапно детализируются от периферии к центру.
Рис. 17.2. Схема методологии построения КИС в нефтегазовом секторе
Какие новые результаты были получены в связи с применением такого подхода? Это прежде всего методологии, которые поддерживают непрерывное предметно-ориентированное итеративное проектирование индустриальных интернет-систем на всем протяжении жизненного цикла. Непрерывное, потому что нет разрыва между моделью и реализацией. Прочие подходы либо имеют этот разрыв, либо, если они хорошо поддержаны моделями, скажем, на основе онтологий, семантических сетей, возможно, на другой основе, например теории категорий, не приводят к решениям с практически приемлемыми эксплуатационными характеристиками – масштабируемостью, отказоустойчивостью и т. д.
В работе удалось развить комплекс моделей данных как для предметной области, так и для среды вычислений. По сути, на основе двукратной концептуализации, или свертки, и на основе теорий переменных доменов. При этом модель для среды вычислений опирается на абстрактную машину для управления контентом, модель для предметной области, представление предметной области – на семантические сети. Этот комплекс моделей лучше, чем традиционные модели, на основе ER-диаграмм и т. д., UML-диаграмм в частности, учитывают особенности гетерогенных, слабоструктурированных сред. Эти модели в основном транслируются в UML-диаграммы, но имеют более прозрачную математическую семантику и более корректно транслируются в термины тех теорий, о которых мы упоминали: λ-исчисление, комбинаторная логика, теория категорий и теория переменных доменов и семантических сетей с визуализацией на основе фреймов.