Подход к разработке методов автоматизированного контроля информационной целостности технических текстов

Важной проблемой разработки сложных технических систем является контроль информационной целостности создаваемой проектной документации. Автоматизированное проектирование текстовой технической документации является сложной задачей, удовлетворительного решения которой следует ожидать при наличии естественных (или заданных) ограничений на тип анализируемых текстов и тщательно разработанной модели предметной области. Предметом исследований является класс технических документов, обычно называемых «Логика работы системы» (далее «Логика…»), создаваемых на этапах разработки сложных антропоцентрических систем. Назначение этих документов — в текстовом виде описать, как должна работать проектируемая система во всевозможных (расчетных) условиях ее применения. Документ «Логика…» является основой для разработки спецификаций бортовых алгоритмов и алгоритмов деятельности членов экипажа проектируемого антропоцентрического объекта, т. е. основой для разработки бортового алгоритмического и индикационного обеспечения сложной технической системы.

Разработанные форматы текстовых документов (обязательная рубрикация, общие требования к содержанию рубрик) в практической работе не позволяют создавать «идеальных» документов. Реальный документ по целому комплексу причин (календарных, профессионально-психологических) содержит значительное количество пропусков («белых пятен») и противоречий, выявляемых на последующих стадиях разработки. Одной из важнейших проблем является нарушение информационной целостности документа. В идеале, создаваемый документ должен обеспечивать эксплицитное структурированное представление необходимых спецификаций информационных объектов со всеми требуемыми связями. Задача контроля информационной целостности документов типа «Логика…» является главной задачей специализированной компьютерной системы подготовки и анализа технических текстов «ЛоТА» [Невзорова и др., 2001]. В настоящей статье обсуждаются основные подходы и методы решения поставленной задачи.