0D\UDQJHIURP - - PDF document

• 0D\UDQJHIURP

DKLJKOHYHODEVWUDFWVWDWHPHQWRIDVHUYLFH RU DVWDWHPHQWRIDV\VWHPFRQVWUDLQWWRD GHWDLOHGPDWKHPDWLFDOIXQFWLRQDOVSHFLILFDWLRQ

5HTXLUHPHQWVPD\EHXVHGIRU

DELGIRUDFRQWUDFW

PXVWEHRSHQWRLQWHUSUHWDWLRQ

WKHEDVLVIRUWKHFRQWUDFWLWVHOI

PXVWEHGHILQHGLQGHWDLO

%RWKWKHDERYHVWDWHPHQWVPD\EHFDOOHG UHTXLUHPHQWV

ECLIPSE/Workstation/Tools/DE/FS/3.5.1 Function Add node Description Adds a node to an existing design. The user selects the type of node, and its position. When added to the design, the node becomes the current selection. The user chooses the node position by moving the cursor to the area where the node is added. Inputs Node type, Node position, Design identifier. Source Node type and Node position are input by the user, Design identifier from the database. Outputs Design identifier. Destination The design database. The design is committed to the database on completion of the

• peration.

Requires Design graph rooted at input design identifier. Pre-condition The design is open and displayed on the user’s screen. Post-condition The design is unchanged apart from the addition of a node of the specified type at the given position. Side-effects None Definition: ECLIPSE/Workstation/Tools/DE/RD/3.5.1

• ……

4.A.5 The database shall support the generation and control of configuration objects; that is, objects which are themselves groupings

• f other objects in the database. The configuration control facilities

shall allow access to the objects in a version group by the use of an incomplete name. …… …… 4.A.5 The database shall support the generation and control of configuration objects; that is, objects which are themselves groupings

• f other objects in the database. The configuration control facilities

shall allow access to the objects in a version group by the use of an incomplete name. ……

• :ULWWHQIRUFXVWRPHUV

8VHUUHTXLUHPHQWV

6WDWHPHQWVLQQDWXUDOODQJXDJHSOXVGLDJUDPVRIWKH VHUYLFHVWKHV\VWHPSURYLGHVDQGLWVRSHUDWLRQDO FRQVWUDLQWV

:ULWWHQDVDFRQWUDFWEHWZHHQFOLHQWDQG FRQWUDFWRU

6\VWHPUHTXLUHPHQWV

$VWUXFWXUHGGRFXPHQWVHWWLQJRXWGHWDLOHG GHVFULSWLRQVRIWKHV\VWHPVHUYLFHV

:ULWWHQIRUGHYHORSHUV

6RIWZDUHVSHFLILFDWLRQ

$GHWDLOHGVRIWZDUHGHVFULSWLRQZKLFKFDQVHUYHDVD EDVLVIRUDGHVLJQRULPSOHPHQWDWLRQ

• 'HVFULEHIXQFWLRQDOLW\RUV\VWHPVHUYLFHV

'HSHQGRQWKHW\SHRIVRIWZDUH H[SHFWHGXVHUVDQGWKHW\SHRIV\VWHP ZKHUHWKHVRIWZDUHLVXVHG )XQFWLRQDOXVHUUHTXLUHPHQWVPD\EH KLJKOHYHOVWDWHPHQWVRIZKDWWKH V\VWHPVKRXOGGREXWIXQFWLRQDOV\VWHP UHTXLUHPHQWVVKRXOGGHVFULEHWKHV\VWHP VHUYLFHVLQGHWDLO

• 7KHXVHUVKDOOEHDEOHWRVHDUFKHLWKHU

