Формальные операции над объектами и интерфейсами

Можно построить нескольких видов проекции объектов:

• 1) проекция объекта на интерфейс, как объекта, в котором In содержит один интерфейс, а множество интерфейсов Out содержит только те интерфейсы, которые необходимы для предоставления сервиса;
• 2) проекция объекта на множество интерфейсов;
• 3) проекция объекта на объект — это проекция объекта на множество входных интерфейсов объекта;
• 4) проекции объекта на объект и взаимодействие дает равенство.

Операция параллельного выполнения РПС имеет вид Ро ||. || Рг.

Операция взаимодействия объектов и среды задает объект, у которого множество интерфейсов In совпадает с множеством интерфейсов In объекта-сервера, а множество интерфейсов Out является объединением множеств интерфейсов Out ;1ля объектов среды.

Аксиома 5. Взаимодействие объекта и среды корректное, если выполняется условие: среда полностью обеспечивает сервис, необходимый объекту клиента:

Операция наследования объектом интерфейса из РПС дает объект, который унаследовал интерфейсы всех объектов среды. Объект, который наследуется, передает все интерфейсы и имеет следующие свойства:

1) транзитивности

2) симметри чност и

Операция параллельного выполнения программ РПС нс является симметричной:

Результатом отображения объекта наобъект является интерфейс из множества входных интерфейсов и выходных интерфейсов.

Ok [О,] = О_к [Outmi