ГОСТРИСО/МЭК10165-4-2001
зоватьсушествуюшиесрсдст ва2.которыеобеспечивают поддержку проверки синтаксисаистатическойсе-
мантикиспсцифккации2.
Такимобразом, можно улучшитьопределения поведения. используя2бсзпсрсписываииятиповлан-
ныхАСМ. I,носушественныспреимутцествамогутбытыюлученыприполномпреобразованиктнповданных
ACH.I.
b
Z.Примсрытога.какпрсобразовываютсяосновныегипыАСН.! в2.привсденын В.7. 1.
В.3.1 П р е о б р а з о в а н и е из ш а б л о н о в Р О УО в 2
Нижсланообщссруководствопопреобразованиюуправлясмыхобъектовизихнсформалыюгоописания
настояшегостандартав2.Такоспрсобразованисможстбытьосушествлснотольконсформально,т.к.формаль-
нос преобразование требует, какминимум, чтобы исходный ицелевой языкибылиформализованы. Болес
того, какилюбое отображение двухразличныхятыков,оноограничено некоторымнесоответствием между
конструкниямиэтихязыков.Этапроблсмаусиливастся.когдаодинизязыковоказывастсянсформальнымили
включаетвсебянеформалькыс компоненты.
Нижспсречислснынекоторысосновнысхарактсристнкшиаблонов.оиредсленныхвнасгоишсмстандар-
тс.суказаниемихотличийотсоответствуюшихконсгрукций2 .Попутнопрсдла1аюгсяо6щнсмстодыратрс-
шсниянесогласованностиилирекомендациипоихразрешсниювконкретныхслучвях.
Внастоящемприложенииосновное внимание уделяетсятому, чтонсобходимоописыватьв поведении
уиравляемогообъскта.ДополнительнаяинформацииоирсобразованинтиповАСН. 1привсдснавВ.6.
В.3.2 Тиныданных
Первым шагомявляется переписывание типов данных настоящего стандарта ввидетипов Z. АСН.1
предоставляетполсзнысвозможностипосозданиютиповланных.иоихпосгросниеориснгировлнонаописа-
ниепотоковланных,псрсдавасмыхмсждусистсмами.
BACH.I построеннстипаопределяется ввидесписка. В2тиныявляются множествами. Хотяможно
моделировать построение типа АСЫ. Iввиде последовательности вZ. иногдабывдетболее естественным
рассмотрстьопераини.доступныснадтииамиАСН. !,иотобразитьихвтины2 .чтоболссясноописываетих
структуру.ТипыАСН. 1«поеледоватсльность»и«множество® могутбытьотображенbumuiZ*кортеж».
ТипАСН.1 «последовательность-из® можетбыть отображен втип Z«последовательность». ТипАСИ. 1
«множсство-из»можстбытьотображенвгин2 «множсство».
АСН. 1включаствссбнспепиальнос обеспечениекодирования.такое какметкиизначенияпоумолча-
нню.Онннсобязательиолоджныбыты1редставлсныв2 .т.к.невлииютнаопрсделснисповедсния.
ВпунктеВ.6.2прнвсдснадополнительнанинформаиияопреобразованиитиповАСН. I.
В.3.3 Атрибуты УО
Управлясмысобъсктыопрсделенытакимобразом, чтоимеютнекоторыеатрибутыадминистративного
управлении. Этиатрибутыимектиныданных.оиределсннысвАСН. 1.Имприсвосныидснтификаторыобьск-
тов.Онимогутимстьсвойствасогласованиязначсний.Прсдлагаютсядваспособамоделированиятакихатрибу-
тов:
- простыетипыатрибутови
-типыатрибутовкаксхемы.
Простейшим подходом являетсяпредставленисатрибутаУОкакперемснной2ссоотвстствующимти
помданных. Тогдаотдельнонеобходимооирсдслсние постоянной, представляющейидентификагоробъекта
для этогоатрибута. Этапостоянная будетсвизана сатрибутом толькопосотлашению. Когдадля атрибута
определснаоперапиясогласования.можноиспольЗОватьсвойствофактичсскогофиксированногосогласова-
ния.ПримерприведенвВ.6.3.
Можновключитьвссэтисвойстваатрибутавсдинственномт ипсс.хсмы.которыйбудеттииомперемен-
ной2,моделирующсйатрнбутУО.С.хсмабудствключатьвсебязначенисатрибута,ндентификаторобъсктаи
свойствосогласования.ПримсриривсденвВ.6.4.Катдатребуютсяиравиласотласования.отличнысотравсн-
ства. можноопрсделитьпарамстрсогласованиякакотношсние2надтипом значения атрибута. Этот подход
допускает формальноепредставлениепроизвольныхконкретныхправилсогласования, чтоможетбытьваж
нымдляобластидсйствия, фильтрацииивыбораобъекта.
TpyaHOMoaeBHpoBaTbTMnANYACH.lBZ.BHeKOTOpbtxc.ay4aHXftM^tHKitaTbcn>icOK3Ha4CHHHaTpH6y-ra.
Такимобразомнолнаяформалы«аямодсль.вероятно.погребуеткомбннаиииснободноготипа2сужеопре-
деленнымитипамиатрибутов. ПримерыприведенывВ.6.1иВ.6.5.
Идснтифнкаторыобьсктовформалы1омодслируклсямножеством:
IOBJECTI |
В. 3. 4Другие и д е н т и ф и к а т о р ы о б ъ е к т о в
Многиеэлемснты.кромсатрибутов.имсютидснтификаторыобьсктов.Удобноввсстинхвсскакпосто-
яннысваксиоматичсскиеоиредслсния.Можноислользоватьсоглашснисодополненииихсуффиксом«01с1».
Такиеиостояннысбудутнсобходимыдля классов,пакетовисообшсний.
Пр и м е р
packagesPackageOid: OBJECT!
altomorphsPackageOid: OBJECT!
topdassOid: OBJECTI
53