Методы и средства предикатно-онтологического контроля семантики проектных задач и проектных решений

• Автор: Шамшев, Алексей Борисович
• Шифр специальности: 05.13.12
• Научная степень: Кандидатская
• Год защиты: 2010
• Место защиты: Ульяновск
• Количество страниц: 207 с. : ил.

Оглавление
Введение

Глава первая. КОРРЕКТНОСТЬ СЕМАНТИКИ ПРОЕКТНЫХ ЗАДАЧ И ПРОЕКТНЫХ РЕШЕНИЙ

1.1. Место и роль семантики в проектировании автоматизированных систем

1.2. Работы с семантикой проектных задач и проектных решений.

1.2.1.Задачи концептуального проектирования

1.2.2. Настройка технологических задач на онтологию проекта АС.

1.3. Предикатноонтологический контроль семантики

1.3.1. Анализ опыта контроля семантики.

1.3.2. Базовые установки диссертационного исследования.

1.3.3. Механизмы повторного использования в контроле семантики.

1.4. Постановка задачи исследований и разработок.
1.4.1. Обобщнная постановка задачи
1.4.2. Вопросноответный анализ
1.4.3. Мотивационноцелевые установки задачи исследований
Выводы по первой главе.
Глава вторая. ЛОГИКОМАТЕМАТИЧЕСКОЕ ОБЕСПЕЧЕНИЕ ПРЕДИКАТНООНТОЛОГИЧЕСКОГО КОНТРОЛЯ.
2.1 .Подход к логикоматематическому обеспечению.
2.2. Псевдофизика извлечения простых предложений из текстов
2.3. Исходное формирование и нормализация предикатных моделей
2.4.Модели в проверках на соответствие онтологии.
2.4.1. Деятельностный контекст проверок на соответствие онтологии
2.4.2. Сопоставление вариантов употребления понятий
2.4.3. Индикаторы развития онтологии.
2.4.4. Прерывания контроля на соответствие онтологии.
2.5. Модели синтаксемного анализа
2.6. Семантика модальностей
2.7. Анализ субъективных отношений.
2.7.1. Проблемы с пониманием, отсутствием или недосгаточностыо знаний
2.7.2. Преждевременность предикации.
2.8. Контроль в управлении проектированием
2.8.1. Обнаружение вопросов.
2.8.2. Идентификация и кодирование вопросов.
2.8.3. Обработка вопросов.
Выводы по второй главе
Глава третья. МЕТОДОЛОГИЧЕСКОЕ ОБЕСПЕЧЕНИЕ ПРЕДИКАТНООНТОЛОГИЧЕСКОГО КОНТРОЛЯ
3.1. Метод предикатноонтологического контроля
3.1.1. Теория метода
3.1.2. Стратегия метода.
3.1.3. Тактика метода.
3.1.4. Детализации метода.
3.2 Методики предикатноонтологического анализа.
3.2.1. Методика выбора предложения, которое проходит предикацию.
3.2.2. Методика синтаксемного анализа.
3.2.3. Работа с виртуальной закладкой рабочего словаря
3.2.4 Методика развития взаимодействия с онтологией.
3.2.5. Обнаружение вероятностной модальности и нечеткости.
Выводы по третьей главе.
Глава четвертая. КОМПЛЕКС СРЕДСТВ ПРЕДИКАТНООНТОЛОГИЧЕСКОГО КОНТРОЛЯ
4.1. Архитектура, компоненты и механизмы комплекса I.
4.1.1. Архитектура
4.1.2. Морфологический анализатор.
4.1.3. База опыта.
4.1.4. Некоторые вопросы реализации работы с семантикой модальностей
4.2. Предикатноонтологический контроль в разработке систем.
Выводы по четвертой главе.
ЗАКЛЮЧЕНИЕ
Список литературы


Заметим, что любой целостный информационный код Кт, созданный программистом и вложенный в определённую программную систему (ПСП), является знаком, который в обязательном порядке обладает семантическим измерением и это измерение должно соответствовать семантике приложения, описанного на естественном или естественно-профессиональном языке и реализованного с помощью ПСП. Чтобы адекватно обеспечить такое соответствие программист должен быть квалифицированным специалистом не только в программной инженерии, но и в приложении (например, если приложение относится к механике, то специалистом по механике), что в реальной практике создания сложных программных приложений наблюдается редко. Другими словами, программист должен владеть онтологией нриложенш! Следовательно в арсенале программной инженерии должны присутствовать и применяться специфические средства контроля семантики, обслуживающие коллективную деятельность на пути от постановки предметных задач (приложения) и до их решения и кодирования, включая контроль семантики кодируемых (проектных) решений. Системная инженерия, включающая программную инженерию, в настоящее время широко используется для создания сложных АС, интенсивно использующих программное обеспечение (ПО). В этом случае адекватная семантика текущего состояния проектируемой АС и контроль семантики очередных проектных задач и проектных решений приобретают принципиальное значение. Данное утверждение подтверждается чрезвычайно низкой степенью успешности разработок АС. Именно из-за низкой успешности разработок сложных АС в рамках системной и программной инженерий выделилась, оформились и активно используется инженерия требований. Инженерия требований. Выявление, определение и спецификация требований представляет собой важнейший вид проектных работ, который без использования методов и средств инженерии приводит в разработках АС к серьёзным проблемам негативного плана. Опыт инженерии требований, накопленный в разработках АС, нашёл своё выражение в стандартах ИСО/МЭК 3 и ИСО/МЭК , нацеливающих проектировщиков АС на определённую технологию работ с требованиями, а значит, на решение определённых технологических задач, решение которых приводит к порождению требований и задачам их материализации в создаваемой АС. В таком виде работ принципиальное место занимают рассуждения на естественном или естественно-профессиональном языке, в контроле которых семантика находится на первом месте. Профессиональная зрелость. Для успешного применения уже рассмотренных видов инженерий необходимы профессиональная зрелость соответствующих им технологических процессов, а также профессиональная компетенция исполнителей. Вопросы профессионализма в разработках АС регулируют нормативы, вложенные в стандарт CMMI-1. Development (Capability Mature Model Integrated), в котором с помощью набора практик (вариантов профессиональных работ и версий методик их реализации) определяется шесть уровней (начиная с нулевого) зрелости. Для оценок и управления используют матрицу практик, структура которой изображена на рис. В матрице по горизонтальной оси регистрируются имена профессиональных работ, которые добавляются (группами) при переходе с одного уровня зрелости к следующему, а по вертикальной - версии исполнения практик, которые с повышением уровня зрелости повышают свою результативность и качество. В более зрелую версию, например, можно включить средства когнитивного анализа задач (Task Cognitive Analysis, ТС А). После включения средств ТСА в состав средств RM их результативность и качество становятся существенно выше. Adobe Acrobat Prolmaional (• IMt'O I AN I uilna; ciwni ufHimta*. Орет Л P-r< Frnrf Smk» ^ W . Ккчг* • ^ S»)r> - ^ «ОлпШ||1Л| . It Mart f»>i • 1« ^ *