ГОСТ Р ИСО/МЭК 10746-3-2001
на котором основана общность. Хотя он является частью некоторой общности, предприниматель
ский объект может исполнять роли и в других общностях; этот вопрос должен быть оговорен в
контрактах участвующих общностей. Предпринимательский объект может играть разные роли в
разных общностях. Взаимодействия между предпринимательскими объектами, играющими соответ
ствующие роли в разных общностях, могут рассматриваться как взаимодействия между этими
общностями.
Примечания
1 Примеры ролей: администратор по политике, президент, поставщик услуг, владелец, управляющий,
акционер, потребитель.
2 Примеры контрактов среды в предпринимательских спецификациях: требования безопасности, норма
тивные требования, практические указания.
3 В предпринимательской спецификации термин «<х> объект**, где <х> —роль, интерпретируется как
«предпринимательский объект, играющий роль <х>». Когда обьект играет несколько ролей, имена могут быть
сцепленными, например «обьекг-владслец-драйвср».
При выполнении роли объект становится субъектом для разрешений, обязательств и запреще
ний путем их делегирования или передачи. В некоторых ратях объектам разрешается изменять
политику. Имеются пять основных типов действий относительно контракта:
- объект устанавливает обязательство для другого объекта (в это время ему датжно быть
разрешено устанавливать обязательства);
- объект подчиняется обязательствам другого объекта;
- обьект отказывается от обя зательств другого объекта;
- объект приобретает разрешение от другого объекта осуществить некоторое действие, которое
ранее было для него запрещено;
- объекту запрещается осуществлять некоторое действие, которое ранее было ему разрешено.
Приме ча й и с4 —Важным частным случаем приобретения является разрешение действия, являюще
гося производящим, т. е. когда объекту в подчиненной роли позволяется Создавать последующие запрещения
или обязательства для поведения объекта, играющего старшую роль. Это приводит к понятию о посредничестве
или делегировании.
Обязательства включают в себя подсчет и ответственность за использование ресурсов. Биллинг
и оплату моделируют как перераспределение ресурсов между объектами в соответствии с исполня
емыми ролями.
Ресурс является либо потребляемым, либо непотребляемым. Потребляемый ресурс исчерпы
вается после использования некоторого его количества. В <х> федерации цель определяет ресурсы
каждой <х> области, совместно используемые с другими членами федерации. Цель может сохранить
за каждой областью определенную степень автономии в использовании ее собственных ресурсов.
Устанавливающее поведение для <х> федерации может допускать автономию для каждой участвую
щей <х> области в решении, становиться или нет частью федерации.
5.3 Соответствие и опорные точки
Утверждения соответствия в предпринимательском языке требуют, чтобы поведение системы
ОРО соответствовало конкретному набору целей и политики.
Реализатор, декларирующий соответствие, должен идентифицировать инженерные опорные
точки, которые дают доступ к системе, и инженерные, вычислительные и информационные специ
фикации, которые в этих точках применимы. Тем самым идентифицированные опорные точки
становятся точками соответствия. Взаимодействия в этих точках соответствия могут быть затем
интерпретированы в терминах предпринимательского языка для проверки того, что предпринима
тельская спецификация не была нарушена.
Предпринимательские спецификации могут применяться для всех четырех классов опорных
точек (программируемых, воспринимаемых, взаимодействия и обмена), идентифицированных в
ГОСТ Р ИСО/МЭК 10746-2.
6Информационный язык
Информаи
ионный
язык охватывает понятия, правила и структуры для спецификации системы
ОРО с информационной точки зрения.
Информационная спецификация определяет семантику информации и семантику обработки
информации в системе ОРО.
7