ВУЗ:
Составители:
336
Первичные характеристики как средства идентификации системы долж-
ны быть известны и параметрически инвариантны. К вторичным характери-
стикам подобные требования не предъявляются. Они могут быть или полно-
стью неизвестны, или известны только частично и при этом не должны быть
параметрически инвариантны. Если первичные характеристики системы ка-
ким-либо образом изменяются, то, по определению, система перестает быть
тождественной самой себе и появляется новая система. С другой стороны,
изменения вторичных характеристик не влияют на тождественность систе-
мы. Так, например, объем имеющихся данных не влияет на исходную сис-
тему, в то время как конкретная система Данных меняется при добавлении или
исключении данных. Аналогичным образом система с поведением не меняется
при замене ее текущего состояния другим состоянием или реализующей ее
структурированной системы на другую, также реализующую ее структуриро-
ванную систему.
Параметрическая инвариантность является одним из свойств функ-
ций поведения. Здесь понятие инвариантности строго связано с конкретным
параметрическим множеством, определенным как часть рассматриваемой
исходной системы. Однако иногда бывает нужно использовать это поня-
тие в локальном смысле— для некоторого подмножества, заданного пара-
метрического множества. Такую инвариантность можно назвать локаль-
ной инвариантностью или субинвариантностью.
Теперь рассмотрим множество функций поведения, определенных на
одной исходной системе, причем эти функции только локально инвари-
антны и, следовательно, не полностью характеризуют переменные (и по-
рождают их состояния) на всем параметрическом множестве исходной
системы. Таким образом, эти функции не могут рассматриваться как пер-
вичные характеристики одной системы с поведением. Однако они в принци-
пе могут быть интегрированы в большую систему. Для этого требуется
описать процедуру замены одной функции поведения другой на парамет-
рическом множестве. Назовем эту процедуру процедурой замены.
Если некие функции поведения, которые являются параметрически
инвариантными только локально, интегрируются с помощью соответствую-
щей процедуры в одну систему, то для удобства их параметрическая инва-
риантность может быть распространена на все параметрическое множест-
во. Подобное распространение не повлияет на интегрированную систему,
так как процедура замены не позволяет использовать функцию поведения
вне области ее локальной инвариантности. Таким образом, интегрирован-
ную систему удобно рассматривать как множество функций поведения и
процедуру замены.
Предложенный метод интегрирования систем с поведением подходит и
для других типов систем. В следующем разделе мы введем, формализуем
и рассмотрим различные категории интегрированных систем.
Д.3. Метасистемы
Первичные характеристики как средства идентификации системы долж- ны быть известны и параметрически инвариантны. К вторичным характери- стикам подобные требования не предъявляются. Они могут быть или полно- стью неизвестны, или известны только частично и при этом не должны быть параметрически инвариантны. Если первичные характеристики системы ка- ким-либо образом изменяются, то, по определению, система перестает быть тождественной самой себе и появляется новая система. С другой стороны, изменения вторичных характеристик не влияют на тождественность систе- мы. Так, например, объем имеющихся данных не влияет на исходную сис- тему, в то время как конкретная система Данных меняется при добавлении или исключении данных. Аналогичным образом система с поведением не меняется при замене ее текущего состояния другим состоянием или реализующей ее структурированной системы на другую, также реализующую ее структуриро- ванную систему. Параметрическая инвариантность является одним из свойств функ- ций поведения. Здесь понятие инвариантности строго связано с конкретным параметрическим множеством, определенным как часть рассматриваемой исходной системы. Однако иногда бывает нужно использовать это поня- тие в локальном смысле— для некоторого подмножества, заданного пара- метрического множества. Такую инвариантность можно назвать локаль- ной инвариантностью или субинвариантностью. Теперь рассмотрим множество функций поведения, определенных на одной исходной системе, причем эти функции только локально инвари- антны и, следовательно, не полностью характеризуют переменные (и по- рождают их состояния) на всем параметрическом множестве исходной системы. Таким образом, эти функции не могут рассматриваться как пер- вичные характеристики одной системы с поведением. Однако они в принци- пе могут быть интегрированы в большую систему. Для этого требуется описать процедуру замены одной функции поведения другой на парамет- рическом множестве. Назовем эту процедуру процедурой замены. Если некие функции поведения, которые являются параметрически инвариантными только локально, интегрируются с помощью соответствую- щей процедуры в одну систему, то для удобства их параметрическая инва- риантность может быть распространена на все параметрическое множест- во. Подобное распространение не повлияет на интегрированную систему, так как процедура замены не позволяет использовать функцию поведения вне области ее локальной инвариантности. Таким образом, интегрирован- ную систему удобно рассматривать как множество функций поведения и процедуру замены. Предложенный метод интегрирования систем с поведением подходит и для других типов систем. В следующем разделе мы введем, формализуем и рассмотрим различные категории интегрированных систем. Д.3. Метасистемы 336
Страницы
- « первая
- ‹ предыдущая
- …
- 334
- 335
- 336
- 337
- 338
- …
- следующая ›
- последняя »