www.wileyeurope .com/college/van lamsweerde Chap.4: Requirements Specification & Documentation © 2009 John Wiley and Sons 1 www.wileyeurope .com/college/van lamsweerde Chap.4: Requirements Specification & Documentation © 2009 John Wiley and Sons 2 !" #$ 3 www.wileyeurope .com/college/van lamsweerde Chap.4: Requirements Specification & Documentation © 2009 John Wiley and Sons start !%&' ! !%(' ) ! alternative options agreed requirements documented requirements consolidated requirements !%"' !%"' # # ! ! !%*' 4 www.wileyeurope .com/college/van lamsweerde Chap.4: Requirements Specification & Documentation © 2009 John Wiley and Sons #' !*%%% +! , /)00)0 100. , 20 , 2)#) -3!! $.. , -'020)! ' $ $4$5 5 www.wileyeurope .com/college/van lamsweerde Chap.4: Requirements Specification & Documentation © 2009 John Wiley and Sons #' $ , , .3!$ , '0.0 , '6! , )'$7 , 8' , ' , 8') , .!)'! , '6 , 8)06) 6 www.wileyeurope .com/college/van lamsweerde Chap.4: Requirements Specification & Documentation © 2009 John Wiley and Sons #' 4&5 , .3 , 96. , 6. , )6. , . 7 www.wileyeurope .com/college/van lamsweerde Chap.4: Requirements Specification & Documentation © 2009 John Wiley and Sons 4:5%%% )0.0 +!#4% !%*5 80 . .!:;.! “Full braking shall be activated by any train that receives an outdated acceleration command or or that enters a station block at speed higher than X m.p.h. and for which and for which the preceding train is closer than Y yards.” ): , %%' If Case1 then <Statement1> or if Case2 then <Statement2> 4true<5 )% If Case1 then <Statement1> and if Case2 then <Statement2> 8 www.wileyeurope .com/college/van lamsweerde Chap.4: Requirements Specification & Documentation © 2009 John Wiley and Sons $:' :0%% − 8!!; − !. − )03 − 2). − =2' >8!!.?8!!?8! )?@ − :) ! 0 0 %=!% − >!@ 0 >!@ . − )/# − ). − ! 4!.25 9 www.wileyeurope .com/college/van lamsweerde Chap.4: Requirements Specification & Documentation © 2009 John Wiley and Sons $:' 4&5 . .. Train receives outdated acceleration command T T T T F F F F Train enters station block at speed ≥ X mph T T F F T T F F Preceding train is closer than Y yards T F T F T F T F Full braking activated X X X Alarm generated to station computer X X X X 6 ! !6 .!!) A:$6. 00.%%% , !2' & & : : . , 7.'.); &.>7@0>@AB>6@ , 746)5 10 www.wileyeurope .com/college/van lamsweerde Chap.4: Requirements Specification & Documentation © 2009 John Wiley and Sons $:' 4(5 3 8 8 66);!! 66000 00%%% 66 66.45 66. 66.#. 8 866.0!! + +)66#3 . .0 )66! [...]... www.wileyeurope com/college/van lamsweerde Chap.4: Requirements Specification & Documentation © 2009 John Wiley and Sons 15 Requirements specification & documentation: outline Free documentation in unrestricted natural language Disciplined documentation in structured natural language – Local rules on writing statements – Global rules on organizing the Requirements Document Use of diagrammatic notations... Resolver suboperation operation performer Chap.4: Requirements Specification & Documentation © 2009 John Wiley and Sons 31 Requirements specification & documentation: outline Free documentation in unrestricted natural language Disciplined documentation in structured natural language – Local rules on writing statements – Global rules on organizing the Requirements Document Use of diagrammatic notations... errors & flaws e.g annotation for Participant: “Person expected to attend the meeting, at least partially, under some specific role Appears in the system when the meeting is initiated and disappears when the meeting is no longer relevant to the system” www.wileyeurope com/college/van lamsweerde Chap.4: Requirements Specification & Documentation © 2009 John Wiley and Sons 23 Requirements specification & documentation: ... platform, ) 2.5 Assumptions & Dependencies environment assumptions 2.6 Apportioning of requirements (subject to change) 3 Specific Requirements optional, deferable reqs www.wileyeurope com/college/van lamsweerde Chap.4: Requirements Specification & Documentation © 2009 John Wiley and Sons 13 IEEE Std-830 template for organizing the RD 3 Specific Requirements 3.1 Functional requirements 3.2 External interface... attribute 1 1 Initiator A meeting invites at least 1 up to an arbitrary number of participants Multiplicities may capture requirements or domain properties No distinction between prescriptive & descriptive www.wileyeurope com/college/van lamsweerde Chap.4: Requirements Specification & Documentation © 2009 John Wiley and Sons 22 Entity-relationship diagrams (2) Entity specialization: subclass of concept... displays inside trains shall be informative & understandable Fit criterion: A survey after 3 months of use should reveal that at least criterion 75% of travelers found in-train info displays helpful for finding their connection www.wileyeurope com/college/van lamsweerde Chap.4: Requirements Specification & Documentation © 2009 John Wiley and Sons 11 Disciplined documentation in structured NL: global rules... event) www.wileyeurope com/college/van lamsweerde Chap.4: Requirements Specification & Documentation © 2009 John Wiley and Sons 17 System scope: problem diagrams More detailed form of context diagram: highlights – the Machine among system components – for shared phenomenon: who controls it, who monitors it – requirements, components affected by them requirements Handbrake Controller Machine HC ! handbrake.Sw... one side: min & max number of entity instances, on this Multiplicity side, linkable at same time to single tuple of entity instances on the other sides e.g Invitation linking Participant and Meeting Attribute: feature intrinsic to an entity or a relationship Attribute – has range of values e.g Date of Meeting www.wileyeurope com/college/van lamsweerde Chap.4: Requirements Specification & Documentation. .. responses: R-net diagrams Integrating multiple system views, multi-view spec in UML www.wileyeurope com/college/van lamsweerde Chap.4: Requirements Specification & Documentation © 2009 John Wiley and Sons 24 Activities and data: SADT diagrams Capture activities & data in the system (as-is or to-be) Actigram: relates activities through data dependency links Actigram – East → : input data; West... Constraints participantConstraints system component www.wileyeurope com/college/van lamsweerde data repository Chap.4: Requirements Specification & Documentation © 2009 John Wiley and Sons 29 System operations: use case diagrams Capture operations to be performed by a system component & interactions with other components – yet simpler, outline view but vague – to be made precise by annotations, interaction . yards.” ): , %%' If Case1 then <Statement1> or if Case2 then <Statement2> 4true<5 )% If Case1 then <Statement1> and if Case2 then <Statement2> 8 www.wileyeurope. Chap.4: Requirements Specification & Documentation © 2009 John Wiley and Sons start !%&' ! !%(' ) ! alternative options agreed requirements documented. !2' & & : : . , 7.'.); &.>7@0>@AB>6@ , 746)5 10 www.wileyeurope