Важным этапом вербального моделирования является этап приведения (стандартизации) терминологии и сокращения избыточности описаний. Результатом выполнения этой процедуры является вербальная модель, построенная в едином стандартизованном тезаурусе, дальнейшее использование которой упрощает решение задач автоматизации процессов анализа и перевода модели на следующий уровень формального представления.
При решении задачи синтеза баз данных и систем информационного обеспечения деловых процессов, данных, полученных на этом этапе, зачастую оказывается достаточно для синтеза макета информационной системы.
По завершении этапа вербального моделирования системы/процесса, при условии, что логическая компонента модели была успешно выделена (не изъята, а именно выделена, маркирована или акцентирована), становится возможен переход на следующий уровень —
2.4 Логико-лингвистические и семиотические модели и представления
Как было отмечено, логико-лингвистические и семиотические модели представляют собой следующий — более высокий уровень моделей. Характерно, что и для этого класса моделей существует несколько почти синонимических наименований:
— логико-лингвистические модели;
— логико-семантические модели;
— логико-смысловые модели;
— семиотические представления.
Данный тип моделей характеризуется более высокой степенью формализации. Формализация затрагивает преимущественно логический аспект существования/функционирования моделируемой системы. При построении логико-лингвистических моделей широко используется символьный язык логики и формализм теории графов и алгоритмов. Логические отношения между отдельными элементами модели могут отображаться с применением выразительных средств различных логических систем (краткая характеристика которых была приведена ранее в этой книге). При этом строгость логических отношений может варьироваться в широких пределах от отношений строгого детерминизма до отношений вероятностной логики. Существует возможность построения логико-лингвистических моделей в базисе нескольких формальнологических систем, отражающих различные аспекты функционирования системы и знаний о ней.
Наиболее распространенным способом формального представления логико-лингвистических моделей является граф.
Различают несколько видов графов, среди которых, если представить классификацию графов в виде иерархии, наиболее крупными классами (второй сверху слой модельных объектов в пирамиде) являются ориентированные, неориентированные и смешанные графы. В зависимости от того является отношение, отображаемое на графе линией, обратимым или необратимым для именования линии могут использоваться термины «ребро» (неориентированная, обратимая связь — отображается обычной линией) или «дуга» (ориентированная, необратимая связь — отображается стрелкой).
В качестве примера графа также можно использовать привычные нам иерархические классификации в виде прямоугольников, связанных линиями, схемы метрополитена, технологические карты и т. п. документы.