Translate

неділя, 7 квітня 2013 р.

Типи аспектів в Blueprint документах


В Blueprint документах є три типи аспектів : precedent, reaction, aspect. Кожний аспект містить псевдокод який записуєтся всередині тегу algorithm.
1. precedent - аспект для виконання алгоритму якого мають виконуватись передумови які запистуются в тезі preconditions, також може містити післяумови свого виконання у вигляді бульових тверджень в тезі postconditions.
2. reaction - аспект для виконання алгоритму якого система повинна перебувати в стані який записуєтся набором логічних виразів в тезі state. Для логічних виразів використовуєтся тег condition з атребутом assertion, в якому записуєтся логічний вираз, і необовязковим атребутом function, для посилання на функцію всередині документу.
3. aspect - аспект алгоритм якого має бути всередині функції з якоїсь точки зору, яка записуєтся в тезі viewpoint. Тег viewpoint може мати атрибут responsibility для посилання на відповідальність класу.