I. Объекты, которые воспринимаются как обычно необходимые для выполнения примитивных задач (Checkland, 1981) организации. Они стабильны до тех пор, пока характер интересующей нас области остается неизменным. Например, что касается отдела кадров, то для его основной задачи "управление информацией о персонале" необходимыми могут считаться следующие объекты: Сотрудник, должность, разряд, результаты работы, а также организационная структура - филиал, отдел. Эта категория объектов может восприниматься нейтрально большинством участников интересующей нас области, поскольку основные задачи определяются самой базовой природой организации.
Объекты, представляющие собой физические носители, которые используются людьми в данной области для хранения и использования информации (например, представления и поиска информации) о тех, кто упомянут в вышеуказанной категории. Например, в отделе кадров в компьютере может храниться табель посещаемости, ежемесячный или еженедельный отчет о работе сотрудника, картотека сотрудников, мастер-кадры/ile.
Объекты, которые используются для выполнения операций над теми объектами, которые непосредственно определяются основными задачами. Например, могут существовать правила и нормы, касающиеся поощрения персонала, продвижения по службе и условий труда.
Объекты, выполняющие процессы над вышеперечисленными объектами. Например, сотрудник отдела кадров, который занимается подбором персонала, переводом сотрудников, расстановкой кадров, ведением кадровой информации.
Можно заметить, что объекты категории I являются наиболее примитивными и объективными. Они непосредственно используются в качестве пассивного материала для выполнения основных задач и, скорее всего, будут признаны всеми участниками интересующей нас области. Кроме того, объекты категории I, вероятно, служат элементами объектов остальных категорий. Иными словами, более зависимые от акторов объекты (т.е. более субъективные) могут быть составлены из объектов категории I или основаны на них, разумеется, по-разному, в зависимости от конкретных акторов. Таким образом, задача идентификации сущностей является двуединой: найти категорию объектов, а также использовать их для формирования объектов других категорий. Первые представляются в модели данных в терминах enti(v и/или attrihute, которые должны хранить постоянные данные, вторые - в терминах views, joins и т.д. сущностей, поэтому сами по себе они не содержат постоянных данных.
Все типы категорий объектов, воспринимаемых акторами, могут быть идентифицированы системным образом. Идея заключается в использовании SSM (Soft Systems Methodology) (Checkland, 1981). Во-первых, создается условная релевантная система, которая формализует представление отдельного актора; во-вторых, условная система декомпозируется с помощью SSM рекурсивно до ее примитивного уровня; в-третьих, определяются элементы исходных данных, которые необходимы для деятельности на примитивном уровне (они называются "задачами"); в-четвертых, и наконец, элементы исходных данных подвергаются статистическому анализу, после чего должны появиться объекты. Этот метод был подробно рассмотрен в работе (Feng, 1993).
Следуя этому методу, в остальной части работы представлена формальная система идентификации объектов.
Алфавит языка - {A, B, ..., AI, A2,..., =>, :;2l;
Sentence = String of Words, =>, String of Words;
String of Words = 'A' 1'13' 1... 1'A 1'1 'A2' ..., String of Words, 'A' 1'R' 1... 1'A 1'1
'A2' ...;
Дедуктивный аппарат состоит из следующих правил:
I. X:;2Y / X=>Y; 2. X=>Y / X:;2Y;
306
J.-K. Feng
3. (X=>Y, Y=>Z) / X=>Z;
4. (W;,;J.Z, X=>Y) / XW=>YZ.
Приведенные выше язык и правила вывода представляют собой формальную систему. Теперь ей приписывается интерпритация. СмыслString ofWords - это объект (простой или составной), воспринимаемый агентом; символ => означает "покрывает", то есть считается, что объект(ы) с левой стороны способен вместить всю информацию, которую может вместить объект(,) с правой стороны; а символ ;,;J., как обычно, означает "является подмножеством".
При такой интерпретации первое правило вывода гласит, что если объект Y является подмножеством объекта X (X и Y не обязательно различны), то X покрывает Y; второе правило означает, что если объект X покрывает объект Y, то Y является подмножеством X; третье правило гласит, что если объект X покрывает объект Y, а Y покрывает Z, то X покрывает Z; четвертое правило гласит, что если объект Z является подмножеством W, а объект X покрывает Y, то комбинация объектов X и W покрывает комбинацию объектов Y и Z. При такой интерпретации приведенные выше правила (далее - Правила) могут быть переписаны в виде следующих семантических правил:
I.X;,;J.Y ~X=>Y;
2. X=>Y FX;,;J.Y;
3. X=>Y, Y=>Z rX=>Z;
4. W;,;J.Z, X=>Y r XW=>YZ;