Опис параметрів інтерфейсу ОМ

Операції з використанням інтерфейсу це такі:

– введення, збереження, видалення об’єктів тощо, тобто це операції життєвого циклу об’єктів;

– операції взаємодії об'єктів шляхом викликів методів об'єктів, визначених на множині вхідних і вихідних інтерфейсів.

Інтерфейс називається вхідним, якщо об'єкт за його допомогою одержує певний сервіс, і вихідним, якщо об'єкт через нього надає цей сервіс.

Кожна операція має ім'я, список вхідних параметрів і вихідних результатів, якщо вони є.

Загальна форма опису операції має вигляд

operation_name (param₁,..., param_n)

returns (res₁,..., res_m)

param_i ::= parameter_name : parameter_type

res_i ::= result_name : result_type

Іншими словами, операція являє собою структуру даних, в якій вказується набір вхідних параметрів і вихідних результатів.

w: (x₁:s₁, x₂:s₂, ..., x_n:s_n) ® (y₁:r₁, y₂:r₂, ..., y_m:r_m),

де w – ім'я операції;

x₁, x₂, ..., x_n – вхідні параметри, а x₁ – керуючий оператор;

s₁, s₂, ..., s_n – типи вхідних параметрів;

y₁, y₂, ..., y_m – вихідні параметри;

r₁, r₂, ..., r_m – типи вихідних параметрів.

Основною операцією об'єкта є операція запиту, де визначені дія і список параметрів, заданих клієнтом для звернення до обслуговуючого об'єкта і отримання від нього результату. Запит виконується, якщо типи параметрів або результатів операції з ім’ям w відповідають множині вхідних і вихідних інтерфейсів. Під час виконання операції аргументи зв’язуються з формальними параметрами операції.

На основі виконання операцій об'єкт здатний перебувати в різних станах. Кожний стан визначається набором атрибутів об'єкта, що задаються, і операцій, особливістю яких єполіморфізм. Операції об'єкта дозволяють одержати сервіс у об'єкта шляхом виконання певних обчислень, а потім отриманий результат надати іншим об'єктам.

Зміна реалізації якого-небудь об'єкта або додавання йому нових функцій не впливає на інші об'єкти системи. Чітка відповідність між реальними об'єктами (наприклад, апаратними засобами) і керуючими об'єктами ПС полегшує розуміння і реалізацію системи за її моделлю і об'єктами.

Означення. Декларована в класі змінна називається керованою щодо доступу до її значення з боку інших класів, якщо вона є public-змінна або для неї реалізований доступ за допомогою public-методів класу.

Теорема.. Для кожної об’єктної моделі OSyst, зовнішня взаємодія з класами якої відбувається на основі public-методів та керованих змінних, існує єдине інтерфейсне подання ISyst з еквівалентною функціональністю.

Ця теорема визначає умови існування еквівалентного відображення між об’єктним та інтерфейсним поданнями програми. Як наслідок, на етапах аналізу та проектування компонентної програми можуть застосовуватись моделі та методи ООП іде їх перебудова засобами компонентного програмування.

Читайте також:

<== попередня сторінка	\|	наступна сторінка ==>
Моделювання моделі ПрО	\|	Парадигма UML-метода моделювання

Не знайшли потрібну інформацію? Скористайтесь пошуком google:

Генерація сторінки за: 0.005 сек.