<На страницу назад | На страницу вперед >

Урок 7. Контроль качества модели

Цель

Изучение основные методы контроля качества разрабатываемых IDEF0-моделей

Действия

1. Прочитайте раздел 6.6. "Контроль качества модели" и уясните следующие методы и правила контроля качества разрабатываемых IDEF0-моделей:

   а) синтаксические правила, которые являются ограничениями в том смысле, что они описывают логически то, что представлено графически (см. подраздел 6.6.1);

   Примечание 1
   Синтаксические правила являются ограничениями (условиями) в том смысле, что они описывают логически то, что представлено графически. Компоненты диаграммы в IDEF0 могут рассматриваться как "примитивы"; синтаксические ограничения являются утверждениями, которые определяют допустимые или имеющие место отношения и операции, воздействующие на эти примитивы. Синтаксические ограничения могут рассматриваться как критерии: если ограничение не удовлетворяется или нарушается, то графическое изображение не соответствует критерию, и результирующая диаграмма или модель несовершенна с точки зрения этого ограничения.

   Выделяются по крайней мере три различных типа синтаксических ограничений в зависимости от уровня анализа или уровня графического представления, к которому они относятся:

   1) Локальная конструкция
   Эти правила относятся к простым, первого порядка сложности или связанности примитивам. Они определены для диаграмм и FEO-диаграмм. Им нужно следовать для обеспечения правильности конструкции. Диаграммы, имеющие недостающие компоненты или показывающие отношения между примитивами, отличные от тех, что установлены ниже, являются "синтаксически дефектными".

   2) Глобальная конструкция
   Эти правила относятся ко всей диаграмме, но не к тексту или FEO. Таким образом, они установлены для нескольких конструкций и их выполнение может быть проверено только после окончания разработки диаграммы.

   3) Конструкция модели
   Ограничение этой категории определяет расположение узлов и буквенно-цифровые обозначения, которые создают упорядоченную иерархию диаграмм.

   б) пять типов семантики (полнота, краткость, согласованность, правильность, сложность/понимаемость), их определения , показатели и параметры (см. подраздел 6.6.2).

   Примечание 2
   "Семантика" является термином, который применяется к большому ряду факторов, каждый из которых имеет некоторое влияние на "значение" меток, диаграмм и моделей в методологии IDEF0. Для того чтобы установить критерий, используемый для оценки моделей, следует рассмотреть эти аспекты "значения", относящиеся к содержанию и однозначному наименованию данных и функций. Критерий для оценки общего "изложения", "сообщения" или "смысла" диаграммы или модели должен быть выражен в терминах допустимой сложности.

   ПОЛНОТА
   Одним из критериев оценки адекватности информационного охвата модели является уточнение. Имеется в виду та степень детализации, при которой вводятся дополнительные детали в диаграмму декомпозиции. В идеале детализация должна быть достаточной для того, чтобы сделать исходную диаграмму более содержательной и информативной, но при этом не перегруженной большим количеством деталей, затрудняющим ее понимание. Между степенью детализации, выражаемой именами функций-блоков, и тем, что выражается с помощью меток дуг данных, должен сохраняться баланс. Диаграмма с очень общими и абстрактными именами функциональных блоков, но с подробно детализированными метками на дугах данных семантически несбалансированна. Степень уточнения может быть низкой и на последующих диаграммах декомпозиции, поскольку место для дальнейшей детализации меток на дугах данных будет ограниченным.

   КРАТКОСТЬ
   "Информационная ценность" меток и названий в методологии IDEF0 определяет, в конечном счете, потенциальное значение содержания диаграммы для читателя. Поэтому авторы должны стараться выбрать метки так, чтобы они были общеупотребительны, особенно если они связаны с технологическими процессами или практикой производственной среды. Термины, используемые на диаграммах и в сопроводительных текстах, должны быть естественными для читательской аудитории.

   "Степень избыточности" трудно измерить при простом чтении диаграммы или серии диаграмм. Если авторы представляют глоссарий ключевых терминов и достаточно подробные списки характеристик или особенностей технических терминов, читатели и рецензенты располагают более объективными средствами для принятия решения в случаях, когда две метки являются либо двумя различными названиями одного и того же, либо они именуют разные вещи.

   IDEF0-метки являются "кандидатами" для имен классов сущностей и атрибутов в IDEF1; если класс сущностей используется как метка дуги IDEF0, атрибуты класса сущностей помогают в определении точного . содержания дуг и облегчают понимание и сравнение дуг. Списки атрибутов для сущностей, поименованных на диаграмме - полезное дополнение к глоссарию. Они позволяют оценить степень избыточности на основе перекрывающихся наборов атрибутов.

   СОГЛАСОВАННОСТЬ
   Синтаксические проверки служат для подтверждения точности графических нотаций. Они позволяют выявить согласованность меток дуг и провести трассировку дуг данных во всей иерархической структуре модели. Степень согласованности модели определяется рецензентами и экспертами - специалистами в предметной области модели.

   Синтаксические проверки согласованности имен функционального блока и обозначений дуг будут проще, если представить список атрибутов как часть глоссария, сопровождающего диаграмму или модель.

   ПРАВИЛЬНОСТЬ
   Правильность - возможно, наиболее субъективная из семантических характеристик, обсуждаемых в разделе 6.6.2. Это объясняется главным образом тем, что окончательный "стандарт" для оценки формируется на основе мнений отдельных специалистов, имеющих наиболее полное представление о моделируемом объекте. Чтобы помочь построению моделей, которые могли бы считаться "правильными" на основе рассмотрения обзора, а также путем оценки техническими экспертами, в методологии IDEF0 разработан "Цикл папки".

   СЛОЖНОСТЬ / ПОНИМАЕМОСТЬ
   "Понимаемость" - важный и трудный критерий оценки качества модели. Это связано главным образом, с его абстрактностью и субъективностью. Другим источником проблем, связанных с оценкой "понимаемое", является тесная взаимосвязь синтаксических и семантических факторов. Мы определяем "понимаемость" как функцию того, "насколько хорошо содержание модели представляется с помощью синтаксиса", поэтому приемлемые "показатели" должны быть получены как из синтаксиса, так и из семантики. Следовательно, ни один отдельный элемент семантики не может служить достаточным показателем, насколько хорошо тот, кто оценивает сложную модель, способен ее понять.

   Измерение "сложности", однако - более выполнимая задача. Мы предлагаем рассматривать "понимаемость" и "сложность" как двойственные критерии. Это означает, что некоторые высокосложные фрагменты модели будут, как можно полагать, трудными для понимания и, аналогично, фрагменты, имеющие меньшую сложность, будут, вероятно, намного доступнее для пользователя и легче для понимания.

