accurate web search, the use of ontologies may also allow the development of intelligent ... Proceedings of the 11th IEEE International Requirements Engineering Conference .... the authors. Noy and McGuiness provide what they call a simple.
2QWRORJ\DVD5HTXLUHPHQWV(QJLQHHULQJ3URGXFW
.DULQ.RRJDQ%UHLWPDQ-XOLR&HVDU6DPSDLRGR3UDGR/HLWH∗ 3RQWLItFLD8QLYHUVLGDGH&DWyOLFDGR5LRGH-DQHLUR NDULQ#LQISXFULREUZZZLQISXFULREUaMXOLR
$EVWUDFW
7KH 6HPDQWLF :HE FRPPXQLW\ SRVHV D QHZ QRQ IXQFWLRQDOUHTXLUHPHQWIRUZHEDSSOLFDWLRQV,QRUGHUWR VHFXUH LQWHURSHUDELOLW\ DQG DOORZ DXWRQRPRXV DJHQW LQWHUDFWLRQ VRIWZDUH IRU WKH ZHE ZLOO EH UHTXLUHG WR SURYLGH PDFKLQH SURFHVVDEOH RQWRORJLHV :H XQGHUVWDQG WKDW WKH UHVSRQVLELOLW\ QRW RQO\ IRU PDNLQJ H[SOLFLW WKLV UHTXLUHPHQWEXWDOVRWRLPSOHPHQWWKHRQWRORJ\EHORQJV WR UHTXLUHPHQWV HQJLQHHUV $V VXFK ZH VHH WKH RQWRORJ\ RIDZHEDSSOLFDWLRQDVDVXESURGXFWRIWKHUHTXLUHPHQWV HQJLQHHULQJ DFWLYLW\ ,Q WKLV WXWRULDO ZH VXUYH\ WKH EDVLF SULQFLSOHV EHKLQG RQWRORJLHV DV WKH\ DUH EHLQJ LPSOHPHQWHG DQG XVHG E\ WKH 6HPDQWLF :HE &RPPXQLW\ WRGD\ 7KRVH LQFOXGH RQWRORJ\ ODQJXDJHV WRROV DQG FRQVWUXFWLRQPHWKRGV:HIRFXVRQDSURFHVVIRURQWRORJ\ FRQVWUXFWLRQ FHQWHUHG RQ WKH FRQFHSW RI DSSOLFDWLRQ ODQJXDJHV 7KLV FRQFHSW LV URRWHG RQ D UHSUHVHQWDWLRQ VFKHPHFDOOHGWKHODQJXDJHH[WHQGHGOH[LFRQ /(/ :H GHPRQVWUDWH RXU DSSURDFK ZLWK H[DPSOHV LQ ZKLFK ZH LPSOHPHQW PDFKLQH SURFHVVDEOH RQWRORJLHV LQ WKH '$0/2,/ ODQJXDJH :H ILQDOL]H ZLWK D GLVFXVVLRQ RI WRGD\¶V UHVHDUFK LVVXHV LQ RQWRORJ\ HQJLQHHULQJ LQFOXGLQJRQWRORJ\HYROXWLRQLQWHJUDWLRQDQGYDOLGDWLRQ
,QWURGXFWLRQ
7KH GHYHORSPHQW RI WKH :RUOG :LGH :HE PDGH WKH ,QWHUQHW DFFHVVLEOH WR PLOOLRQV E\ PDNLQJ LW HDV\ IRU DQ\RQH WR SXEOLVK DQG DFFHVV GRFXPHQWV RQ WKH ,QWHUQHW +RZHYHU WKH H[SORVLYH JURZWK RI WKH QXPEHU RI GRFXPHQWV SXEOLVKHG KDV OHG WR WKH SUREOHP RI LQIRUPDWLRQ RYHUORDG >)HQVHO@ 5HVHDUFKHUV IURP LQGXVWU\DQGDFDGHPLDDUHQRZH[SORULQJWKHSRVVLELOLW\RI FUHDWLQJ D 6HPDQWLF :HE LQ ZKLFK PHDQLQJ LV PDGH H[SOLFLWDOORZLQJPDFKLQHVWRSURFHVVDQGLQWHJUDWH:HE UHVRXUFHV LQWHOOLJHQWO\ %H\RQG HQDEOLQJ TXLFN DQG DFFXUDWHZHEVHDUFKWKHXVHRIRQWRORJLHVPD\DOVRDOORZ WKH GHYHORSPHQW RI LQWHOOLJHQW LQWHUQHW DJHQWV DQG IDFLOLWDWH FRPPXQLFDWLRQ EHWZHHQ D PXOWLWXGH RI
KHWHURJHQHRXV ZHEDFFHVVLEOH GHYLFHV 8QIRUWXQDWHO\ WKH PDMRULW\RIWKHLQIRUPDWLRQDYDLODEOHLVDIRUPDW XQGHUVWDQGDEOH WR KXPDQV DORQH PDNLQJ WKH DXWRPDWLRQ RI VHDUFK DQG UHWULHYDO SURFHVVHV YHU\ KDUG >%HUQHUV /HH@2QWRORJLHVZLOOSURYLGHWKHQHFHVVDU\PHDQLQJWR ZHE FRQWHQW WKHUHIRUH HQDEOLQJ VRIWZDUH DJHQWV WR XQGHUVWDQGDQGUHWULHYHLQIRUPDWLRQLQUHOHYDQWFRQWH[WV
2QWRORJ\'HILQLWLRQ
7KHZRUGRQWRORJ\FRPHVIURPWKH*UHHNRQWRV EHLQJ ORJRV ZRUG ,W KDV EHHQ LQWURGXFHG LQ SKLORVRSK\ LQ WKH FHQWXU\ E\ *HUPDQ SKLORVRSKHUV WR GLVWLQJXLVK WKHVWXG\RIEHLQJDVVXFKIURPWKHVWXG\RIYDULRXVNLQGV RI EHLQJV LQ WKH QDWXUDO VFLHQFHV $V D SKLORVRSKLFDO GLVFLSOLQHRQWRORJ\EXLOGLQJLVFRQFHUQHGZLWKSURYLGLQJ FDWHJRU\ V\VWHPV WKDW DFFRXQW IRU D FHUWDLQ YLVLRQ RI WKH ZRUOG>*XDULQR @ ,Q FRPSXWHU VFLHQFH RQWRORJLHV ZHUH GHYHORSHG LQ $UWLILFLDO ,QWHOOLJHQFH WR IDFLOLWDWH NQRZOHGJH VKDULQJDQG UHXVH>)HQVHO@7RGD\WKH\DUHEHFRPLQJZLGHVSUHDGLQ DUHDV VXFK DV LQWHOOLJHQW LQIRUPDWLRQ LQWHJUDWLRQ FRRSHUDWLYH LQIRUPDWLRQ V\VWHPV DJHQW EDVHG VRIWZDUH HQJLQHHULQJ DQG HOHFWURQLF FRPPHUFH 2QH RI WKH PRVW FLWHG RQWRORJ\ GHILQLWLRQ LV SURYLGHG E\ *UXEHU >*UXEHU @ ³$Q RQWRORJ\ LV D IRUPDO H[SOLFLW VSHFLILFDWLRQ RI D VKDUHG FRQFHSWXDOL]DWLRQ´ :KHUH FRQFHSWXDOLVDWLRQ VWDQGV IRU DQ DEVWUDFW PRGHO H[SOLFLW PHDQV WKDW WKH HOHPHQWV DUH FOHDUO\ GHILQHG DQG ODVWO\ IRUPDO PHDQV WKDW WKH RQWRORJ\ VKRXOG EH PDFKLQH SURFHVVDEOH >)HQVHO@ 7KHUH LV KRZHYHU QR XQLYHUVDO GHILQLWLRQ IRU RQWRORJLHV >*UXQLQJHU@ 2QH RI WKH UHDVRQV LV WKH JUHDW VSHFWUXP RI SRVVLEOH XVHV IRU WKHP *UXQLQJHU UHODWHV DPRQJ RWKHUV WKH SRVVLELOLW\ RI XVLQJ RQWRORJLHV IRU WKH FRPPXQLFDWLRQ EHWZHHQ KXPDQV DQG LPSOHPHQWHG FRPSXWDWLRQDO V\VWHPV IRU FRPSXWDWLRQDO LQIHUHQFHDQGIRUWKHUHXVHDQGRUJDQL]DWLRQRINQRZOHGJH >*UXQLQJHU@ 7KH IRUPDOLW\ GHJUHH RI DQ RQWRORJ\ LV DOVRDQLVVXH>)HQVHO@ )RUWKHSXUSRVHVRIWKHWXWRULDOZHDGRSWWKHRQWRORJ\ VWUXFWXUH 2 SURSRVHG E\ 0DHGFKH >0DHGFKH@
∗
WK
2QOHDYHDWWKH8QLYHUVLW\RI7RURQWR'HSDUWPHQWRI&RPSXWHU6FLHQFH
7KLVUHVHDUFKZDVVXSSRUWHGLQSDUWE\&13TXQGHUFRQWUDFW(660$DQGE\&$3(6
Proceedings of the 11th IEEE International Requirements Engineering Conference 1090-705X/03 $17.00 © 2003 IEEE
$FFRUGLQJWRWKHDXWKRUDQRQWRORJ\FDQEHGHVFULEHGE\ D WXSOH FRQVLVWLQJ RI WKH FRUH HOHPHQWV RI DQ RQWRORJ\ LH FRQFHSWV UHODWLRQV KLHUDUFK\ D IXQFWLRQ WKDW UHODWHV FRQFHSWV QRQWD[RQRPLFDOO\ DQG D VHW RI D[LRPV 7KH HOHPHQWVDUHGHILQHGDVIROORZV 2 ^&5+&UHO$2`FRQVLVWLQJRI 7ZRGLVMRLQWVHWV& FRQFHSWV DQG5 UHODWLRQV $FRQFHSWKLHUDUFK\+& +&LVDGLUHFWHGUHODWLRQ+&⊆& [ & ZKLFK LV FDOOHG FRQFHSW KLHUDUFK\ RU WD[RQRP\ +& && PHDQV&LVDVXEFRQFHSWRI& $ IXQFWLRQ UHO 5 → & [ & WKDW UHODWHV WKH FRQFHSWV QRQ WD[RQRPLFDOO\ $VHWRIRQWRORJ\D[LRPV$2H[SUHVVHGLQDSSURSULDWH ORJLFDOODQJXDJH )LJXUHH[HPSOLILHVRXUXVHRIWKHRQWRORJ\VWUXFWXUH :H ERUURZ IURP WKH 0HHWLQJ 6FKHGXOHU RQWRORJ\ :H FKRRVH WKUHH FRQFHSWV PHHWLQJ GHWDLOV [ PHHWLQJ GDWH \ DQGDJHQGD ] RQHUHODWLRQLVBUHJLVWHUHG Z WKDW KROGV EHWZHHQ FRQFHSWV PHHWLQJ GDWH DQG DJHQGD &RQFHSWPHHWLQJGDWHKROGVDVXEVXPSWLRQUHODWLRQVKLSWR WKHPHHWLQJGHWDLOVFRQFHSW$FFRUGLQJWRWKHVWUXFWXUHZH KDYH VRPHWKLQJ OLNH & ^[ \ ]` DQG 5 ^Z` 7KH IROORZLQJ KLHUDUFKLFDO UHODWLRQ +& \[ DQG WKH QRQ WD[RQRPLFUHODWLRQZ \]
]
DJHQGD LVBUHJLVWHUHG
Z \]
[
PHHWLQJ GHWDLOV PHHWLQJ GDWH
\
)LJXUH ± ([DPSOH RI RQWRORJLFDO HOHPHQWV DQG WKHLU UHODWLRQV XVLQJ WKH RQWRORJ\ VWUXFWXUH 2 SURSRVHG E\ >0DHGFKH@ 7KH UHDVRQ EHKLQG RXU FKRLFH LV WKDW WKH UHSUHVHQWDWLRQ SURSRVHG E\ 0DHGFKH FDQ EH PDSSHG WR PRVW H[LVWLQJ RQWRORJ\UHSUHVHQWDWLRQODQJXDJHV,QWKHQH[WVHFWLRQZH VXUYH\VRPHRIWKHRQWRORJ\ODQJXDJHV
2QWRORJ\/DQJXDJHV
7LP %HUQHUV /HH SURSRVHG D OD\HUHG ODQJXDJH PRGHO IRUWKH:::DWWKH;0/FRQIHUHQFHGHSLFWHGE\ )LJXUH$WWKHERWWRPOD\HUWKHUHLV+70/DQG;0/ WKDWHQDEOHGWKHHQRUPRXVJURZWKRIWKHZHE%HFDXVHRI LWVVLPSOLFLW\+70/KDPSHUHGWKHGHYHORSPHQWRIPRUH VRSKLVWLFDWHG DSSOLFDWLRQV>)HQVHO@$VDUHVXOWDQRWKHU ODQJXDJHZDVGHILQHG;0/2QWKHVHFRQGOD\HUWKHUHLV
WKH5HVRXUFH)UDPHZRUN'HVFULSWLRQ 5') WKDWSURYLGHV D IRUPDO GDWD PRGHO DQG V\QWD[ WR HQFRGH PDFKLQH SURFHVVDEOHPHWDGDWD7KHLGHDEHKLQG5')LVWRSURYLGH LQWHURSHUDELOLW\ EHWZHHQ DSSOLFDWLRQV WKDW H[FKDQJH PDFKLQH XQGHUVWDQGDEOH LQIRUPDWLRQ RQ WKH ZHE>+MHOP@,WSURYLGHVDVHWRISULPLWLYHVIRUPRGHOLQJ VLPSOHRQWRORJLHVLQ5')VFKHPDLQFOXGLQJVXEVXPSWLRQ RIUHODWLRQVKLSVIRUFODVVHVDQGSURSHUWLHV5')KRZHYHU ZDV FULWLFL]HG DV DQ RQWRORJ\ ODQJXDJH EHFDXVH LW ODFNHG H[SUHVVLYHQHVV >+HIOLQ@ ,Q WKH 5') 6FKHPD ORJLFDO FRQQHFWLYHVVXFKDVQHJDWLRQGLVMXQFWLRQDQGFRQMXQFWLRQ DUHQRWSURYLGHGWKXVUHVWULFWLQJWKHH[SUHVVLYHSRZHURI WKHRQWRORJ\
'$0/2,/ '$0/217
+70/
;+70
;0/
2,/
5')6 5')
)LJXUH ± /D\HU /DQJXDJH 0RGHO IRU WKH ::: >)HQVHO@ 7KH RQWRORJ\ LQIHUHQFH OD\HU 2,/ ZDV VSRQVRUHG E\ WKH (XURSHDQ &RPPXQLW\ YLD WKH RQWRNQRZOHGJH SURMHFW 2,/ VSUXQJ IURP WKH QHHG RI DQ H[SUHVVLYH ODQJXDJH IRU FUHDWLQJ RQWRORJLHV RQ WKH ZHE VLQFH 5') SURYLGHV LQDGHTXDWH H[SUHVVLYHQHVV DQG ODFNV IRUPDO VHPDQWLFVDQGUHDVRQLQJVXSSRUW2,/¶VIRUPDOVHPDQWLFV DQGHIILFLHQWUHDVRQLQJVXSSRUWLVSURYLGHGE\'HVFULSWLRQ /RJLFV7KHVHPDQWLFVRI2,/UHO\RQDWUDQVODWLRQLQWRWKH GHVFULSWLRQORJLF6+,4H[WHQGHGZLWKFRQFUHWHGDWDW\SHV 6+,4 G $ FRPSOHWH PDSSLQJ RI 2LO WR 6+,4 G LV DYDLODEOH LQ >+RUURFNV @ 7KH 2,/ FRPPXQLW\ PDGH DYDLODEOH WRROV WKDW VXSSRUW HGLWLQJ DQG RQWRORJ\ UHDVRQLQJ 7KH 'HIHQVH $GYDQFHG 5HVHDUFK 3URMHFWV $JHQF\ '$53$ LQFRQMXQFWLRQZLWKWKH:&LVGHYHORSLQJWKH '$53$ $JHQW 0DUNXS /DQJXDJH '$0/ E\H[WHQGLQJ 5')ZLWKPRUHH[SUHVVLYHFRQVWUXFWVDLPHGDWIDFLOLWDWLQJ DJHQWLQWHUDFWLRQRQWKHZHE>+HQGOHU@'$0/UHOHDVHG LWV ILUVW RQWRORJ\ ODQJXDJH VSHFLILFDWLRQ '$0/217 LQ 2FWREHU,Q'HFHPEHURIWKHVDPH\HDU'$0/2,/ ZDV UHOHDVHG WR UHSODFH '$0/217 7KH IRUPDO VHPDQWLFV RI '$0/2,/ LV SURYLGHG DV D PDSSLQJ WR ILUVW RUGHU SUHGLFDWH ORJLF ZULWWHQ LQ $16, .QRZOHGJH ,QWHUFKDQJH )RUPDW .,) >*HQHVHUHWK @ '$53$
Proceedings of the 11th IEEE International Requirements Engineering Conference 1090-705X/03 $17.00 © 2003 IEEE
PDLQWDLQV DQ RQWRORJ\ OLEUDU\ ZLWK QHDU WZR KXQGUHG HQWULHV PDGH SXEOLFO\ DYDLODEOH DW KWWS ZZZGDPORUJRQWRORJLHV 7KH ODUJH DGRSWLRQ DQG LQVWDOOHGEDVHRI'$0/RQWRORJLHVLVPDNLQJLWDIDYRULWH ODQJXDJH WR SURYLGHVHPDQWLFLQWHURSHUDELOLW\RQWKHZHE >%XUDQDUDFK@ $QHZRQWRORJ\ODQJXDJHLVEHLQJUHFRPPHQGHGE\WKH :& FRQVRUWLXP 2:/ ZHE RQWRORJ\ ODQJXDJH LV D ³UHYLVLRQ RI WKH '$0/2,/ RQWRORJ\ ODQJXDJH LQFRUSRUDWLQJ OHVVRQV OHDUQHG IURP WKH GHVLJQ DQG DSSOLFDWLRQ RI '$0/2,/´ >0F*XLQHVV@ 7KH GRFXPHQWDWLRQIRU2:/LVVWLOOLQWKHZRUNLQJGUDIWVWDJH WKH ODVWDUWLIDFWVZHUHUHOHDVHG0DUFK$VRIWRGD\ WKHUH LV QR WRRO WR VXSSRUW RQWRORJ\ GHYHORSPHQW XVLQJ 2:/ 2WKHU RQWRORJ\ ODQJXDJHV ZHUH SURSRVHG RXWVLGH WKH IUDPHZRUN LOOXVWUDWHG LQ )LJXUH 7KH 6LPSOH +70/ 2QWRORJ\ ([WHQVLRQ 6+2( GHYHORSHG DW WKH 8QLYHUVLW\ RI0DU\ODQGSULRUWR;0/DQG5')>/XNH @6+2(LV DQRQWRORJ\EDVHGNQRZOHGJHUHSUHVHQWDWLRQODQJXDJHWKDW LVHPEHGGHGLQZHESDJHV7KHXQGHUO\LQJSKLORVRSK\RI 6+2( LV WKDW LQWHOOLJHQW LQWHUQHW DJHQWV ZLOO EH DEOH WR EHWWHUSHUIRUPWKHLUWDVNVLIWKHPRVWXVHIXOLQIRUPDWLRQLV SURYLGHGLQDVWUXFWXUHGZD\6+2(H[WHQGV+70/ZLWK D VHW RI NQRZOHGJH RULHQWHG WDJV DQG DVVRFLDWHV PHDQLQJ WR WKH FRQWHQWV RI D SDJH E\ PDNLQJ HDFK ZHE SDJH FRPPLWWRRQHRUPRUHRQWRORJLHV7KHRQWRORJLHVSHUPLW WKH GLVFRYHU\ RI LPSOLFLW NQRZOHGJH WKURXJK WKH XVH RI WD[RQRPLHVDQGLQIHUHQFHUXOHV&RPSDUHGWR5')6+2( LV DQDORJRXV DQ 5') 6FKHPD EXW ZLWK OHVV H[SUHVVLYH SRZHU >%XUDQDUDFK@ HJ 6+2( GRHV QRW DOORZ QHJDWLRQ LQ WKH FODLP VWDWHPHQW QRU WKH VXEFODVV UHODWLRQVKLS IRU SURSHUWLHV 0DLQWHQDQFH RI RQWRORJLHV LV DOVRDQLVVXHLQ6+2(IRUWKH\DUHHPEHGGHGLQWKHZHE SDJHVDVRSSRVHGWRDVVHSDUDWHREMHFWV 7KH RQWRORJ\ LQWHUFKDQJH ODQJXDJH 2QWROLQJXD >)DUTXKDU @ ZDV GHVLJQHG WR VXSSRUW WKH GHVLJQ DQG VSHFLILFDWLRQ RI RQWRORJLHV XVLQJ D VHPDQWLFV EDVHG RQ .,) >*HQHVHUHWK @ 7KH VHW RI .,) H[SUHVVLRQV WKDW 2QWROLQJXD DOORZV LV GHILQHG LQ DQ RQRORJ\ FDOOHG WKH )UDPH 2QWRORJ\ 7KH )UDPH 2QWRORJ\ VSHFLILHV LQ D GHFODUDWLYHIRUPWKHUHSUHVHQWDWLRQDOSULPLWLYHVWKDWRIWHQ VXSSRUWHGZLWKVSHFLDOSXUSRVHV\QWD[DQGFRGHLQREMHFW FHQWHUHGUHSUHVHQWDWLRQV\VWHPV $Q 2QWROLQJXD RQWRORJ\ LV FRPSRVHG RI FODVVHV UHODWLRQVIXQFWLRQVREMHFWVGLVWLQJXLVKHGDQGD[LRPV7KH H[SUHVVLYH SRZHU SURYLGHG E\ 2QWROLQJXD LV XQPDWFKHG E\ WKH SUHYLRXV ODQJXDJHV VXUYH\HG 8QIRUWXQDWHO\ QR UHDVRQLQJVXSSRUWLVSURYLGHGXQWLOWKLVGDWH 7KH GHYHORSPHQW RI RQWRORJLHV XVLQJ DQ\ RI WKH ODQJXDJHV UHYLHZHG LQ WKLV VHFWLRQ ZRXOG EH LPSRVVLEOH ZLWKRXW WRROV WR ILOWHU WKH PDUNXS DQG SUHVHQW WKH LQIRUPDWLRQ LQ D KXPDQ XQGHUVWDQGDEOH ZD\ ,Q WKH QH[W
VHFWLRQ ZH VXUYH\ VRPH RI WKH WRROV DYDLODEOH IRU WKLV SXUSRVH
2QWRORJ\7RROV
$ IHZ WRROV WR VXSSRUW RQWRORJ\ FRQVWUXFWLRQ DQG HGLWLQJ DUH FXUUHQWO\ DYDLODEOH 3URWpJp LV D JUDSKLFDO WRRO IRU RQWRORJ\ HGLWLQJ DQG NQRZOHGJH DFTXLVLWLRQ >1R\@ ,W ZDV GHYHORSHG XVLQJRSHQVRXUFH DUFKLWHFWXUHDQGDOORZVIRUWKHFXVWRPL]DWLRQRIWKHWRROV XVHG WR FUHDWH NQRZOHGJH EDVH 3URWpJp GRHV QRW IDYRUDQ\VSHFLILFRQWRORJ\ODQJXDJH7KHFUHDWRUVRIWKH WRRO KROG WKDW WKHUH LV OLWWOH SRLQW LQ GHVLJQLQJ D WRRO WKDW VHUYHV RQH ODQJXDJH VSHFLILFDOO\,QFRQWUDVWWKH\VXJJHVW XVLQJ WKH FXVWRPL]DWLRQ IDFLOLWLHV SURYLGHG E\ WKH RSHQ VRXUFH DUFKLWHFWXUH RI 3URWpJp WR DGDSW DQG H[SHULPHQW ZLWK GLIIHUHQW RQWRORJ\ ODQJXDJHV E\ WKH XVH RI VSHFLDO SOXJ LQV 2QWRORJLHV DUH EXLOW LQ 3URWpJp E\ FUHDWLQJ FODVVHV LQVWDQFHV RI WKRVH FODVVHV VORWV UHSUHVHQWLQJ DWWULEXWHV RI WKH FODVVHV DQG LQVWDQFHV DQG IDFHWV$SOXJLQIRUWKH2,/ODQJXDJHH[LVWVDQGD'$0/ RQHLVFXUUHQWO\EHLQJGHYHORSHG 2LO(GLVDQRQWRORJ\HGLWRUWKDWDOORZVLWVXVHUVWREXLOG RQWRORJLHV XVLQJ '$0/2,/ >+RUURFNV %HFKKRIHU@ 7KH LQLWLDO LQWHQWLRQ EHKLQG 2LO(G ZDV WR SURYLGHDVLPSOHHGLWRUWKDWGHPRQVWUDWHGWKHXVHRIDQG VWLPXODWHG LQWHUHVW LQ WKH 2LO ODQJXDJH 2LO(G LV DQ RQWRORJ\ HGLWRU DQG QRW DQ HQYLURQPHQW LH LW GRHV QRW SURYLGH VXSSRUW WR RQWRORJ\ LQWHJUDWLRQ DOLJQPHQW RU YHUVLRQLQJ2LO(GKDVSURYHGYHU\SRSXODUZLWKRYHU GRZQORDGV IURP WKH RULJLQDO VLWH LQ WKH ODVW PRQWKV >2LO(G VLWH@ ,W KDV EHHQ XVHG ZLWKLQ D QXPEHU RI FRPSDQLHVDQGLQVWLWXWLRQVIRUERWKWHDFKLQJDQGUHVHDUFK SXUSRVHV2LO(GLVQRZDYDLODEOHDVDQRSHQVRXUFHSURMHFW XQGHUWKH GPLOLFHQFHDW>2LO(GVLWH@5HDVRQLQJVXSSRUW IRU 2LO(G LV DYDLODEOH DQG SURYLGHG E\ WKH )D&7 IDVW FODVVLILFDWLRQRIWHUPLQRORJLHV LQIHUHQFHHQJLQHSXEOLFO\ DYDLODEOHDWKWWS ZZZFVPDQDFXNaKRUURFNV)D&7 7KH UHDVRQLQJ VHUYLFHV SURYLGHG LQFOXGHLQFRQVLVWHQF\ GHWHFWLRQDQGGHWHUPLQLQJVXEVXPSWLRQUHODWLRQVKLSV2,/ SURYLGHV DQ H[WHQVLRQ WR 5') DQG 5')6 %DVHG RQ LWV 5') V\QWD[ RQWRORJLHV ZULWWHQ LQ 2,/ DUH YDOLG 5') GRFXPHQWV 2QWR(GLWLVDQRQWRORJ\HQYLURQPHQWWKDWVXSSRUWVWKH :VWDQGDUGVE\H[SRUWLQJRQWRORJLHVWRWKH5')6;0/ DQG '$0/2,/ IRUPDWV >(UGPDQQ@ 6LPLODUO\ WR VRIWZDUHGHYHORSPHQWHQYLURQPHQWV2QWR(GLWSURYLGHVD PHWKRGWRVXSSRUWRQWRORJ\GHYHORSPHQW,WLVFRPSULVHG RI WKUHH VWDJHV UHTXLUHPHQWV UHILQHPHQW DQG HYDOXDWLRQ ,QWHJUDWHGWRROVSURYLGHDXWRPDWHGVXSSRUWWRHDFKVWDJH 2QWR(GLWLVDFRPPHUFLDOWRRO &KLPDHUDLVDQRQWRORJ\HQYLURQPHQWWKDWVXSSRUWVWKH FUHDWLRQ DQG PDLQWHQDQFH RI GLVWULEXWHG RQWRORJLHV $OWKRXJK &KLPDHUD FDQ EH XVHG WR HGLW RQWRORJLHV LWV IRFXV LV LQ PHUJLQJ PXOWLSOH RQWRORJLHV WRJHWKHU DQG GLDJQRVLQJ LQGLYLGXDO RU PXOWLSOH RQWRORJLHV ,W VXSSRUWV
Proceedings of the 11th IEEE International Requirements Engineering Conference 1090-705X/03 $17.00 © 2003 IEEE
XVHUV LQ WDVNV VXFK DV ORDGLQJ NQRZOHGJH EDVHV LQ GLIIHULQJ IRUPDWV UHRUJDQL]LQJ WD[RQRPLHV UHVROYLQJ QDPHFRQIOLFWVDQGEURZVLQJRQWRORJLHV>0F*XLQHVV@
2QWRORJ\'HYHORSPHQW0HWKRGV
7KHLPSRUWDQFHRIRQWRORJLHVDVDPRGHOIRUFDSWXULQJ DQG UHXVLQJ NQRZOHGJH LV ZHOO XQGHUVWRRG DPRQJ WKH UHVHDUFK FRPPXQLW\ 2QWRORJ\ GHYHORSPHQW KRZHYHU VHHPV WR EH DQ DUW UDWKHUWKDQDVFLHQFH>8VFKROG @6R IDU D QXPEHU RI UHVHDUFK JURXSV KDYH EHHQ WU\LQJ WR WDFNOH WKLV SUREOHP E\ SURYLGLQJ PHWKRGRORJLHV IRU RQWRORJ\ GHYHORSPHQW 8VKROG DQG .LQJ SURSRVHG D PHWKRGRORJ\ EDVHG RQ WKH H[SHULHQFH JDLQHG IURP FRQVWUXFWLQJ WKH (QWHUSULVH RQWRORJ\ >8VKROG 8VKROG @7KHDXWKRUVUHIUDLQIURPSURYLGLQJJXLGHOLQHV RQHOLFLWDWLRQDQGWKHLGHQWLILFDWLRQRILQIRUPDWLRQVRXUFHV IRUEXLOGLQJWKHRQWRORJ\ *UXQLQJHU DQG )R[ SURSRVH WKH 7RURQWR 9LUWXDO (QWHUSULVH 729( PHWKRGRORJ\ >*UXQLQJHU @ 7KLV PHWKRGRORJ\ ZDV GHULYHG IURP WKHDXWKRUVH[SHULHQFHLQ WKHGHYHORSPHQWRIRQWRORJLHVLQWKHEXVLQHVVSURFHVVDQG HQWHUSULVH GRPDLQV 7KH DXWKRUV XVH ZKDW WKH\ FDOO PRWLYDWLRQDO VFHQDULRV WR GHVFULEH SUREOHPV RU H[DPSOHV WKDW DUH QRW DGHTXDWHO\ FRYHUHG E\ H[LVWLQJ RQWRORJLHV )ROORZLQJ WKH VFHQDULRV RQH PXVW HODERUDWH WKH FRPSHWHQF\ TXHVWLRQV IRU WKH RQWRORJ\ ZKLFK KHOSV LWV HYDOXDWLRQ DQDO\VLV ,Q RXU RSLQLRQ WKH PDMRU VKRUWFRPLQJ RI WKLV DSSURDFK LV WR VXSSRVH WKDW WKH RQWRORJ\ FRQFHSWV DQG UHODWLRQVKLSV FRXOG EH HDVLO\ GHULYHG IURP WKH PRWLYDWLRQ VFHQDULRV ,Q IDFW VFHQDULRV DUH EHVW HPSOR\HG WR PRGHO G\QDPLF DVSHFWV UDWKHU WKHQ VWDWLFRQHVHJFRQFHSWVDQGUHODWLRQVKLSVDVLQWHQGHGE\ WKHDXWKRUV 1R\ DQG 0F*XLQHVV SURYLGH ZKDW WKH\ FDOO D VLPSOH NQRZOHGJH HQJLQHHULQJ PHWKRGRORJ\ >1R\D@ %XLOW RQ WKHLU RZQ H[SHULHQFHV ZLWK WKH RQWRORJ\HGLWLQJ HQYLURQPHQWV 3URWpJp >1R\E@ 2QWROROLQJXD >)DUTXKDU @ DQG &KLPDHUD >&KLPHUD@ UHYLHZHG LQ VHFWLRQ WKH DXWKRUV SURYLGH D JXLGH WR KHOS QHZ RQWRORJ\ GHVLJQHUV GHYHORS WKHLU RQWRORJLHV 7KH DXWKRUV SURYLGHQRJXLGDQFHWRFRQFHSWHOLFLWDWLRQEXWSXWIRUZDUG D OHQJWK\ GLVFXVVLRQ RQ GHVLJQ GHFLVLRQV HJ ZKHQ WR LQWURGXFHDQHZFODVVDVRSSRVHGWRUHSUHVHQWLWE\PHDQV RI UHVWULFWLRQV DQG SURYLGH XVHIXO FRPPHQWV RQ WHUPLQRORJ\ FKRLFHV $JDLQ FRPSDUHG WR WKLV OLQH RI ZRUNZHVHHRXUSURFHVVDVVWURQJEDVHGRQDGLVFLSOLQHG HOLFLWDWLRQVWUDWHJ\ 0HWKRQWRORJ\ LV D IUDPHZRUN GHYHORSHG LQ WKH DUWLILFLDO LQWHOOLJHQFH ODERUDWRU\ RI WKH 8QLYHUVLW\ RI 0DGULG WKDW DPRQJ RWKHU IXQFWLRQDOLW\ SURYLGHV VXSSRUW WR RQWRORJ\ FRQVWUXFWLRQ >)HUQiQGH]/ySH] *yPH] 3pUH] @ $VVRFLDWHG WR WKH 0HWKRQWRORJ\ IUDPHZRUN LV WKH 2QWRORJ\ 'HYHORSPHQW (QYLURQPHQW 2'( WKDW
SURYLGHVDXWRPDWHGVXSSRUWWRWKHGHYHORSPHQWDFWLYLWLHV 7KH DXWKRUV PDNH XVH RI HOLFLWDWLRQ WHFKQLTXHV YHU\ VLPLODU WR WKH RQHV ZH XVH HJ VWUXFWXUHG LQWHUYLHZV GRFXPHQW UHDGLQJ DQG TXHVWLRQQDLUHV 7KH PRGHOLQJ RI WKH FRQFHSWV KRZHYHU VHHPV WR YHU\ KHDY\ ZHLJKW 7KH /(/RQWKHRWKHUKDQGXVHVDYHU\VLPSOHVWUXFWXUHEDVHG RQ WKH GHQRWDWLRQ DQG FRQQRWDWLRQ RI WHUPV :H KDYH REVHUYHGWKDWWKHVLPSOLFLW\DQGRUJDQL]DWLRQSURYLGHGE\ WKH OH[LFRQ LV D NH\ IDFWRU LQ YDOLGDWLQJ LW ZLWK XVHUV >+DGDG@
/H[LFRQ%DVHG2QWRORJ\&RQVWUXFWLRQ
$YDLODEOH PHWKRGV IRU RQWRORJ\ FRQVWUXFWLRQ VXFK DV WKHRQHVSUHVHQWHGLQWKHSUHYLRXVVHFWLRQFRQFHQWUDWHLQ WKH PRGHOLQJ DVSHFWV DQG DUH HLWKHU YDJXH RU ODFNLQJ RQ KRZFRQFHSWVDQGUHODWLRQVKLSVDUHWREHHOLFLWHGIURPWKH PDFURV\VWHP 7KH UHVXOW LV WKH DG KRF XVH RI HOLFLWDWLRQ WHFKQLTXHV ZKRVH FKRLFH GHSHQGV VROHO\ RQ WKH GHYHORSHU¶V SHUVRQDO H[SHULHQFH DQG VNLOOV $V VXFK ZH DUHSURSRVLQJDSURFHVVIRUWKHFRQVWUXFWLRQRIRQWRORJLHV ZKLFK LV FHQWHUHG RQ D HVWDEOLVKHG HOLFLWDWLRQ VWUDWHJ\ EDVHG RQ WKH FRQFHSW RI DSSOLFDWLRQ ODQJXDJHV 7KLV FRQFHSW LV URRWHG RQ D UHSUHVHQWDWLRQ VFKHPH FDOOHG WKH ODQJXDJHH[WHQGHGOH[LFRQ /(/ 7KLV WHFKQLTXH KDV ORQJ EHHQ LQFRUSRUDWHG WR RXU UHTXLUHPHQWV HOLFLWDWLRQ SUDFWLFH DQG LW IRFXVHV RQ XVLQJ WKH ODQJXDJH RI WKH SUREOHP WR GHVFULEH WKH SUREOHP >/HLWH @ 7KH OH[LFRQ ZLOO SURYLGH D V\VWHPDWL]DWLRQ IRU WKH HOLFLWDWLRQ PRGHO DQG DQDO\VLV RI RQWRORJ\ FRQFHSWV 7KH XQGHUO\LQJ SKLORVRSK\ RI WKH OH[LFRQ IDOOV LQ WKH FRQWH[WXDOLVPFDWHJRU\DFFRUGLQJWRZKLFKSDUWLFXODULWLHV RI D FRQWH[W RI XVH RI D V\VWHP PXVW EH XQGHUVWRRG LQ GHWDLOEHIRUHUHTXLUHPHQWVFDQEHGHULYHG>3RWWV @7KLV DSSURDFK LV QHZ WR RQWRORJ\ EXLOGLQJ WKDW WUDGLWLRQDOO\ DVVRFLDWHV JHQHUDOL]DWLRQ DQG DEVWUDFWLRQ DSSURDFKHV WR WKHRUJDQL]DWLRQRILQIRUPDWLRQ ([WHQGHG/H[LFRQRIWKH/DQJXDJH 7KH /DQJXDJH ([WHQGHG /H[LFRQ /(/ LV D UHSUHVHQWDWLRQ RI WKHV\PEROVLQWKHDSSOLFDWLRQODQJXDJH >/HLWH /HLWH @,W LV DQFKRUHG RQ D YHU\ VLPSOH LGHD XQGHUVWDQGWKHODQJXDJHRIWKHSUREOHPZLWKRXWZRUU\LQJ DERXWXQGHUVWDQGLQJWKHSUREOHP(DFKWHUPLQWKHOH[LFRQ KDVWZRW\SHVRIGHVFULSWLRQ7KHILUVWW\SHQRWLRQLVWKH GHQRWDWLRQRIWKHWHUPRUSKUDVH7KHVHFRQGW\SHFDOOHG EHKDYLRUDOUHVSRQVHGHVFULEHVWKHFRQQRWDWLRQRIWKHWHUP RU SKUDVH WKDW LV SURYLGHV H[WUD LQIRUPDWLRQ DERXW WKH FRQWH[W DW KDQG ,Q DGGLWLRQ WKH OH[LFRQ WHUPV DUH FODVVLILHG LQ IRXU FDWHJRULHV REMHFW VXEMHFW YHUE DQG VWDWH )LJXUH D VKRZV DQ H[DPSOH RI D OH[LFRQ WHUP RI W\SHVXEMHFW &HQWUDO WR WKH /(/ DUH WZR SULQFLSOHV 7KH ILUVW LV WR PD[LPL]HWKHXVHRIRWKHUOH[LFRQWHUPVZKHQGHVFULELQJ
Proceedings of the 11th IEEE International Requirements Engineering Conference 1090-705X/03 $17.00 © 2003 IEEE
LQWHUYLHZV ,Q XQVWUXFWXUHG LQWHUYLHZV WKH JHQHUDO KHXULVWLF LV WR SD\ DWWHQWLRQ WR WHUPV XVHG IUHTXHQWO\ DQG ZKLFK VHHPV XQIDPLOLDU RU LV XVHG LQ DQ XQIDPLOLDU ZD\ 2QFH WKH LQLWLDO WHUPV DUH HQXPHUDWHG HLWKHU VWUXFWXUHG LQWHUYLHZV RU GHWDLO UHDGLQJ RI GRFXPHQWV FDQ EH HPSOR\HG WR DVVLJQ QRWLRQV DQG EHKDYLRUDO UHVSRQVHV WR WKH OLVWHG WHUPV 6LQFH WKH OH[LFRQ LV D VHOI FRQWDLQHG QHWZRUNE\WKHFORVXUHSULQFLSOHLWLVQDWXUDOWKDWGXULQJ WKHHOLFLWDWLRQRIQRWLRQVDQGLPSDFWVIRURQHWHUPRWKHUV WHUPVE\DOVREHGHDOWZLWK
WKHQRWLRQVDQGEHKDYLRUDOUHVSRQVHVRIDQHZWHUP7KLV LVWKHSULQFLSOHRIFORVXUH7KHVHFRQGLVWRPLQLPL]HWKH XVH RI WHUPV H[WHUQDO WR WKH 8QLYHUVH RI 'LVFRXUVH ,I XQDYRLGDEOH PDNH VXUH WKH\ EHORQJ WR WKH EDVLF YRFDEXODU\RIWKHQDWXUDOODQJXDJHLQXVHDQGDVPXFKDV SRVVLEOH KDYH D FOHDU PDWKHPDWLFDO UHSUHVHQWDWLRQ HJ VHW IXQFWLRQ 7KLV LV FDOOHG WKH SULQFLSOH RI PLQLPDO YRFDEXODU\ 7KHHOLFLWDWLRQRI/(/WHUPVLVXVXDOO\SHUIRUPHGE\D FRPELQDWLRQRIHOLFLWDWLRQWHFKQLTXHV7KHHQXPHUDWLRQRI YDOLGDWLRQKHXULVWLFV
8RI'
/(/
FODVVLILFDWLRQDQG LQGHQWLILFDWLRQKHXULVWLFV
8RI'
YDOLGDWLRQ
9$/,'$7( /(/
SUREOHPV
WHUP
HOLFLWDWLRQ
YHULILFDWLRQ
FKHFNOLVW
WHFKQLTXHV VHOHFWLRQ
KHXULVWLFV
KHXULVWLFV
8RI'
,'(17,)< ,1)250$7,21
LQIRUPDWLRQ VRXUFHOLVW
/(/
RUGHU FULWHULD OLVWRI
6285&(6
9(5,)< /(/
WHUPV JHQHUDO
8RI'
FODVVLILFDWLRQ ,'(17,).DSODQ@ 9DOLGDWLRQ LV SHUIRUPHG E\DFWRUVRIWKH8RI'XVLQJUHDGLQJWHFKQLTXHV
7KHSURFHVVWREXLOGWKH/(/LVFRPSULVHGRIVL[VWHSV DVGHSLFWHGLQ)LJXUH)LUVWZHKDYHWRLGHQWLI\WKHPDLQ LQIRUPDWLRQVRXUFHVRIWKH8QLYHUVHRI'LVFRXUVH 8RI' 7KH PRVW UHOLDEOH VRXUFHV DUH SHRSOH DQG GRFXPHQWV >/HLWH @
Proceedings of the 11th IEEE International Requirements Engineering Conference 1090-705X/03 $17.00 © 2003 IEEE
&UHO 5+& $2 3R
/Y/R/VM/VW
2QWRORJ\ VWUXFWXUH2 2QWRORJ\ FRQVWUXFWLRQSURFHVV /(/
)LJXUH ± 2QWRORJ\ &RQVWUXFWLRQ 3URFHVV 3R LQVSLUHG LQ WKH OD\HUHG RQWRORJ\ HQJLQHHULQJ DSSURDFK SURSRVHG E\ >0DHGFKH@
7KHRQWRORJ\FRQVWUXFWLRQSURFHVV %DVHG RQ WKH /DQJXDJH ([WHQGHG /H[LFRQ SUHVHQWHG RQWKHSUHYLRXVVHFWLRQZHSURSRVHDQRQWRORJ\EXLOGLQJ SURFHVV 7KH SURFHVV LV LQGHSHQGHQW RI WKH RQWRORJ\ ODQJXDJH XVHG LQ WKH LPSOHPHQWDWLRQ 7KH UHVXOWLQJ RQWRORJ\ ZLOO EH H[SUHVVHG XVLQJ WKH FRUH RQWRORJ\ HOHPHQWV GHILQHG LQ VHFWLRQ D WXSOH FRQVLVWLQJ RI FRQFHSWV UHODWLRQV D FRQFHSW KLHUDUFK\ IXQFWLRQV WKDW UHODWHV WKH FRQFHSWV QRQ WD[RQRPLFDOO\ DQG D[LRPV^ & 5 +&UHO$2`>0DHGFKH@)LJXUHVKRZVWKHUROHRIWKH
OH[LFRQLQWKHRQWRORJ\VWUXFWXUH2QWKHERWWRPOD\HUZH KDYHWKH/(/FRPSRVHGRIWHUPVFODVVLILHGLQWRYHUE /Y REMHFWV /R VXEMHFW /VM DQGVWDWH /VW RQWKHWRSOD\HUZH KDYHWKHRQWRORJ\VWUXFWXUH23URFHVV3RPDSVWKHOH[LFRQ WHUPV LQWR RQWRORJ\ HOHPHQWV :H GHSLFW SURFHVV 3R LQ )LJXUH :HGHWDLOSURFHVV3RDVIROORZV
/LVWOH[LFRQWHUPVDOSKDEHWLFDOO\DFFRUGLQJWRWKHLUW\SH YHUEREMHFWVXEMHFWDQGVWDWH 0DNHOLVWV FRQFHSW & UHODWLRQV 5 DQGD[LRPV $2 ,QWKHFRQFHSWOLVWHDFKHQWU\ZLOOKDYHDQDPHDGHVFULSWLRQDQGOLVW RI]HURRQHRUPRUHUHO IXQFWLRQWKDWUHODWHVWKHSUHVHQWFRQFHSWWRRWKHUVQRQWD[RQRPLFDOO\ 7KHHQWULHVLQWKHUHODWLRQDQG D[LRPOLVWVZLOOKDYHODEHOVRQO\ 8VLQJWKHOLVWRIOH[LFRQWHUPVFODVVLILHGDVHLWKHUREMHFWRUVXEMHFWIRUHDFKWHUP $GGDQHZFRQFHSWWRWKHFRQFHSWOLVW7KHFRQFHSWQDPHLVWKHOH[LFRQWHUPLWVHOI7KHFRQFHSWGHVFULSWLRQLVWKH QRWLRQRIWKHWHUP )RUHDFKEHKDYLRUDOUHVSRQVH &KHFNWKHUHODWLRQOLVWIRUDUHODWLRQWKDWH[SUHVVHVLW ,I WKHUH LV QRQH DGG QHZ D UHODWLRQ WR WKH UHODWLRQ OLVW 7KH UHODWLRQ QDPH LV EDVHG RQ WKH YHUERIWKLVEHKDYLRUDOUHVSRQVH 9HULI\FRQVLVWHQF\ ,QWKHFRQFHSWOLVWDGGDQHZUHOWRWKHFRQFHSWLQTXHVWLRQ7KHUHOLVIRUPHGE\WKHFRQFHSWLQ TXHVWLRQ UHODWLRQ GHILQHG LQ FRQFHSW LW UHODWHV WR 7KH FRQFHSW LV WKH GLUHFWLQGLUHFW REMHFW RI WKH YHUE LQ WKH EHKDYLRUDO UHVSRQVH ,W LV XVXDOO\ D WHUP LQ WKH OH[LFRQDQGDSSHDUVXQGHUOLQHG &KHFNIRUQHJDWLRQLQGLFDWRUVLQWKHPLQLPDOYRFDEXODU\WKDWUHODWHWKHWHUPWRRWKHUWHUPV $QDO\]HWKHSDLURIWHUPVLQRUGHUWRLGHQWLI\DSRVVLEOHGLVMRLQWUHODWLRQVKLS ,IWUXHDGGWKHGLVMRLQWUHODWLRQVKLSWRWKHD[LRPOLVW 9HULI\FRQVLVWHQF\ 8VLQJWKHOLVWRIOH[LFRQWHUPVFODVVLILHGDVW\SHYHUEIRUHDFKWHUP &KHFNWKHUHODWLRQOLVWIRUDUHODWLRQWKDWH[SUHVVHVLW ,IWKHUHLVQRQHDGGQHZDUHODWLRQWRWKHUHODWLRQOLVW7KHUHODWLRQQDPHLVWKHOH[LFRQWHUP LWVHOI 9HULI\FRQVLVWHQF\ 8VLQJWKHOLVWRIOH[LFRQWHUPVFODVVLILHGDVW\SHVWDWHIRUHDFKWHUP )RUHDFKEHKDYLRUDOUHVSRQVH 7U\WRLGHQWLI\WKHLPSRUWDQFHRIWKHWHUPWRWKHRQWRORJ\7KLVVWUDWHJ\LVHTXLYDOHQWWRWKH XVHRIFRPSHWHQF\TXHVWLRQVSURSRVHGLQ>*UXQLQJHU @7KHTXHVWLRQVFRXOGEHREWDLQHG IURP UHSKUDVLQJ WKH EHKDYLRUDO UHVSRQVHV RI WKH WHUP LQ TXHVWLRQ LQWR TXHVWLRQV RI W\SH ZKHQZKDWZKRZKHUHZK\DQGKRZ &KHFNIRUQHJDWLRQLQGLFDWRUVLQWKHPLQLPDOYRFDEXODU\WKDWUHODWHWKHWHUPWRRWKHUWHUPV $QDO\]HWKHSDLURIWHUPVLQRUGHUWRLGHQWLI\DSRVVLEOHGLVMRLQWUHODWLRQVKLS ,IWUXHDGGWKHGLVMRLQWUHODWLRQVKLSWRWKHD[LRPOLVW ,IWKHWHUPVHHPVWREHFHQWUDOWRWKHRQWRORJ\FODVVLI\LWDVDFRQFHSW & ,IWKHWHUPLVQRWFHQWUDOWRWKHRQWRORJ\FODVVLI\LWDVDUHODWLRQ 5 9HULI\FRQVLVWHQF\ :KHQDOOWHUPVDUHDGGHGWRWKHRQWRORJ\ &KHFNRQWRORJ\ORRNLQJIRUVHWVRIFRQFHSWVWKDWVKDUHLGHQWLFDOUHO )RUHDFKVHWRIFRQFHSWVWKDWVKDUHLGHQWLFDOUHOEXLOGDVHSDUDWHFRQFHSWOLVW 6HDUFKWKHRQWRORJ\IRUDFRQFHSWWKDWUHIHUVWRDOOPHPEHUVRIWKLVOLVW ,IVXFKFRQFHSWLVQRWIRXQGVHDUFKWKHQRWLRQDQGEHKDYLRUDOUHVSRQVHRIHDFKPHPEHURIWKH FRQFHSWOLVWWU\LQJWRLGHQWLI\DFRPPRQWHUPIURPWKHPLQLPDOYRFDEXODU\ %XLOGDFRQFHSWKLHUDUFK\ZKHUHHYHU\PHPEHURIWKHFRQFHSWOLVWLVDVXEFRQFHSWRIWKHRQHIRXQGLQ 9HULI\FRQVLVWHQF\
Proceedings of the 11th IEEE International Requirements Engineering Conference 1090-705X/03 $17.00 © 2003 IEEE
:HXQGHUVWDQGKRZHYHUWKDWLWLVDIDOODF\WREHOLHYHWKDW LQ VRPH SRLQW LQ WKH IXWXUH ZH ZLOO EH DEOH WR EXLOG RQWRORJLHV EDVHG VROHO\ LQ UHXVH $ FHUWDLQ GHJUHH RI FRQWH[WXDOL]HG ZHW LQIRUPDWLRQLVDOZD\VWREHH[SHFWHG
1RWH WKDW HYHU\ WLPH D QHZ HOHPHQW LV DGGHG WR WKH RQWRORJ\DFRQVLVWHQF\YHULILFDWLRQLVQHHGHG,GHDOO\WKH YHULILFDWLRQ WDVN LV GRQH ZLWK WKH DLG RI DXWRPDWHG WRROV ,QWKHQH[WVHFWLRQZHSUHVHQWDQH[DPSOHRIWKHRQWRORJ\ FRQVWUXFWLRQSURFHVVSURSRVHGXVLQJWKH2LO(GDQG)D&7 WRROV WKDW SURYLGH DXWRPDWHG VXSSRUW WR HGLWLRQ DQG FRQVLVWHQF\FKHFNLQJUHVSHFWLYHO\
FKHFN UHODWLRQ
QHZUHODWLRQ
5
5
5
YHUE
& REMHFW
OH[LFRQ
OLVW
9 ( +& 5 UHO , ) $2 3ULHWR'LD] @ IURPWKHSRLQWRIYLHZRIVRIWZDUHUHXVH 1RWZLWKVWDQGLQJDTXRWDWLRQIURP+HQGOHU³,QVWHDGRI D IHZ ODUJH FRPSOH[ FRQVLVWHQW RQWRORJLHV WKDW JUHDW QXPEHUV RI XVHUV VKDUH , VHH D JUHDW QXPEHU RI VPDOO RQWRORJLFDO FRPSRQHQWV FRQVLVWLQJ ODUJHO\ RI SRLQWHUV WR HDFKRWKHU:HEXVHUVZLOOGHYHORSWKHVHFRPSRQHQWVPXFK WKH VDPH ZD\ WKDW :HE FRPSRQHQWV DUH FUHDWHG´>+HQGOHU @±VWUHVVHVWKHSRLQWZHDUHPDNLQJ7KDWLVZHZLOO QHHGDSSOLFDWLRQRQWRORJLHVWRHQDEOHDJHQWFRRSHUDWLRQRQ WKH ZHE $V VXFK DSSOLFDWLRQ RQWRORJLHV DUH PRUH PXFK UHVWULFWHG WKDQ GRPDLQ RQWRORJLHV DQG KDYH D PXFK PRUH PRGHVW REMHFWLYH :H DJDLQ VWUHVV WKDW UHTXLUHPHQWV HQJLQHHUV VKRXOG EH SUHSDUHG WR SURGXFH VXFK DSSOLFDWLRQ
Proceedings of the 11th IEEE International Requirements Engineering Conference 1090-705X/03 $17.00 © 2003 IEEE
RQWRORJLHV DV VRIWZDUH GHVLJQHUV ZLOO KDYH WR OHDUQ RQ KRZWREHVWXVHWKHVHDSSOLFDWLRQRQWRORJLHV$FFRUGLQJWR D UHFHQW UHSRUW IURP WKH *DUWQHU JURXS ³%\ OLJKWZHLJKW RQWRORJLHV ZLOO EH SDUW RI SHUFHQW RI DSSOLFDWLRQ LQWHJUDWLRQ SURMHFWV´ >-DFREV@ 5HVHDUFK LV MXVW RSHQLQJ WKH WUDLOV DYHQXHV ZLOO IROORZ DV ZH WDFNOH DVSHFWVRIHYROXWLRQDQGYDOLGDWLRQ
/DQJXDJHV >)DUTXKDU @ ±)DUTXKDU
$
±
2QWROLQJXD
WXWRULDO
±
KWWS NVO
ZHEVWDQIRUGHGXSHRSOHD[IWXWRULDOSGI
>*HQHVHUHWK @ 0 5 *HQHVHUHWK .QRZOHGJH LQWHUFKDQJH IRUPDW ,Q - $OOHQ 5 )LNHV DQG ( 6DQGHZDOO HGLWRUV 3ULQFLSOHV RI .QRZOHGJH 5HSUHVHQWDWLRQ DQG 5HDVRQLQJ 3URFHHGLQJV RI WKH 6HFRQG ,QWHUQDWLRQDO &RQIHUHQFH .5 0RUJDQ .DXIPDQQ3XEOLVKHUV6DQ)UDQFLVFR&DOLIRUQLD
>+HIOLQ@ ±+HIOLQ- +HQGOHU-±$SRUWUDLWRIWKH6HPDQWLF:HELQ$FWLRQ,((( ,QWHOOLJHQW6\VWHPV±0DUFK$SULOSS
>+HQGOHU@ ± +HQGOHU - 0F*XLQHVV ' ± 7KH '$53$ DJHQW 0DUNXS /DQJXDJH ,(((,QWHOOLJHQW6\VWHPV9RO1RSS
%LEOLRJUDSK\ %RRNV
>0F*XLQHVV@ ± 0F*XLQHVV ' +DUPHOHQ ) ± 2:/ :HE 2QWRORJ\ 2YHUYLHZ ±
>'DYLHV@ ±'DYLHV-)HQVHO' +DPHOOHQ)9HGLWRUV±7RZDUGVWKH
>%HUQHUV/HH@ ± %HUQHUV/HH 7 /DVVLOD 2 +HQGOHU - ± 7KH 6HPDQWLF :HE ±
6HPDQWLF:HE 2QWRORJ\'ULYHQ.QRZOHGJHPDQDJHPHQW±:LOH\DQG6RQV±
6FLHQWLILF$PHULFDQ±0D\±
>*UXEHU @
>)HQVHO@ ±)HQVHO'±2QWRORJLH DVLOYHUEXOOHWIRUNQRZOHGJHPDQDJHPHQWDQG
VSHFLILFDWLRQV±.QRZOHGJH$FTXLVLWLRQ±
HOHFWURQLFFRPPHUFH±6SULQJHU
>+HQGOHU@ +HQGOHU-±$JHQWVDQGWKH6HPDQWLF:HE±,(((,QWHOOLJHQW6\VWHPV
>)HQVHO@ ±)HQVHO' :DKOVWHU: %HUQHUV/HH7 HGLWRUV±6SLQQLQJWKH
±0DUFK$SULOSS
6HPDQWLF:HE±0,73UHVV&DPEULGJH0DVVDFKXVHWWV
>%XUDQDUDFK @ ± %XUDQDUDFK 0 7KH )RXQGDWLRQ IRU 6HPDQWLF ,QWHURSHUDELOLW\ RQ
>*HURLPHQNR@ ±*HURLPHQNR9 &KHQ& HGLWRUV±9LVXDOL]LQJWKH6HPDQWLF
WKH :RUOG :LGH :HE ± 'RFWRUDO WKHVLV 'HSDUWPHQW RI ,QIRUPDWLRQ 6FLHQFH DQG
:HE ;0/%DVHG,QWHUQHWDQG,QIRUPDWLRQ9LVXDOL]DWLRQ±6SULQJHU
7HOHFRPPXQLFDWLRQV 6FKRRO RI ,QIRUPDWLRQ 6FLHQFHV 8QLYHUVLW\ RI 3LWWVEXUJK
>+MHOP@ ±+MHOP+±&UHDWLQJWKH6HPDQWLF:HEZLWK5')±:LOH\
1RYHPEHU
>0DHGFKH@ ± 0DHGFKH $ ± 2QWRORJ\ /HDUQLQJ IRU WKH 6HPDWLF :HE ± .OXZHU
>(YHUHWW@
$FDGHPLF3XEOLVKHUV±
&RQGRUDYGL & YDQ GHU %HUJ 0 3RODQ\L / ± 0DNLQJ 2QWRORJLHV :RUN IRU
>6RZD@ ± 6RZD - ) ± .QRZOHGJH 5HSUHVHQWDWLRQ /RJLFDO 3KLORVRSKLFDO DQG
5HVROYLQJ 5HGXQGDQFLHV $FURVV 'RFXPHQWV ± &RPPXQLFDWLRQV RIWKH$&09RO
&RPSXWDWLRQDO)RXQGDWLRQV±%URRNV&ROH%RRNV3DFLILF*URYH&$±
1R)HEUXDU\
>*DQGRQ@ ± *DQGRQ ) B 2QWRORJ\ (QJLQHHULQJ D VLQWKHVLV ± 3URMHFW $FDFLD ±
:&:RUNLQJ'UDIW0DUFK
*HQHUDO
7RROV
± (YHUHWW -2 %REURZ ' 6WROOH 5 &URXFK 5 3DLYD 9
,15,$7HFKQLFDO5HSRUW ±0DUFK±SDJHV
>*UXQLQJHU@ ± *UXQLQJHU 0 /HH - ,QWURGXFWLRQ WR WKH 2QWRORJ\ $SSOLFDWLRQ
>2LO(GVLWH@ KWWS RLOHGPDQDFXN >(UGPDQQ@
± (UGPDQQ 0 $QJHOH - 6WDDE 6 6WXGHU 5 2QWR(GLW
&ROODERUDWLYH 2QWRORJ\ 'HYHORSPHQW IRU WKH 6HPDQWLF :HE 3URFHHGLQJV RI WKH ILUVW ,QWHUQDWLRQDO 6HPDQWLF :HE &RQIHUHQFH ,6:& -XQH 6DUGLQLD,WDOLD
>%HFKKRIHU@
6HDQ %HFKKRIHU ,DQ +RUURFNV &DUROH *REOH 5REHUW 6WHYHQV
2LO(G D 5HDVRQDEOH 2QWRORJ\ (GLWRU IRU WKH 6HPDQWLF :HE 3URFHHGLQJV RI .,-RLQW*HUPDQ$XVWULDQFRQIHUHQFHRQ$UWLILFLDO,QWHOOLJHQFH6HSWHPEHU 9LHQQD6SULQJHU9HUODJ/1$,9ROSS
>0F*XLQHVV@ ±0F*XLQHVV' )LNHV5 5LFH- :LOGHU6±$Q(QYLURQPHQW IRU 0HUJLQJ DQG 7HVWLQJ /DUJH 2QWRORJLHV ± 3URFHHGLQJV RI WKH 6HYHQWK ,QWHUQDWLRQDO&RQIHUHQFHRQ3ULQFLSOHVRI.QRZOHGJH5HSUHVHQWDWLRQDQG5HDVRQLQJ .5 %UHNHQULGJH&RORUDGR$SULO6DQ)UDQFLVFR 0RUJDQ.DXIPDQQ
)DVW
1R)HEUXDU\±SS
>*XDULQR@
± *XUDULQR 1 :HOW\ & (YDOXDWLQJ 2QWRORJLFDO 'HFLVLRQV ZLWK
2QWRFOHDQ±&RPPXQLFDWLRQVRIWKH$&09RO1R)HEUXDU\±SS
>*XDULQR @
± *XDULQR 1 ± )RUPDO 2QWRORJ\ DQG LQIRUPDWLRQ V\VWHPV ± ,Q
3URFHHGLQJV RI WKH )2,6¶ ± )RUPDO 2QWRORJ\ LQ ,QIRUPDWLRQ 6\VWHPV 7UHQWR ±
>+DGDG @ ±
+DGDG * 'RRUQ -+ .DSODQ *1 /HLWH -&63 ± (QIRTXH
PLGGOHRXW HQ OD FRQVWUXFFLyQ H LQWHJUDFLyQ GH HVFHQDULRV ,, ,EHUR$PHULFDQ :RUNVKRSRQ5HTXLUHPHQWV(QJLQHHULQJ%XHQRV$LUHV6HSWHPEHU 3S
>+RUURFNV @
, +RUURFNV 8 6DWWOHU DQG 6 7RELHV 3UDFWLFDO UHDVRQLQJ IRU
H[SUHVVLYH GHVFULSWLRQ ORJLFV ,Q + *DQ]LQJHU ' 0F$OOHVWHU DQG $ 9RURQNRY
DQG $XWRPDWHG 5HDVRQLQJ /3$5 QXPEHU LQ /HFWXUH 1RWHV LQ $UWLILFLDO
>&KLPDHUD@ ±&KLPDHUDRQWRORJ\HQYLURQPHQW ZZZNVOVWDQIRUGHGXVRIWZDUHFKLPDHUD ±
DQG 'HVLJQ VHFWLRQ ± JXHVW HGLWRUV ± &RPPXQLFDWLRQV RI WKH $&0 ± )HEUXDU\ 9RO
HGLWRUV 3URFHHGLQJV RI WKH WK ,QWHUQDWLRQDO &RQIHUHQFH RQ /RJLF IRU 3URJUDPPLQJ
SS
>)D&7@
± *UXEHU 75 ± $ WUDQVODWLRQ DSSURDFK WR SRUWDEOH RQWRORJ\
&ODVVLILFDWLRQ
RI
7HUPLQRORJLHV
±
722/
KWWS ZZZFVPDQDFXNaKRUURFNV)D&7
>1R\E@ ± 1R\ 1 6LQWHN 0 'HFNHU 6 &UXEH]\ 5 )HUJHUVRQ 5 0XVHQ $ ± &UHDWLQJ 6HPDQWLF :HE &RQWHQWV ZLWK 3URWpJp ± ,((( ,QWHOOLJHQW
,QWHOOLJHQFHSDJHV6SULQJHU9HUODJ
>-DFREV@ ± -DFREV - /LQGHQ $ *DUWQHU *URXS 5HVHDUFK 1RWH 7 $XJXVW
>.DSODQ@
± .DSODQ * +DGDG * 'RRUQ - /HLWH -&63 ±,QVSHFFLyQ GHO
/H[LFR ([WHQGLGR GHO /HQJXDMH± ,Q 3URFHHGLQJV RI WKH :RUNVKRS GH (QJHQKDULD GH
6\VWHPV9RO1RSS
5HTXLVLWRV±:(5¶±5LRGH-DQHLUR%UD]LO±
0HWKRGV
>/DPVZHHUGH @ *RDOGLUHFWHGHODERUDWLRQRIUHTXLUHPHQWVIRUDPHHWLQJVFKHGXOHU
3URFHHGLQJV RI WKH 6HFRQG ,((( ,QWHUQDWLRQDO 6\PSRVLXPRQ5HTXLUHPHQWV(QJLQHHULQJ 5(¶ )HUQDQGH]/RSH] @
0
)HUQDQGH]
$
*RPH]3HUH]
DQG
1
-XULVWR
0(7+2172/2**yPH]3pUH] @ ± *yPH]3pUH] $ ± .QRZOHGJH VKDULQJ DQG UHXVH ± LQ 7KH +DQGERRNRI$SSOLHG([SHUW6\VWHPV&5&3UHVV
&RPSXWHU6RFLHW\3UHVV ±SS
>/HLWH@
/HLWH -&63 +DGDG * 'RRUQ - .DSODQ * ± 6FHQDULR
&RQVWUXFWLRQ 3URFHVV 5HTXLUHPHQWV (QJLQHHULQJ -RXUQDO YRO 1 SS ± 6SULQJHU9HUODJ
>/HLWH @
/HLWH -&63 )UDQFR $ 3 ± 2 XVR GH KLSHUWH[WR QD HOLFLWDomR GH
>*UXQLQJHU @±*UXQLQJHU0 )R[0±0HWKRGRORJ\IRUWKH'HVLJQ
OLQJXDJHQV GH GD DSOLFDomR ± HP $QDLV GR 6LPSyVLR %UDVLOHLUR GH (QJHQKDULD GH
DQG (YDOXDWLRQ RI 2QWRORJLHV 3URFHHGLQJV RI WKH :RUNVKRS RQ EDVLF
6RIWZDUH±HGLWDGRSHOD6RFLHGDGH%UDVLOHLUDGH&RPSXWDomR±SS±
2QWRORJLFDO,VVXHVLQ.QRZOHGJH6KDULQJ±,-&$, &DQDGD
>/HLWH @ /HLWH-&63 )UDQFR$30)UDQFR$6WUDWHJ\IRU&RQFHSWXDO0RGHO
>1R\D@ ±1R\1 0F*XLQHVV'±2QWRORJ\'HYHORSPHQW±$
$FTXLVLWRQ 3URFHHGLQJV RI WKH ,((( ,QWHUQDWLRQDO 6\PSRVLXP RQ 5HTXLUHPHQWV
JXLGH WR FUHDWLQJ \RXU ILUVW RQWRORJ\ ± .6/ 7HFKQLFDO 5HSRUW 6WDQGIRUG8QLYHUVLW\
>6XUH@ ± 6XUH 3ULHWR'LD] @± 3ULHWR'LD]5DQG$UDQJR* HGV 'RPDLQ$QDO\VLVDQG 6RIWZDUH6\VWHPV0RGHOLQJ /RV$ODPLWRV&D ,(((&RPSXWHU6RFLHW\3UHVV
PDQDJHPHQW±:LOH\DQG6RQV±SS
NQRZOHGJH PDQDJHPHQW LQ 'DYLHV - )HQVHO ' +DPHOOHQ )9
>8VKROG @
8VKROG 0 *UXQLQJHU 0 ± 2QWRORJLHV 3ULQFLSOHV
0LQL 7XWRULDO6XPPDU\
0HWKRGV DQG $SSOLFDWLRQV .QRZOHGJH (QJLQHHULQJ 5HYLHZ 9RO
7KHSUHVHQWDWLRQRIWKLVPLQLWXWRULDOZLOOLQFOXGHWKHIROORZLQJWRSLFV D ,QWURGXFWLRQ
1R± SS
E 2QWRORJLHV LQ WKH 6HPDQWLF :HE WKH 7LP %HUQHUV /HH YLVLRQ F 2QWRORJ\
FRQFHSWV G 2QWRORJ\ ODQJXDJHV DQG WRROV H 2QWRORJ\ FRQVWUXFWLRQ RXU DSSURDFK YHUVXV RWKHUV DSSURDFKHV I $SSOLFDWLRQ RQWRORJ\ YHUVXV 'RPDLQ RQWRORJ\ J ([DPSOHVK $SSOLFDWLRQVJ )XUWKHU5HVHDUFK
Proceedings of the 11th IEEE International Requirements Engineering Conference 1090-705X/03 $17.00 © 2003 IEEE
