РАЗДЕЛ 2
МЕТОДЫ И УСТРОЙСТВА ДЛЯ РЕШЕНИЯ ЗАДАЧ ФОРМИРОВАНИЯ И ПРИМЕНЕНИЯ СТИЛЕЙ
ПРОГРАММИРОВАНИЯ
Целью диссертационной работы является разработка методов и средств,
направленных на применение СПр. Для достижения поставленной цели необходимо
определить задачи применения СПр, предложить методы решения задач, определить
процессы, связанные с применением методов, и разработать средства для
реализации процессов.
В качестве основы средств применения СПр выступают устройства, реализующие
решения задач применения СПр соответствующими методами. Для реализации данных
устройств разрабатываются их математические модели. Моделирование устройств
включает в себя анализ и описание моделей предметной области (МПО) и процессов
решения задач применения СПр предложенными методами.
Моделирование предметной области состоит в установлении объектов и отношений и
формализованном их описании. Моделирование процессов включает в себя постановку
задач как ситуаций, требующих решения, описание методов решения задач и
разработку алгоритмов их решения на основе МПО.
Так как СПр – это знания, традиционно представленные правилами определенного
вида, то для автоматизации решения задач применения стиля, связанных с
определением условий соблюдения правил в текстах, необходимо предложить метод
исследования исходных текстов.
2.1. Модель предметной области
Основу предметной области составляют СПр. Поэтому при разработке МПО необходимо
дать онтологическое описание СПр и связанных с ним понятий и формально описать
стиль. Так как СПр – это, фактически, набор правил, то описание стиля можно
получить, анализируя их представление.
2.1.1. Онтология предметной области
Рассматривая стиль, следует принимать во внимание два измерения: одно отражает
множество идеологий и идей, а другое - множество видов человеческой
деятельности [27]. Определяя стиль человеческой деятельности, прежде необходимо
идентифицировать идеологию или идею, которую он выражает, а затем, проецируя её
на человеческую деятельность, определить другие понятия, связанные с ним в этой
деятельности.
Очевидно, определяя стиль, который нашел применение в разных областях
человеческой деятельности достаточно описания характерных черт или признаков
идеологии или идеи, тогда это описание будет представлять стиль как
доменно-независимое понятие.
Рассматривая стиль с онтологических позиций как объект («вещь»), обладающий
свойствами, необходимо указать существенные свойства стиля и его связь с
другими объектами [57-59]. Определим стиль - «сущность» (класс) как систему,
которая характеризуется тремя следующими свойствами (рис.2.1) [27]:
выражать некоторую идеологию или идею;
иметь период (время) существования;
иметь связь с человеческой деятельностью.
Для стиля как доменно-зависимого понятия все три свойства являются
существенными. Первое и второе свойства остаются существенным всегда, то есть
являются качествами стиля как доменно-независимого понятия [58]. Существенность
третьего свойства ведет к доменно-зависимому понятию стиля человеческой
деятельности.
Таким образом, стиль как доменно-независимое понятие соответствует сущности
(средству) выражающей какой-то период времени, некоторую идеологию или идею
способом, не связанным с конкретной человеческой деятельностью и по сути
представляет основу, на которой строятся стили различных человеческих
деятельностей. Поэтому на диаграмме (рис.2.1) свойство «идея» имеет значение
«любая», свойство «человеческая деятельность» - значение «никакой», а период
существования «некоторое время».
Рис. 2.1. Стиль и стиль программирования
Давая значение свойству «человеческая деятельность» в классе стиль (рис.2.1)
можно получать стиль той или иной человеческой деятельности.
Таким образом, СПр - это стиль, используемый в деятельности (домене) человека,
смысл которой состоит в написании программ для компьютеров.
Рассматривая в человеческой деятельности три сущности (субъект, инструмент,
продукт) и приняв, что в программировании такими сущностями являются
программист, язык и программы, можно построить модель домена «программирование»
(рис. 2.2). Рассматривая связь сущностей со стилем человеческой деятельности,
можно определить следующие понятия: стиль субъекта, стиль инструмента и стиль
продукта. Для домена «программирование» им соответствуют следующие понятия:
стиль программиста (СПт), стиль языка программирования (СЯП) и стиль программы
(СПм). При этом, если субъект и продукт от связи со стилем приобретают
дополнительные свойства (стиль субъекта и продукта) то инструмент участвует в
создании новой сущности.
Рис. 2.2. Домен «программирование»
Модель домена программирование с учетом влияния на него стиля представляется
тремя классами – СЯП, программист и программа (рис.2.3) [27].
Рис. 2.3. Домен «программирование» с учетом СПр
СЯП – это средство (подмножество языка программирования), в котором обеспечена
поддержка определенного СПр. В СЯП обычно реализуется некоторое подмножество
СПр. Поддержка, с одной стороны, должна быть в виде средств, обеспечивающих
представление соответствующего СПр в рамках средств языка программирования (как
правило, выражение СПр не выходит за рамки лексики и синтаксиса языка
программирования и обеспечивается автоматически). Однако СПр должен точно
выдерживаться в программах, поэтому, с другой стороны, в СЯП должны быть
средства, обеспечивающие контроль применения СПр, например, подобно тому, как
контролируется синтаксис. Это обеспечит обязательную реализацию свойства СПм в
контексте данного СЯП.
СПт – это приобретенное свойство программиста знать определенный СПр и
применять его при н
- Київ+380960830922