2. Прочитайте разделы: 6.6.3 "Сопряжение и связность", 6.6.4. "Показатели, основанные на сопряжении и связности", 6.6.5 "Показатели и типы связности" и уясните следующие вопросы:

   а) критерии стыкуемости и объединенности компонентов и отдельных подчастей модели;

   Примечание 3
   Сопряжение описывает степень стыкуемости компонентов. Для IDEF0 можно описать число и типы взаимосвязей между функциональными блоками на одной диаграмме как взаимосоединения компонентов.

   Связность описывает степень объединенности отдельных подчастей внутри данной части модели. Таким образом, в IDEF0 связность - весьма значимое свойство для оценки того, насколько удачно сгруппированы функции на одной диаграмме.

   Уместность этих показателей для оценки сложности заключается в том, что если компоненты диаграммы или модели имеют высокое сопряжение друг с другом, модель становится более сложной. Компоненты, составленные из несвязанных элементов, также усложняют модель.

   Таким образом, IDEF0-диаграммы должны становиться более понятны, если их компоненты не тесно состыкованы, но функционально зависимы.

   б) показатели и типы сопряжения;

   Примечание 4
   Понимаемость модели становится выше, а сложность снижается по мере того, как связность компонентов возрастает, а их сопряжение уменьшается. Из этого следует, что показатели, основанные на различных типах сопряжения и связности, полезны для оценки понимаемости/сложности моделей. Шкала или код для определения различных типов сопряжения и связности обеспечит авторов инструментом, помогающим создавать более понятные и менее сложные модели.

   в) показатели и типы связности;

   Примечание 5
   В то время как "сопряжение" относится к связи между элементами (функциям и/или данными), "связность" будет использоваться в отношении связывания или внутренней согласованности между объектами диаграммы.

   На практике различают по крайней мере, семь типов связывания: случайная связность (рис. 6.11), логическая связность (рис. 6.12), временная связность (рис. 6.13), процедурная связность (рис. 6.14), коммуникационная связность (рис. 6.15), последовательная связность (рис. 6.16), функциональная связность (рис. 6.17). При этом уровни 4-6 устанавливают типы связей, которые разработчики считают важнейшими для получения диаграмм хорошего качества. Авторы должны стремиться к максимальному количеству связей этих типов.

Вопросы

На основании изложенного в данном разделе материала вашему вниманию предлагается Тест для самоконтроля , прохождение которого говорит о готовности вас к изучению следующего урока.

<На страницу назад | На страницу вперед >