Продукти інженерії вимог за методом С. Шлеєр та С. Меллора
· За даним методом, результатом проведеного аналізу вимог до створюваної програмної системи є такі продукти:
1. Інформаційна модель системи (онтологія) у формі:
- діаграми сутність - зв’язок;
- опису об’єктів та їхніх атрибутів (подається неформально);
- опису зв’язків між об’єктами (подається неформально).
2. Модель поведінки об’єктів системи у формі:
- діаграми переходів у стани (ДПС) або таблиці переходів у стани (ТПС);
- опису дій ДПС (подається неформально);
- опису подій ДПС (подається неформально).
3. Модель процесів для станів об’єктів у формі:
- діаграми потоків даних дій (ДПДД);
- таблиці процесів станів;
- опису процесів (подається неформально).
Сукупність перелічених продуктів вважається достатньою для переходу до процесу проектування системи, мета і методи
Програмна система розглядається як сукупність визначеного ряду доменів проблемних галузей, кожний з яких є окремим світом, населеним своїми об’єктами, і котрий аналізується незалежно від інших. Продуктом аналізу домену є три складові, які будуються, відповідно, за три етапи, а саме:
- онтологія домену, яку автори даного методу називають інформаційною моделлю системи або інформаційною моделлю домену;
- модель станів об’єктів, визначених у складі інформаційної моделі (або онтології);
- модель процесів, які супроводжують переходи з одного стану в інший.