Академический Документы
Профессиональный Документы
Культура Документы
[Cooling2002]
Holger Giese WS05/06 Software Engineering for Software-Intensive Systems IV Requirements IV-3 Holger Giese WS05/06 Software Engineering for Software-Intensive Systems IV Requirements IV-4
[Thayer&Dorfman1997, p. 29]
Holger Giese WS05/06 Software Engineering for Software-Intensive Systems IV Requirements IV-5 Holger Giese WS05/06 Software Engineering for Software-Intensive Systems IV Requirements IV-6
1
University of Paderborn University of Paderborn
Software Engineering Group Software Engineering Group
Holger Giese WS05/06 Software Engineering for Software-Intensive Systems IV Requirements IV-7 Holger Giese WS05/06 Software Engineering for Software-Intensive Systems IV Requirements IV-8
[Thayer&Dorfman1997, p. 29]
[Thayer&Dorfman1997, p. 29]
Holger Giese WS05/06 Software Engineering for Software-Intensive Systems IV Requirements IV-9 Holger Giese WS05/06 Software Engineering for Software-Intensive Systems IV Requirements IV-10
Holger Giese WS05/06 Software Engineering for Software-Intensive Systems IV Requirements IV-11 Holger Giese WS05/06 Software Engineering for Software-Intensive Systems IV Requirements IV-12
2
University of Paderborn University of Paderborn
Software Engineering Group Software Engineering Group
Holger Giese WS05/06 Software Engineering for Software-Intensive Systems IV Requirements IV-13 Holger Giese WS05/06 Software Engineering for Software-Intensive Systems IV Requirements IV-14
Holger Giese WS05/06 Software Engineering for Software-Intensive Systems IV Requirements IV-15 Holger Giese WS05/06 Software Engineering for Software-Intensive Systems IV Requirements IV-16
Holger Giese WS05/06 Software Engineering for Software-Intensive Systems IV Requirements IV-17 Holger Giese WS05/06 Software Engineering for Software-Intensive Systems IV Requirements IV-18
3
University of Paderborn University of Paderborn
Software Engineering Group Software Engineering Group
Holger Giese WS05/06 Software Engineering for Software-Intensive Systems IV Requirements IV-19 Holger Giese WS05/06 Software Engineering for Software-Intensive Systems IV Requirements IV-20
Holger Giese WS05/06 Software Engineering for Software-Intensive Systems IV Requirements IV-23 Holger Giese WS05/06 Software Engineering for Software-Intensive Systems IV Requirements IV-24
4
University of Paderborn University of Paderborn
Software Engineering Group Software Engineering Group
Requirement Management: the planning A system of any but the smallest size will
and controlling of the requirements be decomposed into a hierarchy of
elicitation, specification, analysis, and elements (partitioning):
verification activities. This is reflected at the requirement level by:
(1) Allocation: assigning requirements to
elements
(2) Flowdown: requirements which respond to the
allocated highel level requirements
(3) Traceability: keep track of the dependencies
[Thayer&Dorfman1997]
Holger Giese WS05/06 Software Engineering for Software-Intensive Systems IV Requirements IV-25 Holger Giese WS05/06 Software Engineering for Software-Intensive Systems IV Requirements IV-26
[Coolman2002]
Naive view
Distinction:
For complex Design solution: HOW to achieve something
systems due to Requirements: WHAT to achieve
allocation and
Two cases where a requirements and desigin solutions are mixed up:
flowdown the The customer mandates a design solution as a requirement
requirement Design solution (HOW): provide a database for X
Requirements (WHAT): capabilities for navigation and sort for X
engineering Otherwise:
continues during [Coolman2002]
Restrict design space
Risk to miss requirements: ask WHY!
the design (and A derived requirement which is actually a design solution and no
requirement
implementation) See allocation and flowdown
phase
Often alternation of requirements analysis and design
One persons design is the next persons requirements
Holger Giese WS05/06 Software Engineering for Software-Intensive Systems IV Requirements IV-27 Holger Giese WS05/06 Software Engineering for Software-Intensive Systems IV Requirements IV-28
Holger Giese WS05/06 Software Engineering for Software-Intensive Systems IV Requirements IV-29 Holger Giese WS05/06 Software Engineering for Software-Intensive Systems IV Requirements IV-30
5
University of Paderborn University of Paderborn
Software Engineering Group Software Engineering Group
Holger Giese WS05/06 Software Engineering for Software-Intensive Systems IV Requirements IV-31 Holger Giese WS05/06 Software Engineering for Software-Intensive Systems IV Requirements IV-32
Holger Giese WS05/06 Software Engineering for Software-Intensive Systems IV Requirements IV-33 Holger Giese WS05/06 Software Engineering for Software-Intensive Systems IV Requirements IV-34
Holger Giese WS05/06 Software Engineering for Software-Intensive Systems IV Requirements IV-35 Holger Giese WS05/06 Software Engineering for Software-Intensive Systems IV Requirements IV-36
6
University of Paderborn University of Paderborn
Software Engineering Group Software Engineering Group
Holger Giese WS05/06 Software Engineering for Software-Intensive Systems IV Requirements IV-37 Holger Giese WS05/06 Software Engineering for Software-Intensive Systems IV Requirements IV-38
(1)Requirement Diagrams
(2)Use Case Diagrams
(3)Scenarios: Sequence/Activity Diagrams
Holger Giese WS05/06 Software Engineering for Software-Intensive Systems IV Requirements IV-39 Holger Giese WS05/06 Software Engineering for Software-Intensive Systems IV Requirements IV-40
Holger Giese WS05/06 Software Engineering for Software-Intensive Systems IV Requirements IV-41 Holger Giese WS05/06 Software Engineering for Software-Intensive Systems IV Requirements IV-42
7
University of Paderborn University of Paderborn
Software Engineering Group Software Engineering Group
Example [SysML1.0alpha]
Derived Requirement [SysML1.0alpha]
Holger Giese WS05/06 Software Engineering for Software-Intensive Systems IV Requirements IV-45 Holger Giese WS05/06 Software Engineering for Software-Intensive Systems IV Requirements IV-46
Holger Giese WS05/06 Software Engineering for Software-Intensive Systems IV Requirements IV-47 Holger Giese WS05/06 Software Engineering for Software-Intensive Systems IV Requirements IV-48
8
University of Paderborn University of Paderborn
Software Engineering Group Software Engineering Group
Traceability [SysML1.0alpha]
(2) Views & Viewpoints [SysML1.0alpha]
Holger Giese WS05/06 Software Engineering for Software-Intensive Systems IV Requirements IV-49 Holger Giese WS05/06 Software Engineering for Software-Intensive Systems IV Requirements IV-50
Examples [SysML1.0alpha]
(2) Use Case Diagram [SysML1.0alpha]
Aids by establishing:
the scope and context of the system under
development (:HybridSUV),
identifying key external entities (people,
external systems, etc.) that interact with the
system along with the associated external
interfaces, and
providing the initial high level decomposition
of behavior according to key system threads
or scenarios.
Holger Giese WS05/06 Software Engineering for Software-Intensive Systems IV Requirements IV-51 Holger Giese WS05/06 Software Engineering for Software-Intensive Systems IV Requirements IV-52
See Chapter V
Holger Giese WS05/06 Software Engineering for Software-Intensive Systems IV Requirements IV-53 Holger Giese WS05/06 Software Engineering for Software-Intensive Systems IV Requirements IV-54
9
University of Paderborn University of Paderborn
Software Engineering Group Software Engineering Group
Holger Giese WS05/06 Software Engineering for Software-Intensive Systems IV Requirements IV-55 Holger Giese WS05/06 Software Engineering for Software-Intensive Systems IV Requirements IV-56
G1 is
G1 is achieved if
achieved if either
G1.1 an G1.1 or
G1.2 are G1.2 is
achieved achieved
Conflict Detection:
Manual treatment does not scale up well
Alternative: re-express each goal formally and then use a theorem
prover to detect inconsistencies, i.e. conflict.
Conflict resolution:
return to the stakeholders who own the conflicting goals to see
whether they would be prepared to accept a compromise (satisficing).
Using only the goal with the highest priority
Holger Giese WS05/06 Software Engineering for Software-Intensive Systems IV Requirements IV-59 Holger Giese WS05/06 Software Engineering for Software-Intensive Systems IV Requirements IV-60
10
University of Paderborn University of Paderborn
Software Engineering Group Software Engineering Group
University of Paderborn
Software Engineering Group
Holger Giese WS05/06 Software Engineering for Software-Intensive Systems IV Requirements IV-63
11