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