????1????

??????????????????????ο??????????汾???

????????????????????????????????????Щ??????????????????Щ????????????????????????????????????????????????????????????????????????????????????????ο?????????????????????????????????????
????????????????ò??Σ??????????????????????????????????????????????????????????????????????Щ???

????2?????

?????????????????????????????????????Щ???????????????????????????????????????????????????????ο??????????

????3????

?????????????????????????UML??????????????????????????????????????????

????4??????

????4.1????

??????????????????????????????????????????????????????????????????????????/????????????????????????????????????OMT??Rose??

????4.2???????

????????????????????????????????????????????????????÷??????????????????????????????????????????????????????????????????????????????????????????

????4.3??????

??????????????????????????????????????????????????????????????????????????????????????????????????????????ο???????????????????????????????????????????????????/?????????????????????

????4.4???????

???????????????????????????Щ???????????????????????д??????????????????????Щ??????

????????????????????????????????????????????????Щ?????????????????????????????????????????￡??????????????????н??????????????????????μ??????

???????????????????????????????????????????

?????????????????????????????????????????????????????·???????????????????????????????????

????5???????

????????????????????????????????????е????????????С?飬??????????????????????????????????????????????????e??????е?????????Щ??????????????????????????Щ??á???Щ???????????С????ж??????????????????????????????????????????й?????????????????????????????м????????

????6????????

????????????????????????????????????????????????????????????????????????????????????y???????????????á?

??????????????????????????????????м????????????????????????????????????????г????????????????????????洢??????????????У?????????????????????????????????transientobject????
??????????????????????????????????????????????????????????????磬????????????????????????????????????????????????

??????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????Pre-conditions??Post-conditions?????????????г????????????????????????????????????????????????????????????????