goal-oriented requirements engineering (gore)chung/sysm6309/gore-classical.pdf · goal-oriented...
TRANSCRIPT
![Page 1: Goal-Oriented Requirements Engineering (GORE)chung/SYSM6309/GORE-classical.pdf · Goal-Oriented Requirements Engineering (GORE) ... What is Goal-Oriented Requirements Engineering?](https://reader034.vdocuments.site/reader034/viewer/2022051407/5b405bb27f8b9a51528d1c12/html5/thumbnails/1.jpg)
Goal-Oriented
Requirements Engineering
(GORE)
� Why and What?
©Lawrence Chung
� Why and What?
� Classical Logic Approach
� Traceability
![Page 2: Goal-Oriented Requirements Engineering (GORE)chung/SYSM6309/GORE-classical.pdf · Goal-Oriented Requirements Engineering (GORE) ... What is Goal-Oriented Requirements Engineering?](https://reader034.vdocuments.site/reader034/viewer/2022051407/5b405bb27f8b9a51528d1c12/html5/thumbnails/2.jpg)
Why Goal-Oriented Requirements Engineering?
![Page 3: Goal-Oriented Requirements Engineering (GORE)chung/SYSM6309/GORE-classical.pdf · Goal-Oriented Requirements Engineering (GORE) ... What is Goal-Oriented Requirements Engineering?](https://reader034.vdocuments.site/reader034/viewer/2022051407/5b405bb27f8b9a51528d1c12/html5/thumbnails/3.jpg)
Completeness: A Reference Model Perspective[p. Zave and M. Jackson, Four Dark Corners of Requirements Engineering. ACM
Transactions on Software Engineering and Methodology 6(1) 1-30. ACM Press. 1997.
If the five following criteria are satisfied, then
requirements engineering, in the strongest sense, is complete.
©Lawrence Chung
![Page 4: Goal-Oriented Requirements Engineering (GORE)chung/SYSM6309/GORE-classical.pdf · Goal-Oriented Requirements Engineering (GORE) ... What is Goal-Oriented Requirements Engineering?](https://reader034.vdocuments.site/reader034/viewer/2022051407/5b405bb27f8b9a51528d1c12/html5/thumbnails/4.jpg)
The requirements are complete
if they are sufficient to establish the goal they are refining[K. Yue, “What Does It Mean to Say that a Specification is Complete?’, Proc. IWSSD-4, Fourth International Workshop on Software Specification and Design, Monterey, 1987.]
©Lawrence Chung
Teleology (Greek: telos: end, purpose) is the philosophical study of design and
purpose.
A teleological school of thought is one that holds all things to be designed for,
or directed toward, a final result, that there is an inherent purpose or final cause
for all that exists.
[Wikipedia]
![Page 5: Goal-Oriented Requirements Engineering (GORE)chung/SYSM6309/GORE-classical.pdf · Goal-Oriented Requirements Engineering (GORE) ... What is Goal-Oriented Requirements Engineering?](https://reader034.vdocuments.site/reader034/viewer/2022051407/5b405bb27f8b9a51528d1c12/html5/thumbnails/5.jpg)
How to Elicit?
Goal-oriented Requirements Elicitation
Refresher
Where is Use Case Diagram?
©Lawrence Chung
![Page 6: Goal-Oriented Requirements Engineering (GORE)chung/SYSM6309/GORE-classical.pdf · Goal-Oriented Requirements Engineering (GORE) ... What is Goal-Oriented Requirements Engineering?](https://reader034.vdocuments.site/reader034/viewer/2022051407/5b405bb27f8b9a51528d1c12/html5/thumbnails/6.jpg)
interleaving,
What is Goal-Oriented Requirements Engineering?
©Lawrence Chung
iterative
![Page 7: Goal-Oriented Requirements Engineering (GORE)chung/SYSM6309/GORE-classical.pdf · Goal-Oriented Requirements Engineering (GORE) ... What is Goal-Oriented Requirements Engineering?](https://reader034.vdocuments.site/reader034/viewer/2022051407/5b405bb27f8b9a51528d1c12/html5/thumbnails/7.jpg)
GORE: Classical Logic Approach
©Lawrence Chung
![Page 8: Goal-Oriented Requirements Engineering (GORE)chung/SYSM6309/GORE-classical.pdf · Goal-Oriented Requirements Engineering (GORE) ... What is Goal-Oriented Requirements Engineering?](https://reader034.vdocuments.site/reader034/viewer/2022051407/5b405bb27f8b9a51528d1c12/html5/thumbnails/8.jpg)
©Lawrence Chung
www.bmigaming.com
![Page 9: Goal-Oriented Requirements Engineering (GORE)chung/SYSM6309/GORE-classical.pdf · Goal-Oriented Requirements Engineering (GORE) ... What is Goal-Oriented Requirements Engineering?](https://reader034.vdocuments.site/reader034/viewer/2022051407/5b405bb27f8b9a51528d1c12/html5/thumbnails/9.jpg)
©Lawrence Chung
H :- B1, ;, Bn. to show/solve H, show/solve B1 and � and Bn.
e.g.,
sibling(X,Y) :- parent(Z,X), parent(Z,Y).
parent(X,Y) :- father(X,Y).
parent(X,Y) :- mother(X,Y).
![Page 10: Goal-Oriented Requirements Engineering (GORE)chung/SYSM6309/GORE-classical.pdf · Goal-Oriented Requirements Engineering (GORE) ... What is Goal-Oriented Requirements Engineering?](https://reader034.vdocuments.site/reader034/viewer/2022051407/5b405bb27f8b9a51528d1c12/html5/thumbnails/10.jpg)
©Lawrence Chung
![Page 11: Goal-Oriented Requirements Engineering (GORE)chung/SYSM6309/GORE-classical.pdf · Goal-Oriented Requirements Engineering (GORE) ... What is Goal-Oriented Requirements Engineering?](https://reader034.vdocuments.site/reader034/viewer/2022051407/5b405bb27f8b9a51528d1c12/html5/thumbnails/11.jpg)
©Lawrence Chung
![Page 12: Goal-Oriented Requirements Engineering (GORE)chung/SYSM6309/GORE-classical.pdf · Goal-Oriented Requirements Engineering (GORE) ... What is Goal-Oriented Requirements Engineering?](https://reader034.vdocuments.site/reader034/viewer/2022051407/5b405bb27f8b9a51528d1c12/html5/thumbnails/12.jpg)
©Lawrence Chung
![Page 13: Goal-Oriented Requirements Engineering (GORE)chung/SYSM6309/GORE-classical.pdf · Goal-Oriented Requirements Engineering (GORE) ... What is Goal-Oriented Requirements Engineering?](https://reader034.vdocuments.site/reader034/viewer/2022051407/5b405bb27f8b9a51528d1c12/html5/thumbnails/13.jpg)
More on Traceability
©Lawrence Chung
What would be “forward traceability”?
What would be “backward traceability”?
Traceability matrix vs. graph-oriented traceability?
![Page 14: Goal-Oriented Requirements Engineering (GORE)chung/SYSM6309/GORE-classical.pdf · Goal-Oriented Requirements Engineering (GORE) ... What is Goal-Oriented Requirements Engineering?](https://reader034.vdocuments.site/reader034/viewer/2022051407/5b405bb27f8b9a51528d1c12/html5/thumbnails/14.jpg)
Requirements Traceability Matrix
• A traceability matrix is created by associating requirements with the work products that satisfy them. Tests are associated with the requirements on which they are based and the product tested to
meet the requirement.[http://www.jiludwig.com/Traceability_Matrix_Structure.html]
©Lawrence Chung
[http://www.jiludwig.com/Traceability_Matrix_Structure.html]
Sample Traceability Matrix
Eliminate, rewrite, or correct traceability?
![Page 15: Goal-Oriented Requirements Engineering (GORE)chung/SYSM6309/GORE-classical.pdf · Goal-Oriented Requirements Engineering (GORE) ... What is Goal-Oriented Requirements Engineering?](https://reader034.vdocuments.site/reader034/viewer/2022051407/5b405bb27f8b9a51528d1c12/html5/thumbnails/15.jpg)
Requirements Traceability Matrix: Variations
http://departmentforms.dpsk12.org/dots/smedocs/requirements%20traceability%20matrix.pdf
©Lawrence Chung
http://www.fns.usda.gov/wic/StateInformationSystems/FReD/AppendixAFRED-ERTMVersion1.0Summer2002.pdf