ГОСТ Р ИСО/МЭК 10166-1-2001
ПРИЛОЖЕНИЕ С (обязательное)
Формальное определение абстрактных услуг СПД
DFRAbstractService {iso standard 10166 part-1 (1) modules (0) abstract-service (1)}
DEFINITIONS IMPLICIT TAGS : : =
BEGIN
- - ПРОЛОГ - -
- - Экспортируется все - -IMPORTS
- - Макросы абстрактных услуг - -
ABSTRACT-BIND, ABSTRACT-ERROR, ABSTRACT-OPERATION, ABSTRACT-UNBIND, OBJECT, PORT FROM AbstractServiceNotation {joint-iso-ccitt mhs-motis(6) asdc(2) modules(0) notation(1)}
- - Идентификаторы объектов - -
id-dfr-document, id-dfr-root-group, id-dfr-proper-group, id-dfr-reference, id-dfr-search-result-list, id-dfr-server, id-dfr-user, id-pt-dfr
FROM DFRObjectIdentifiers {isi standard 10166 part-1(1) modules(0) object-identifiers(O)}
- - Справочник ВОС - -
Attribute, AttributeType, AttributeValue, AttributeValueAssertion, DistinguishedName, Filter, FilterItem FROM InformationFramework {joint-iso-ccitt ds(5) modules(1) InformationFramework(1)}
- - Отличающая объект ссылка - -DDR, Requested-Qos-level
FROM DOR-definition {joint-iso-ccitt dor(11) reference-definition(0)}
OdaApplicationCapabilities, ManipulationCapabilities, dtam-dm-port FROM DTAM-DM-AbstractService
{ccitt recommendation t435 dm(1) modules(0) abstract-services(1)}
- - Идентификатор вызова - -InvokeIDType
FROM Remote-Operations-APDUs {joint-iso-ccitt remote Operations(4) apdus(1)};
- - Абстрактные объекты СПД - -dfr-server OBJECT
PORTS {dfr-port [S]}
: : = id-dfr-server dfr-user OBJECT
PORTS {dfr-port [C]}
: : = id-dfr-user
- - Типы портов - -Dfr PORT
CONSUMER INVOKES {
Create,
Delete,
Copy,
Move,
Read,
Modify,
List,
Search,
Reserve,
Abandon }
74