DOORIWKHLQLWLDOVHWRIGDWDEDVHVRU VHOHFWDVXEVHWIURPLW 7KHV\VWHPVKDOOSURYLGHDSSURSULDWH YLHZHUVIRUWKHXVHUWRUHDGGRFXPHQWV LQWKHGRFXPHQWVWRUH (YHU\RUGHUVKDOOEHDOORFDWHGDXQLTXH LGHQWLILHU25'(5B,'ZKLFKWKHXVHU VKDOOEHDEOHWRFRS\WRWKHDFFRXQWV SHUPDQHQWVWRUDJHDUHD 7KHXVHUVKDOOEHDEOHWRVHDUFKHLWKHU DOORIWKHLQLWLDOVHWRIGDWDEDVHVRU VHOHFWDVXEVHWIURPLW 7KHV\VWHPVKDOOSURYLGHDSSURSULDWH YLHZHUVIRUWKHXVHUWRUHDGGRFXPHQWV LQWKHGRFXPHQWVWRUH (YHU\RUGHUVKDOOEHDOORFDWHGDXQLTXH LGHQWLILHU25'(5B,'ZKLFKWKHXVHU VKDOOEHDEOHWRFRS\WRWKHDFFRXQWV SHUPDQHQWVWRUDJHDUHD

• 3UREOHPVDULVHZKHQUHTXLUHPHQWVDUH

QRWSUHFLVHO\VWDWHG $PELJXRXVUHTXLUHPHQWVPD\EH LQWHUSUHWHGLQGLIIHUHQWZD\VE\ GHYHORSHUVDQGXVHUV &RQVLGHUWKHWHUPDSSURSULDWHYLHZHUV

8VHULQWHQWLRQ VSHFLDOSXUSRVHYLHZHUIRU HDFKGLIIHUHQWGRFXPHQWW\SH 'HYHORSHULQWHUSUHWDWLRQ 3URYLGHDWH[W YLHZHUWKDWVKRZVWKHFRQWHQWVRIWKH GRFXPHQW

• ,QSULQFLSOHUHTXLUHPHQWVVKRXOGEHERWK

FRPSOHWHDQGFRQVLVWHQW &RPSOHWH

7KH\VKRXOGLQFOXGHGHVFULSWLRQVRIDOO IDFLOLWLHVUHTXLUHG

&RQVLVWHQW

7KHUHVKRXOGEHQRFRQIOLFWVRU FRQWUDGLFWLRQVLQWKHGHVFULSWLRQVRIWKH V\VWHPIDFLOLWLHV

,QSUDFWLFHLWLVGLIILFXOW"LPSRVVLEOH" WRSURGXFHDFRPSOHWHDQGFRQVLVWHQW UHTXLUHPHQWVGRFXPHQW

• ,WVKDOOEHSRVVLEOHIRUDOOQHFHVVDU\

FRPPXQLFDWLRQEHWZHHQWKH$36(DQG WKHXVHUWREHH[SUHVVHGLQWKHVWDQGDUG $GD FKDUDFWHUVHW 7KHV\VWHPGHYHORSPHQWSURFHVVDQG GHOLYHUDEOHGRFXPHQWVVKDOOFRQIRUPWR WKHSURFHVVDQGGHOLYHUDEOHVGHILQHGLQ ;<=&R6367$1 7KHV\VWHPVKDOOQRWGLVFORVHDQ\ SHUVRQDOLQIRUPDWLRQDERXWFXVWRPHUV DSDUWIURPWKHLUQDPHDQGUHIHUHQFH QXPEHUWRWKHRSHUDWRUVRIWKHV\VWHP ,WVKDOOEHSRVVLEOHIRUDOOQHFHVVDU\ FRPPXQLFDWLRQEHWZHHQWKH$36(DQG WKHXVHUWREHH[SUHVVHGLQWKHVWDQGDUG $GD FKDUDFWHUVHW 7KHV\VWHPGHYHORSPHQWSURFHVVDQG GHOLYHUDEOHGRFXPHQWVVKDOOFRQIRUPWR WKHSURFHVVDQGGHOLYHUDEOHVGHILQHGLQ ;<=&R6367$1 7KHV\VWHPVKDOOQRWGLVFORVHDQ\ SHUVRQDOLQIRUPDWLRQDERXWFXVWRPHUV DSDUWIURPWKHLUQDPHDQGUHIHUHQFH QXPEHUWRWKHRSHUDWRUVRIWKHV\VWHP

• 'HILQHV\VWHPSURSHUWLHVDQGFRQVWUDLQWV

HJUHOLDELOLW\UHVSRQVHWLPHDQG VWRUDJHUHTXLUHPHQWV&RQVWUDLQWVDUH ,2GHYLFHFDSDELOLW\V\VWHP UHSUHVHQWDWLRQVHWF 3URFHVVUHTXLUHPHQWVPD\DOVREH VSHFLILHGPDQGDWLQJDSDUWLFXODUV\VWHP SURJUDPPLQJODQJXDJHRUGHYHORSPHQW PHWKRG 1RQIXQFWLRQDOUHTXLUHPHQWVPD\EH PRUHFULWLFDOWKDQIXQFWLRQDO UHTXLUHPHQWV,IWKHVHDUHQRWPHWWKH V\VWHPLVXVHOHVV

• 3URGXFWUHTXLUHPHQWV

5HTXLUHPHQWVZKLFKVSHFLI\WKDWWKH GHOLYHUHGSURGXFWPXVWEHKDYHLQDSDUWLFXODU ZD\HJH[HFXWLRQVSHHGUHOLDELOLW\HWF

2UJDQL]DWLRQDOUHTXLUHPHQWV

5HTXLUHPHQWVZKLFKDUHDFRQVHTXHQFHRI RUJDQL]DWLRQDOSROLFLHVDQGSURFHGXUHVHJ SURFHVVVWDQGDUGVXVHGLPSOHPHQWDWLRQ UHTXLUHPHQWVHWF

([WHUQDOUHTXLUHPHQWV

5HTXLUHPHQWVZKLFKDULVHIURPIDFWRUVZKLFK DUHH[WHUQDOWRWKHV\VWHPDQGLWV GHYHORSPHQWSURFHVVHJLQWHURSHUDELOLW\ UHTXLUHPHQWVOHJLVODWLYHUHTXLUHPHQWVHWF

• Usability

Requirements Performance Requirements Space Requirements Efficiency Requirements Reliability Requirements Portability Requirements Product Requirements Delivery Requirements Implementation Standards Requirements Organizational Requirements Interoperability Requirements Ethical Requirements Privacy Requirements Safety Requirements Legislative Requirements External Requirements Non-functional Requirements

• 3URGXFWUHTXLUHPHQW

&,WVKDOOEHSRVVLEOHIRUDOOQHFHVVDU\ FRPPXQLFDWLRQEHWZHHQWKH$36(DQGWKHXVHUWR EHH[SUHVVHGLQWKHVWDQGDUG$GD FKDUDFWHUVHW

2UJDQL]DWLRQDOUHTXLUHPHQW

7KHV\VWHPGHYHORSPHQWSURFHVVDQG GHOLYHUDEOHGRFXPHQWVVKDOOFRQIRUPWRWKH SURFHVVDQGGHOLYHUDEOHVGHILQHGLQ;<=&R63 67$1

([WHUQDOUHTXLUHPHQW

7KHV\VWHPVKDOOQRWGLVFORVHDQ\SHUVRQDO LQIRUPDWLRQDERXWFXVWRPHUVDSDUWIURPWKHLU QDPHDQGUHIHUHQFHQXPEHUWRWKHRSHUDWRUVRI WKHV\VWHP

• 1RQIXQFWLRQDOUHTXLUHPHQWVPD\EHYHU\

GLIILFXOWWRVWDWHSUHFLVHO\DQGLPSUHFLVH UHTXLUHPHQWVPD\EHGLIILFXOWWRYHULI\ *RDO

$JHQHUDOLQWHQWLRQRIWKHXVHUVXFKDVHDVH RIXVH

9HULILDEOHQRQIXQFWLRQDOUHTXLUHPHQW

$VWDWHPHQWXVLQJVRPHPHDVXUHWKDWFDQEH REMHFWLYHO\WHVWHG

*RDOVDUHKHOSIXOWRGHYHORSHUVDVWKH\ FRQYH\WKHLQWHQWLRQVRIWKHV\VWHP XVHUV

• $V\VWHPJRDO

7KHV\VWHPVKRXOGEHHDV\WRXVHE\ H[SHULHQFHGFRQWUROOHUVDQGVKRXOGEH RUJDQL]HGLQVXFKDZD\WKDWXVHUHUURUVDUH PLQLPL]HG

$YHULILDEOHQRQIXQFWLRQDOUHTXLUHPHQW

([SHULHQFHGFRQWUROOHUVVKDOOEHDEOHWRXVH DOOWKHV\VWHPIXQFWLRQVDIWHUDWRWDORIWZR KRXUVWUDLQLQJ$IWHUWKLVWUDLQLQJWKH DYHUDJHQXPEHURIHUURUVPDGHE\ H[SHULHQFHGXVHUVVKDOOQRWH[FHHGWZRSHU GD\

• 3HUFHQWDJHRIWDUJHWGHSHQGHQWVWDWHPHQWV

1XPEHURIWDUJHWV\VWHPV 3RUWDELOLW\ 7LPHWRUHVWDUWDIWHUIDLOXUH 3HUFHQWDJHRIHYHQWVFDXVLQJIDLOXUH 3UREDELOLW\RIGDWDFRUUXSWLRQRQIDLOXUH 5REXVWQHVV 0HDQWLPHWRIDLOXUH 3UREDELOLW\RIXQDYDLODELOLW\ 5DWHRIIDLOXUHRFFXUUHQFH $YDLODELOLW\ 5HOLDELOLW\ 7UDLQLQJWLPH 1XPEHURIKHOSIUDPHV (DVHRIXVH .%\WHV 1XPEHURI5$0FKLSV 6L]H 3URFHVVHGWUDQVDFWLRQVVHFRQG 8VHUHYHQWUHVSRQVHWLPH 6FUHHQUHIUHVKWLPH 6SHHG

0HDVXUH 3URSHUW\

• &RQIOLFWVEHWZHHQGLIIHUHQWQRQ

IXQFWLRQDOUHTXLUHPHQWVDUHFRPPRQLQ FRPSOH[V\VWHPV 6SDFHFUDIWV\VWHP

7RPLQLPL]HZHLJKWWKHQXPEHURIVHSDUDWH FKLSVLQWKHV\VWHPVKRXOGEHPLQLPL]HG 7RPLQLPL]HSRZHUFRQVXPSWLRQORZHUSRZHU FKLSVVKRXOGEHXVHG +RZHYHUXVLQJORZSRZHUFKLSVPD\PHDQ WKDWPRUHFKLSVKDYHWREHXVHG:KLFKLV WKHPRVWFULWLFDOUHTXLUHPHQW"

• 'HULYHGIURPWKHDSSOLFDWLRQGRPDLQDQG

GHVFULEHV\VWHPFKDUDFWHULVWLFVDQG IHDWXUHVWKDWUHIOHFWWKHGRPDLQ 0D\EHQHZIXQFWLRQDOUHTXLUHPHQWV FRQVWUDLQWVRQH[LVWLQJUHTXLUHPHQWVRU GHILQHVSHFLILFFRPSXWDWLRQV ,IGRPDLQUHTXLUHPHQWVDUHQRW VDWLVILHGWKHV\VWHPPD\EHXQZRUNDEOH

• 7KHUHVKDOOEHDVWDQGDUGXVHULQWHUIDFH

WRDOOGDWDEDVHVZKLFKVKDOOEHEDVHGRQ WKH=VWDQGDUG %HFDXVHRIFRS\ULJKWUHVWULFWLRQVVRPH GRFXPHQWVPXVWEHGHOHWHGLPPHGLDWHO\ RQDUULYDO'HSHQGLQJRQWKHXVHUV UHTXLUHPHQWVWKHVHGRFXPHQWVZLOO HLWKHUEHSULQWHGORFDOO\RQWKHV\VWHP VHUYHUIRUPDQXDOO\IRUZDUGLQJWRWKH XVHURUURXWHGWRDQHWZRUNSULQWHU

• 5HTXLUHPHQWVDUHH[SUHVVHGLQWKH

ODQJXDJHRIWKHDSSOLFDWLRQGRPDLQ 7KLVLVRIWHQQRWXQGHUVWRRGE\ VRIWZDUHHQJLQHHUVGHYHORSLQJWKH V\VWHP 'RPDLQVSHFLDOLVWVXQGHUVWDQGWKHDUHD VRZHOOWKDWWKH\GRQRWWKLQNRI PDNLQJWKHGRPDLQUHTXLUHPHQWV H[SOLFLW

• ……

4.A.5 The database shall support the generation and control of configuration objects; that is, objects which are themselves groupings

• f other objects in the database. The configuration control facilities

shall allow access to the objects in a version group by the use of an incomplete name. …… …… 4.A.5 The database shall support the generation and control of configuration objects; that is, objects which are themselves groupings

• f other objects in the database. The configuration control facilities

shall allow access to the objects in a version group by the use of an incomplete name. ……

• 'HVFULEHVWKHFRQFHSWRIFRQILJXUDWLRQ

FRQWUROIDFLOLWLHV ,QFOXGHVWKHGHWDLOWKDWREMHFWVPD\ EHDFFHVVHGXVLQJDQLQFRPSOHWHQDPH

• ……

2.6 Grid facilities To assist in the positioning of entities on a diagram, the user may turn on a grid in either centimetres or inches, via an

• ption on the control panel. Initially, the grid is off. The grid may be

turned on and off at any time during an editing session and can be toggled between inches and centimetres at any time. A grid option will be provided on the reduce-to-fit view but the number of grid lines shown will be reduced to avoid filling the smaller diagram with grid lines. …… …… 2.6 Grid facilities To assist in the positioning of entities on a diagram, the user may turn on a grid in either centimetres or inches, via an

• ption on the control panel. Initially, the grid is off. The grid may be

turned on and off at any time during an editing session and can be toggled between inches and centimetres at any time. A grid option will be provided on the reduce-to-fit view but the number of grid lines shown will be reduced to avoid filling the smaller diagram with grid lines. ……

• &RQFHSWXDOIXQFWLRQDOUHTXLUHPHQWWKH

QHHGIRUDJULG 1RQIXQFWLRQDOUHTXLUHPHQWJULGXQLWV 1RQIXQFWLRQDO8,UHTXLUHPHQWJULG VZLWFKLQJ

• 3UHFLVLRQLVGLIILFXOWZLWKRXWPDNLQJ

WKHGRFXPHQWGLIILFXOWWRUHDG )XQFWLRQDODQGQRQIXQFWLRQDO UHTXLUHPHQWVWHQGWREHPL[HGXS 6HYHUDOGLIIHUHQWUHTXLUHPHQWVPD\ EHH[SUHVVHGWRJHWKHU

• 2.6 Grid facilities

2.6.1 The editor shall provide a grid facility where a matrix of horizontal and vertical lines provide a background to the editor window. T his grid shall be a p assive grid where the alignment of entities is the user’s responsibility. Rationale: A grid helps the user to create a tidy diagram with well-spaced entities. Although an active grid, where entities ’ snap-to’ grid lines can be useful, the positioning is imprecise. The user is the best person to decide where entities should be positioned. Specification: ECLIPSE/WS/Tools/DE/FS Section 5.6

• 3.5.1 Adding nodes to a design

3.5.1.1 The editor shall provide a f acility for users to add nodes of a specified type to their design. 3.5.1.2 The sequence of actions to add a node should be as follows:

• 1. The user should select the type of node to be added.
• 2. The user should move the cursor to the approximate node position in the diagram and

indicate that the node symbol should be added at that point.

• 3. The user should then drag the node symbol to its final position.

Rationale: The user is the best person to decide where to position a node on the diagram. This approach gives the user direct control over node type selection and positioning. Specification: ECLIPSE/WS/Tools/DE/FS. Section 3.5.1

• $PELJXLW\

7KHUHDGHUVDQGZULWHUVRIWKHUHTXLUHPHQW PXVWLQWHUSUHWWKHVDPHZRUGVLQWKHVDPH ZD\1/LVQDWXUDOO\DPELJXRXVVRWKLVLV YHU\GLIILFXOW

2YHUIOH[LELOLW\

7KHVDPHWKLQJPD\EHVDLGLQDQXPEHURI GLIIHUHQWZD\VLQWKHVSHFLILFDWLRQ

/DFNRIPRGXODULVDWLRQ

1/VWUXFWXUHVDUHLQDGHTXDWHWRVWUXFWXUH V\VWHPUHTXLUHPHQWV

• Notation

Description Structured natural language This approach depends on defining standard forms or templates to express the requirements specification. Design description languages This approach uses a language like a programming language but with more abstract features to specify the requirements by defining an operational model of the system. Graphical notations A graphical language, supplemented by text annotations is used to define the functional requirements for the system. An early example of such a graphical language was SADT (Ross, 1977; Schoman and Ross, 1977). More recently, use- case descriptions (Jacobsen, Christerson et al., 1993) have been used. I discuss these in the following chapter. Mathematical specifications These are notations based on mathematical concepts such as finite-state machines or sets. These unambiguous specifications reduce the arguments between customer and contractor about system functionality. However, most customers don’t understand formal specifications and are reluctant to accept it as a system contract. I discuss formal specification in Chapter 9.

• ECLIPSE/Workstation/Tools/DE/FS/3.5.1

Function Add node Description Adds a node to an existing design. The user selects the type of node, and its position. When added to the design, the node becomes the current selection. The user chooses the node position by moving the cursor to the area where the node is added. Inputs Node type, Node position, Design identifier. Source Node type and Node position are input by the user, Design identifier from the database. Outputs Design identifier. Destination The design database. The design is committed to the database on completion of the

• peration.

Requires Design graph rooted at input design identifier. Pre-condition The design is open and displayed on the user’s screen. Post-condition The design is unchanged apart from the addition of a node of the specified type at the given position. Side-effects None Definition: ECLIPSE/Workstation/Tools/DE/RD/3.5.1

• 5HTXLUHPHQWVPD\EHGHILQHGXVLQJD

ODQJXDJHOLNHDSURJUDPPLQJODQJXDJHEXW ZLWKPRUHIOH[LELOLW\RIH[SUHVVLRQ 0RVWDSSURSULDWHLQWZRVLWXDWLRQV

:KHUHDQRSHUDWLRQLVVSHFLILHGDVDVHTXHQFHRI DFWLRQVDQGWKHRUGHULVLPSRUWDQW :KHQKDUGZDUHDQGVRIWZDUHLQWHUIDFHVKDYHWREH VSHFLILHG

'LVDGYDQWDJHVDUH

7KHSURJUDPGHILQLWLRQODQJXDJH3'/PD\ QRWEHVXIILFLHQWO\H[SUHVVLYHWRGHILQH GRPDLQFRQFHSWV 7KHVSHFLILFDWLRQZLOOEHWDNHQDVDGHVLJQ UDWKHUWKDQDVSHFLILFDWLRQ

• class ATM {

// declarations here public static void main (String args[]) throws InvalidCard { try { thisCard.read () ; // may throw InvalidCard exception pin = KeyPad.readPin () ; attempts = 1 ; while ( !thisCard.pin.equals (pin) & attempts < 4 ) { pin = KeyPad.readPin () ; attempts = attempts + 1 ; } if (!thisCard.pin.equals (pin)) throw new InvalidCard ("Bad PIN"); thisBalance = thisCard.getBalance () ; do { Screen.prompt (" Please select a service ") ; service = Screen.touchKey () ; switch (service) { case Services.withdrawalWithReceipt: receiptRequired = true ;

• 3'/PD\QRWEHVXIILFLHQWO\H[SUHVVLYH

WRH[SUHVVWKHV\VWHPIXQFWLRQDOLW\LQDQ XQGHUVWDQGDEOHZD\ 1RWDWLRQLVRQO\XQGHUVWDQGDEOHWRSHRSOH ZLWKSURJUDPPLQJODQJXDJHNQRZOHGJH 7KHUHTXLUHPHQWPD\EHWDNHQDVD GHVLJQVSHFLILFDWLRQUDWKHUWKDQDPRGHO WRKHOSXQGHUVWDQGWKHV\VWHP

• 0RVWV\VWHPVPXVWRSHUDWHZLWKRWKHU

V\VWHPVDQGWKHRSHUDWLQJLQWHUIDFHV PXVWEHVSHFLILHGDVSDUWRIWKH UHTXLUHPHQWV 7KUHHW\SHVRILQWHUIDFHPD\KDYHWREH GHILQHG

3URFHGXUDOLQWHUIDFHV 'DWDVWUXFWXUHVWKDWDUHH[FKDQJHG 'DWDUHSUHVHQWDWLRQV

)RUPDOQRWDWLRQVDUHDQHIIHFWLYH WHFKQLTXHIRULQWHUIDFHVSHFLILFDWLRQ

• interface PrintServer {

// defines an abstract printer server // requires: interface Printer, interface PrintDoc // provides: initialize, print, displayPrintQueue, cancelPrintJob, switchPrinter void initialize ( Printer p ) ; void print ( Printer p, PrintDoc d ) ; void displayPrintQueue ( Printer p ) ; void cancelPrintJob (Printer p, PrintDoc d) ; void switchPrinter (Printer p1, Printer p2, PrintDoc d) ; } //PrintServer

• 7KHH[DPSOHXVHGKHUHLVDQDXWRWHOOHU

V\VWHPZKLFKSURYLGHVVRPHDXWRPDWHG EDQNLQJVHUYLFHV ,XVHDYHU\VLPSOLILHGV\VWHPZKLFK RIIHUVVRPHVHUYLFHVWRFXVWRPHUVRIWKH EDQNZKRRZQWKHV\VWHPDQGDQDUURZHU UDQJHRIVHUYLFHVWRRWKHUFXVWRPHUV 6HUYLFHVLQFOXGHFDVKZLWKGUDZDO PHVVDJHSDVVLQJVHQGDPHVVDJHWR UHTXHVWDVHUYLFHRUGHULQJDVWDWHPHQW DQGWUDQVIHUULQJIXQGV %DQNFXVWRPHUV 5HSUHVHQWDWLYHVRIRWKHUEDQNV +DUGZDUHDQGVRIWZDUHPDLQWHQDQFH HQJLQHHUV 0DUNHWLQJGHSDUWPHQW %DQNPDQDJHUVDQGFRXQWHUVWDII 'DWDEDVHDGPLQLVWUDWRUVDQGVHFXULW\ VWDII &RPPXQLFDWLRQVHQJLQHHUV 3HUVRQQHOGHSDUWPHQW

• 'DWDVRXUFHVRUVLQNV

9LHZSRLQWVDUHUHVSRQVLEOHIRUSURGXFLQJRUFRQVXPLQJ GDWD $QDO\VLVLQYROYHVFKHFNLQJWKDWGDWDLVSURGXFHGDQG FRQVXPHGDQGWKDWDVVXPSWLRQVDERXWWKHVRXUFHDQG VLQNRIGDWDDUHYDOLG

5HSUHVHQWDWLRQIUDPHZRUNV

9LHZSRLQWVUHSUHVHQWSDUWLFXODUW\SHVRIV\VWHP PRGHO 7KHVHPD\EHFRPSDUHGWRGLVFRYHUUHTXLUHPHQWV WKDWZRXOGEHPLVVHGXVLQJDVLQJOHUHSUHVHQWDWLRQ 3DUWLFXODUO\VXLWDEOHIRUUHDOWLPHV\VWHPV

5HFHLYHUVRIVHUYLFHV

9LHZSRLQWVDUHH[WHUQDOWRWKHV\VWHPDQGUHFHLYH VHUYLFHVIURPLW 0RVWVXLWHGWRLQWHUDFWLYHV\VWHPV

• :LGHO\XVHGDSSURDFKWRUHTXLUHPHQWV

DQDO\VLV'HSHQGVRQWKHDSSOLFDWLRQRID VWUXFWXUHGPHWKRGWRXQGHUVWDQGWKH V\VWHP 0HWKRGVKDYHGLIIHUHQWHPSKDVHV6RPH DUHGHVLJQHGIRUUHTXLUHPHQWVHOLFLWDWLRQ RWKHUVDUHFORVHWRGHVLJQPHWKRGV $YLHZSRLQWRULHQWHGPHWKRG925'LV XVHGDVDQH[DPSOHKHUH,WDOVR LOOXVWUDWHVWKHXVHRIYLHZSRLQWV

• 9LHZSRLQW

,GHQWLILFDWLRQ 9LHZSRLQW ,GHQWLILFDWLRQ 9LHZSRLQW 6WUXFWXULQJ 9LHZSRLQW 6WUXFWXULQJ 9LHZSRLQW 'RFXPHQWDWLRQ 9LHZSRLQW 'RFXPHQWDWLRQ 9LHZSRLQW 6\VWHP 0DSSLQJ 9LHZSRLQW 6\VWHP 0DSSLQJ

• 9LHZSRLQWLGHQWLILFDWLRQ

'LVFRYHUYLHZSRLQWVZKLFKUHFHLYHV\VWHP VHUYLFHVDQGLGHQWLI\WKHVHUYLFHVSURYLGHGWR HDFKYLHZSRLQW

9LHZSRLQWVWUXFWXULQJ

*URXSUHODWHGYLHZSRLQWVLQWRDKLHUDUFK\ &RPPRQVHUYLFHVDUHSURYLGHGDWKLJKHU OHYHOVLQWKHKLHUDUFK\

9LHZSRLQWGRFXPHQWDWLRQ

5HILQHWKHGHVFULSWLRQRIWKHLGHQWLILHG YLHZSRLQWVDQGVHUYLFHV

9LHZSRLQWV\VWHPPDSSLQJ

7UDQVIRUPWKHDQDO\VLVWRDQREMHFWRULHQWHG GHVLJQ

• Viewpoint template

Service template Reference: The viewpoint name. Reference: The service name. Attributes: Attributes providing viewpoint information. Rationale: Reason why the service is provided. Events: A reference to a set of event scenarios describing how the system reacts to viewpoint events. Specification: Reference to a list of service

• specifications. These

may be expressed in different notations. Services A reference to a set of service descriptions. Viewpoints: List of viewpoint names receiving the service. Sub-VPs: The names of sub- viewpoints. Non-functional requirements: Reference to a set of non

• functional

requirements which constrain the service. Provider: Reference to a list of system

• bjects which provide the

service.

• Query

balance Get transactions Cash withdrawal Transaction log Machine supplies Card returning Remote software upgrade Order cheques User interface Account information Message log Software size Invalid user System cost Printe r Security Card retention Stolen card Order statement Remote diagnostics Reliability Update account Funds transfer Message passing Card validation Customer database Manager Account holder Foreign customer Hardware maintenance Bank teller

• 6HUYLFH/LVW

:LWKGUDZFDVK 4XHU\EDODQFH 6HUYLFH/LVW :LWKGUDZFDVK 4XHU\EDODQFH 2UGHUFKHFNV 6HQGPHVVDJH 7UDQVDFWLRQOLVW 2UGHUVWDWHPHQW 7UDQVIHUIXQGV 6HUYLFH/LVW 5XQGLDJQRVWLFV $GGFDVK $GGSDSHU 6HQG0HVVDJH )RUHLJQ&XVWRPHU $FFRXQW+ROGHU %DQN7HOOHU

• 'DWD,QSXW

&DUGGHWDLOV 3,1 $PRXQWUHTXLUHG 0HVVDJH $FFRXQW +ROGHU &RQWURO,QSXW 6WDUWWUDQVDFWLRQ &DQFHOWUDQVDFWLRQ (QGWUDQVDFWLRQ 6HOHFWVHUYLFH

• $FFRXQW

KROGHU )RUHLJQ FXVWRPHU &XVWRPHU 7HOOHU 0DQDJHU (QJLQHHU %DQNVWDII $OO93V

6HUYLFHV 2UGHUFKHFNV 6HQGPHVVDJH 7UDQVDFWLRQOLVW 2UGHUVWDWHPHQW 7UDQVIHUIXQGV 6HUYLFHV :LWKGUDZFDVK 4XHU\EDODQFH

• 5HIHUHQFH

&XVWRPHU

• $WWULEXWHV

$FFRXQWQXPEHU 3,1 6WDUWWUDQVDFWLRQ

• (YHQWV

6HOHFWVHUYLFH &DQFHOWUDQVDFWLRQ (QGWUDQVDFWLRQ

• 6HUYLFHV

&DVKZLWKGUDZDO %DODQFHHQTXLU\

• 6XE93V

$FFRXQWKROGHU )RUHLJQFXVWRPHU

• 5HIHUHQFH

&XVWRPHU

• $WWULEXWHV

$FFRXQWQXPEHU 3,1 6WDUWWUDQVDFWLRQ

• (YHQWV

6HOHFWVHUYLFH &DQFHOWUDQVDFWLRQ (QGWUDQVDFWLRQ

• 6HUYLFHV

&DVKZLWKGUDZDO %DODQFHHQTXLU\

• 6XE93V

$FFRXQWKROGHU )RUHLJQFXVWRPHU

• 5HIHUHQFH
• &DVKZLWKGUDZDO
• 5DWLRQDOH
• 7RLPSURYHFXVWRPHUVHUYLFH

DQGUHGXFHSDSHUZRUN

• 6SHFLILFDWLRQ
• 8VHUVFKRRVHWKLVVHUYLFHE\

SUHVVLQJWKHFDVKZLWKGUDZDO EXWWRQ7KH\WKHQHQWHUWKH DPRXQWUHTXLUHG7KLVLV FRQILUPHGDQGLIWKHIXQGV DUHORZWKHEDODQFHLV GHOLYHUHG

• 93V
• &XVWRPHU
• 1RQIXQFWLRQDOUHTXLUHPHQWV
• 'HOLYHUFDVKZLWKLQPLQXWH

RIDPRXQWEHLQJFRQILUPHG

• 3URYLGHU
• )LOOHGLQODWHU
• 5HIHUHQFH
• &DVKZLWKGUDZDO
• 5DWLRQDOH
• 7RLPSURYHFXVWRPHUVHUYLFH

DQGUHGXFHSDSHUZRUN

• 6SHFLILFDWLRQ
• 8VHUVFKRRVHWKLVVHUYLFHE\

SUHVVLQJWKHFDVKZLWKGUDZDO EXWWRQ7KH\WKHQHQWHUWKH DPRXQWUHTXLUHG7KLVLV FRQILUPHGDQGLIWKHIXQGV DUHORZWKHEDODQFHLV GHOLYHUHG

• 93V
• &XVWRPHU
• 1RQIXQFWLRQDOUHTXLUHPHQWV
• 'HOLYHUFDVKZLWKLQPLQXWH

RIDPRXQWEHLQJFRQILUPHG

• 3URYLGHU
• )LOOHGLQODWHU

• 'DWDSURYLGHGDQGGHOLYHUHG

&RQWUROLQIRUPDWLRQ ([FHSWLRQSURFHVVLQJ 7KHQH[WH[SHFWHGHYHQW

5HWDLQFDUG 5HWDLQFDUG 6WROHQFDUG 6WROHQFDUG 5HWXUQFDUG 5HWXUQFDUG ,QYDOLGFDUG ,QYDOLGFDUG 5HWXUQFDUG 5HWXUQFDUG 7LPHRXW 7LPHRXW

• 8VHU2.

5HWXUQFDUG 5HWXUQFDUG ,QFRUUHFW3,1 ,QFRUUHFW3,1 5HHQWHU3,1 5HHQWHU3,1 ,QFRUUHFW3,1 ,QFRUUHFW3,1 9DOLGDWHXVHU 9DOLGDWHXVHU 5HTXHVW3,1 5HTXHVW3,1 6HOHFW VHUYLFH 6HOHFW VHUYLFH $FFRXQW QXPEHU &DUG 3,1 &DUGSUHVHQW 9DOLGFDUG $FFRXQW 1XPEHU 3,1

(OOLSVHVGDWDSURYLGHGIURP RUGHOLYHUHGWRDYLHZSRLQW (OOLSVHVGDWDSURYLGHGIURP RUGHOLYHUHGWRDYLHZSRLQW &RQWUROLQIRUPDWLRQHQWHUVDQG OHDYHVDWWKHWRSRIHDFKER[ &RQWUROLQIRUPDWLRQHQWHUVDQG OHDYHVDWWKHWRSRIHDFKER[ 'DWDOHDYHVIURPWKH ULJKWRIHDFKER[ 'DWDOHDYHVIURPWKH ULJKWRIHDFKER[ ([FHSWLRQVDUHVKRZQDW WKHERWWRPRIHDFKER[ ([FHSWLRQVDUHVKRZQDW WKHERWWRPRIHDFKER[ 1DPHRIQH[WHYHQWLVLQ VKDGHGER[ 1DPHRIQH[WHYHQWLVLQ VKDGHGER[

• /HQGLQJ6HUYLFHV

&ODVVRI,QWHUDFWLRQV $FWRUV

• /HQGLQJ6HUYLFHV

8VHUDGPLQLVWUDWLRQ &DWDORJ6HUYLFHV /LEUDU\ XVHU 6XSSOLHU /LEUDU\ VWDII

• 8QFDWDORJ LWHP
• %RRNVKRS

VXSSOLHU &DWDORJXHU /LEUDU\VWDII ,WHP /LEUDU\ LWHP ,WHP /LEUDU\ LWHP %RRNV FDWDORJ %RRNV FDWDORJ $FTXLUH &DWDORJLWHP 1HZ 'LVSRVH

• 7KHSURFHVVHVXVHGIRU5(YDU\ZLGHO\

GHSHQGLQJRQWKHDSSOLFDWLRQGRPDLQWKH SHRSOHLQYROYHGDQGWKHRUJDQL]DWLRQ GHYHORSLQJWKHUHTXLUHPHQWV +RZHYHUWKHUHDUHDQXPEHURIJHQHULF DFWLYLWLHVFRPPRQWRDOOSURFHVVHV

5HTXLUHPHQWVHOLFLWDWLRQ 5HTXLUHPHQWVDQDO\VLV 5HTXLUHPHQWVYDOLGDWLRQ 5HTXLUHPHQWVPDQDJHPHQW

• )HDVLELOLW\

6WXG\ )HDVLELOLW\ 6WXG\ 5HTXLUHPHQWV (OLFLWDWLRQ$QDO\VLV 5HTXLUHPHQWV (OLFLWDWLRQ$QDO\VLV 5HTXLUHPHQWV 6SHFLILFDWLRQ 5HTXLUHPHQWV 6SHFLILFDWLRQ 5HTXLUHPHQWV 9DOLGDWLRQ 5HTXLUHPHQWV 9DOLGDWLRQ 5HTXLUHPHQWV 'RFXPHQW 5HTXLUHPHQWV 'RFXPHQW 8VHU6\VWHP 5HTXLUHPHQWV 8VHU6\VWHP 5HTXLUHPHQWV 6\VWHP 0RGHOV 6\VWHP 0RGHOV )HDVLELOLW\ 5HSRUW )HDVLELOLW\ 5HSRUW

• ,IWKHV\VWHPFRQWULEXWHVWR

RUJDQL]DWLRQDOREMHFWLYHV ,IWKHV\VWHPFDQEHHQJLQHHUHGXVLQJ FXUUHQWWHFKQRORJ\DQGZLWKLQEXGJHW ,IWKHV\VWHPFDQEHLQWHJUDWHGZLWK RWKHUV\VWHPVWKDWDUHXVHG

• %DVHGRQLQIRUPDWLRQDVVHVVPHQWZKDWLV

UHTXLUHGLQIRUPDWLRQFROOHFWLRQDQG UHSRUWZULWLQJ 4XHVWLRQVIRUSHRSOHLQWKHRUJDQL]DWLRQ

:KDWLIWKHV\VWHPZDVQWLPSOHPHQWHG" :KDWDUHFXUUHQWSURFHVVSUREOHPV" +RZZLOOWKHSURSRVHGV\VWHPKHOS" :KDWZLOOEHWKHLQWHJUDWLRQSUREOHPV" ,VQHZWHFKQRORJ\QHHGHG":KDWVNLOOV" :KDWIDFLOLWLHVPXVWEHVXSSRUWHGE\WKH SURSRVHGV\VWHP"

• Main Entry: elic·it

Pronunciation: i-’ li-s&t Function: transitive verb Etymology: Latin elicitus, past participle of elicere, from e- + lacere to allure Date: 1605 1 : to draw forth or bring out (something latent or potential) <hypnotism elicited his hidden fears> 2 : to call forth or draw out (as information or a response) <her remarks elicited cheers> Main Entry: elic·it Pronunciation: i-’ li-s&t Function: transitive verb Etymology: Latin elicitus, past participle of elicere, from e- + lacere to allure Date: 1605 1 : to draw forth or bring out (something latent or potential) <hypnotism elicited his hidden fears> 2 : to call forth or draw out (as information or a response) <her remarks elicited cheers>

• 6RPHWLPHVFDOOHGUHTXLUHPHQWVHOLFLWDWLRQ

RUUHTXLUHPHQWVGLVFRYHU\ ,QYROYHVWHFKQLFDOVWDIIZRUNLQJZLWK FXVWRPHUVWRILQGRXWDERXWWKH DSSOLFDWLRQGRPDLQWKHVHUYLFHVWKDWWKH V\VWHPVKRXOGSURYLGHDQGWKHV\VWHPV RSHUDWLRQDOFRQVWUDLQWV 0D\LQYROYHHQGXVHUVPDQDJHUV HQJLQHHUVLQYROYHGLQPDLQWHQDQFHGRPDLQ H[SHUWVWUDGHXQLRQVHWF7KHVHDUH FDOOHGVWDNHKROGHUV

• 6WDNHKROGHUVGRQWNQRZZKDWWKH\UHDOO\

ZDQW 6WDNHKROGHUVH[SUHVVUHTXLUHPHQWVLQ WKHLURZQWHUPV 'LIIHUHQWVWDNHKROGHUVPD\KDYH FRQIOLFWLQJUHTXLUHPHQWV 2UJDQL]DWLRQDODQGSROLWLFDOIDFWRUVPD\ LQIOXHQFHWKHV\VWHPUHTXLUHPHQWV 7KHUHTXLUHPHQWVFKDQJHGXULQJWKH DQDO\VLVSURFHVV1HZVWDNHKROGHUVPD\ HPHUJHDQGWKHEXVLQHVVHQYLURQPHQW FKDQJH

• 5HTXLUHPHQWV

9DOLGDWLRQ 5HTXLUHPHQWV 9DOLGDWLRQ 5HTXLUHPHQWV 'HILQLWLRQ 6SHFLILFDWLRQ 5HTXLUHPHQWV 'HILQLWLRQ 6SHFLILFDWLRQ &ODVVLILFDWLRQ &ODVVLILFDWLRQ 5HTXLUHPHQWV &ROOHFWLRQ 5HTXLUHPHQWV &ROOHFWLRQ 'RPDLQ 8QGHUVWDQGLQJ 'RPDLQ 8QGHUVWDQGLQJ 3ULRULWL]DWLRQ 3ULRULWL]DWLRQ &RQIOLFW 5HVROXWLRQ &RQIOLFW 5HVROXWLRQ 3URFHVV (QWU\

• )L[LQJDUHTXLUHPHQWVHUURUDIWHU

GHOLYHU\PD\FRVWXSWRWLPHVWKH FRVWRIIL[LQJDQLPSOHPHQWDWLRQHUURU

• 9DOLGLW\'RHVWKHV\VWHPSURYLGHWKH

IXQFWLRQVWKDWEHVWVXSSRUWWKH FXVWRPHUVQHHGV" &RQVLVWHQF\$UHWKHUHDQ\UHTXLUHPHQWV FRQIOLFWV" &RPSOHWHQHVV$UHDOOIXQFWLRQVUHTXLUHG E\WKHFXVWRPHULQFOXGHG" 5HDOLVP&DQWKHUHTXLUHPHQWVEH LPSOHPHQWHGJLYHQDYDLODEOHEXGJHWDQG WHFKQRORJ\ 9HULILDELOLW\&DQWKHUHTXLUHPHQWVEH FKHFNHG"

• 5HTXLUHPHQWVUHYLHZV

6\VWHPDWLFPDQXDODQDO\VLVRIWKH UHTXLUHPHQWV

3URWRW\SLQJ

8VLQJDQH[HFXWDEOHPRGHORIWKHV\VWHPWR FKHFNUHTXLUHPHQWV

7HVWFDVHJHQHUDWLRQ

'HYHORSLQJWHVWVIRUUHTXLUHPHQWVWRFKHFN WHVWDELOLW\

$XWRPDWHGFRQVLVWHQF\DQDO\VLV

&KHFNLQJWKHFRQVLVWHQF\RIDVWUXFWXUHG UHTXLUHPHQWVGHVFULSWLRQ

• 5HJXODUUHYLHZVVKRXOGEHKHOGZKLOHWKH

UHTXLUHPHQWVGHILQLWLRQLVEHLQJ IRUPXODWHG %RWKFOLHQWDQGFRQWUDFWRUVWDIIVKRXOG EHLQYROYHGLQUHYLHZV 5HYLHZVPD\EHIRUPDOZLWKFRPSOHWHG GRFXPHQWVRULQIRUPDO*RRG FRPPXQLFDWLRQVEHWZHHQGHYHORSHUV FXVWRPHUVDQGXVHUVFDQUHVROYHSUREOHPV DWDQHDUO\VWDJH

• 5HTXLUHPHQWVPDQDJHPHQWLVWKHSURFHVV

RIPDQDJLQJFKDQJLQJUHTXLUHPHQWVGXULQJ WKHUHTXLUHPHQWVHQJLQHHULQJSURFHVVDQG V\VWHPGHYHORSPHQW 5HTXLUHPHQWVDUHLQHYLWDEO\LQFRPSOHWH DQGLQFRQVLVWHQW

1HZUHTXLUHPHQWVHPHUJHGXULQJWKHSURFHVV DVEXVLQHVVQHHGVFKDQJHDQGDEHWWHU XQGHUVWDQGLQJRIWKHV\VWHPLVGHYHORSHG 'LIIHUHQWYLHZSRLQWVKDYHGLIIHUHQW UHTXLUHPHQWVDQGWKHVHDUHRIWHQ FRQWUDGLFWRU\

• 'XULQJWKHUHTXLUHPHQWVHQJLQHHULQJ

SURFHVV\RXKDYHWRSODQ

5HTXLUHPHQWVLGHQWLILFDWLRQ

• +RZUHTXLUHPHQWVDUHLQGLYLGXDOO\LGHQWLILHG

$FKDQJHPDQDJHPHQWSURFHVV

7KHSURFHVVIROORZHGZKHQDQDO\]LQJDUHTXLUHPHQWV FKDQJH

7UDFHDELOLW\SROLFLHV

7KHDPRXQWRILQIRUPDWLRQDERXWUHTXLUHPHQWV UHODWLRQVKLSVWKDWLVPDLQWDLQHG

&$6(WRROVXSSRUW

7KHWRROVXSSRUWUHTXLUHGWRKHOSPDQDJH UHTXLUHPHQWVFKDQJH

• 7UDFHDELOLW\LVFRQFHUQHGZLWKWKH

UHODWLRQVKLSVEHWZHHQUHTXLUHPHQWVWKHLU VRXUFHVDQGWKHV\VWHPGHVLJQ 6RXUFHWUDFHDELOLW\

/LQNVIURPUHTXLUHPHQWVWRVWDNHKROGHUVZKR SURSRVHGWKHVHUHTXLUHPHQWV

5HTXLUHPHQWVWUDFHDELOLW\

/LQNVEHWZHHQGHSHQGHQWUHTXLUHPHQWV

'HVLJQWUDFHDELOLW\

/LQNVIURPWKHUHTXLUHPHQWVWRWKHGHVLJQ

• Req id 1.1 1.2 1.3 2.1 2.2 2.3 3.1 3.2

1.1 R 1.2 U U R U 1.3 R R 2.1 R U U 2.2 U 2.3 R U 3.1 R 3.2 R

8 XVHVWKHUHTXLUHPHQW5 6RPHRWKHUZHDNHUUHODWLRQVKLS

• 5HTXLUHPHQWVVWRUDJH

5HTXLUHPHQWVVKRXOGEHPDQDJHGLQDVHFXUH PDQDJHGGDWDVWRUH

&KDQJHPDQDJHPHQW

7KHSURFHVVRIFKDQJHPDQDJHPHQWLVD ZRUNIORZSURFHVVZKRVHVWDJHVFDQEH GHILQHGDQGLQIRUPDWLRQIORZEHWZHHQWKHVH VWDJHVSDUWLDOO\DXWRPDWHG

7UDFHDELOLW\PDQDJHPHQW

$XWRPDWHGUHWULHYDORIWKHOLQNVEHWZHHQ UHTXLUHPHQWV

• (QGXULQJUHTXLUHPHQWV6WDEOH

UHTXLUHPHQWVGHULYHGIURPWKHFRUH DFWLYLW\RIWKHFXVWRPHURUJDQLVDWLRQ (JDKRVSLWDOZLOODOZD\VKDYHGRFWRUV QXUVHVHWF0D\EHGHULYHGIURPGRPDLQ PRGHOV 9RODWLOHUHTXLUHPHQWV5HTXLUHPHQWV ZKLFKFKDQJHGXULQJGHYHORSPHQWRUZKHQ WKHV\VWHPLVLQXVH,QDKRVSLWDO UHTXLUHPHQWVGHULYHGIURPKHDOWKFDUH SROLF\

• ,QLWLDO

XQGHUVWDQGLQJ RISUREOHP ,QLWLDO XQGHUVWDQGLQJ RISUREOHP &KDQJHG XQGHUVWDQGLQJ RISUREOHP &KDQJHG XQGHUVWDQGLQJ RISUREOHP ,QLWLDO UHTXLUHPHQWV ,QLWLDO UHTXLUHPHQWV &KDQJHG UHTXLUHPHQWV &KDQJHG UHTXLUHPHQWV 7LPH

• 6KRXOGDSSO\WRDOOSURSRVHGFKDQJHVWR

WKHUHTXLUHPHQWV 3ULQFLSDOVWDJHV

3UREOHPDQDO\VLV'LVFXVVUHTXLUHPHQWV SUREOHPDQGSURSRVHFKDQJH &KDQJHDQDO\VLVDQGFRVWLQJ$VVHVVHIIHFWV RIFKDQJHRQRWKHUUHTXLUHPHQWV &KDQJHLPSOHPHQWDWLRQ0RGLI\UHTXLUHPHQWV GRFXPHQWDQGRWKHUGRFXPHQWVWRUHIOHFW FKDQJH

• &KDQJHDQDO\VLV

DQGFRVWLQJ &KDQJHDQDO\VLV DQGFRVWLQJ 3UREOHPDQDO\VLV DQGFKDQJHVSHFLILFDWLRQ 3UREOHPDQDO\VLV DQGFKDQJHVSHFLILFDWLRQ ,GHQWLILHGSUREOHP &KDQJHLPSOHPHQWDWLRQ &KDQJHLPSOHPHQWDWLRQ 5HYLVHGUHTXLUHPHQWV

• 6\VWHPFXVWRPHUV

6SHFLI\WKHUHTXLUHPHQWVDQGUHDGWKHPWRFKHFN WKDWWKH\PHHWWKHLUQHHGV

0DQDJHUV

8VHWKHUHTXLUHPHQWVGRFXPHQWWRSODQDELGIRUWKH V\VWHPDQGWRSODQWKHV\VWHP

6\VWHPHQJLQHHUV

8VHWKHUHTXLUHPHQWVWRXQGHUVWDQGZKDWV\VWHPLV WREHGHYHORSHG

6\VWHPWHVWHQJLQHHUV

8VHWKHUHTXLUHPHQWVWRGHYHORSYDOLGDWLRQWHVWVIRU WKHV\VWHP

6\VWHPPDLQWHQDQFHHQJLQHHUV

8VHWKHUHTXLUHPHQWVWRKHOSXQGHUVWDQGWKHV\VWHP DQGWKHUHODWLRQVKLSEHWZHHQLWVSDUWV

• 6SHFLI\H[WHUQDOV\VWHPEHKDYLRXU

6SHFLI\LPSOHPHQWDWLRQFRQVWUDLQWV (DV\WRFKDQJH 6HUYHDVUHIHUHQFHWRROIRUPDLQWHQDQFH 5HFRUGIRUHWKRXJKWDERXWWKHOLIHF\FOH RIWKHV\VWHPLHSUHGLFWFKDQJHV &KDUDFWHULVHUHVSRQVHVWRXQH[SHFWHG HYHQWV