ГОСТРИСО/МЭК10165-4-2001
ParamcterModule{joint-iso-ccitt ms(9)smi(3)part4(4)asnlModutc(2) parameters(3))
EPINITI NS: : - BEGIN
ErrorInfo1: : - INTEGER
ServiccProvidcrErrorResponseReason: : ENUMERATE {
insufficientResources(0),
providcrocsNotExist(1),
providerNotAvailablc(2),
requiredServiceNotAvailaUe (3))
PUString: : - CTETSTRING
E N
ПРИЛОЖЕНИEB
(справочное)
Ру коволеi вопоприменению/.ирнформил HlaiiHKповеденияyiiрав.1ясмыхобьектов
В.1Введение
Настоишес приложениесодержит техническое руководство поприменению языкаZ дляопределения
иоведснияуиравлясмыхобьсктов.которысподдсржниаютадминисгративносуправлснисвтаимодсйствисх«ВОС.
Оноявляется справочным, анснормативным. Оно нстребует, чтобы дляспецификацииповедения УОис-
нользавалисьмстодыформал1»ноюопрсделения(.VIФО).Еслитребустся.чтобы использовались МФО,тотем
самымистребуется.чтобы испод ьзовалсяZ:могутиспользоваться другнеязыки.такие
kbk
SL.Даже когда
должен использоваться/,возможныидругиссиособыспенификацииповеденияУО.
ФормальныссисиификаиииповсденияУОмогутбытьнспосрсдствен нополс зными.таккакониясныи
недвусмысленны.Проиесссозданияформальнойспсцяфикациизаставляетпроводитыюдробныйаналнзпове-
дсния.Слсдоватсльно.формальнаяспсиификаиияможетиспользоватьсякакинструмснгдляидснтификании
иисправлениядвусмысленностей, которысмоглиостатьсянсвыявленнымивспецификации. полностью ос
нованной наестественном языке. Поэтим причинамформальнаяспецификация можетбытьполезнойдля
совершенствованияспсцификанииповсдсния.
Настоящеелриложениесодержнтнллюстрированныйпримср, которыйпоказываетсовременнуюпрак-
тику использования Z. Ею цельюявляется установление тех общих основипонимания этогоконкретною
формально! оподхода, которые помогутдостичьсогласованности всходных разработках. Онпредоставляет
полезную начальнуюточкудля пользователей РОУО. которые хотят использовать Zдляулучшения своих
спецификаций.
Приложениепредназначенодля пользователей,знакомыхсосновны мипонятиямиспецификаций уп-
равлясмыхобъсктов. используюшнмпаблоны РОУО.исязыком2.
Внастояшемириложсниитсрминоуправляемыйобъскт»(или«УО*)используетсядляоирсделснияклас-
сауправлясмыхобъсктов.данныхсиспользованием шаблонов РОУО.
В.2Вопросыязыка
Нотаиня2являстсяформальноопрсдсленнойнотацией.основаннойнатсориимножествиисчислении
предикатов. Онаи.мсетдостаточномощныссрсдствадляописанияотдсльныхклассовунравлясмыхобъсктов.
Однаков2нссушсствустпонятисинкаисуляцни.Спсцификация2обычносостоитизмоделннското-
рогососюянияисовокупностиопераиийд.чянзмсненияэтогосостояния.В2 нстметодовдлядслениясосто-
янияисгоопсрацийнаотдельнысмодулииихповторноюиспользованиявдругихспсцификациях.Очсвид-
нымследствиемзтоюявлястсянсобходимостьописанияупраатясмыхобъекгов.которыснаследуютпсрсмсн-
ныеиповедениемздругмхопредсленийклассовуправляемыхобъектов.
Эффектнаследованияможетбытьполученх1стодомвключеннясхемыиенойнекоторойпотсрнясности.
Вовссхосталышхотношсния2подходитдлявыраженияотдельныхклассовуправляех1ы.хобьектов.
В.ЗЭлемсшы, подлежащиепреобразованию
Требустсяирсобразоватюирсдслсниеповсдення(илисгочасть)изнсфорх!алы!огаоиисаниявописанис
Z. Степень, вкоторой должны бмтьформализованмоставшиеся части шаблонов РОУО. зависит, главных!
образом, отпотребностсйразрабочикаспеиификаиии.
Шаблоны РОУОуже включаютвсебяполуформальные определениятиповданныхвACH.I. Можно
написатьспсиификацию2 .используя этиопрсдслснияАСН.1вкачествеосновы длятипов. используемых в
спсцификации2 .чтос’экономигсушествсннуючастьработы.
Однакоссл испецификация написанатакимобразох!. тоболыпойпроблсхюйдляразработчикастано-
вится1арантияеесинтаксичсскойкоррсктности.Вспецнфикация.х2бсзопредсленийАСН.1можноисиоль-
52