《基于msc的需求建模方法研究》由会员分享,可在线阅读,更多相关《基于msc的需求建模方法研究(70页珍藏版)》请在金锄头文库上搜索。
1、R e s e a r c ho nR e q u i r e m e n t sM o d e l i n gb a s e do nM S C T h e s i sS u b m i t t e dt o Z h e j i a n gN o r m a lU n i v e r s i t y i np a r t i a lf u l f i l l m e n to ft h er e q u i r e m e n t f o rt h ed e g r e eo f M a s t e ro fE n g i n e e r i n g B y L i x i n gY u (
2、 C o m p u t e rS o f t w a r ea n dT h e o r y ) T h e s i sS u p e r v i s o r :P r o f e s s o rZ h o n g y uC h e n M a y ,2 0 1 1 r卜:i卜:b_睁ATl口t3o LrIL,饵-rr, 渐江师范大学学位论文诚信承诺书 我承诺自觉遵守浙江师范大学研究生学术道德规范管理条锣! l 我的学位 论文中凡引用他人已经发袭或来发表番勺成果、数据观点等,均已明确注明并详 细列掰有关文献的名称、作者、年份、刊物名称和出版文献的出版机构、出版地 和叛次等内容。论文中未注明的
3、内容为本人的研究成果。 如有违反,本入接受处罚并承担一切责任, 承诺人( 研究生) , 指导教师: - 4 一岔垮) 学位论文使用授权声明 本人完全了解浙江两范大学有关保留。嫠用学位论文豹规定,却t 学狡有权 谋髯并向国家有关规关或机构送交论文的复印件和电子文档,允许论文被查阅和 惜黼,可以采用影p 、缩印域扫描等手段保存、扼编学位论文一1 蕊敷浙江师蓖大 学可以用不同方式在不同媒体上发表转播论文的全部或部分内容 髁密韵学位论文在解密后遵守此狲议。 柞者签箱j 五蟛导师签名 乏:只期:幻,年岁月巧_ _ 碍 浙江师范大学学位论文独创性声明 本人声明所呈交的学位论文是我个人在导师指导下进行的研究
4、工作及 取得的研究成果。论文中除了特别加以标注和致谢的地方外,不包含其他人 或其他机构已经发表或撰写过的研究成果。其他同志对本研究的启发和所做 的贡献均已在论文中作了明确的声明并表示了谢意。本人完全意识到本声明 的法律结果由本人承担。 作者签名:寺五芰 日期:矽,肛厂月巧,日 参考文献 - - _ 一一_ E n d - U s e rS c e n a r i o s 【C 】I E E ET r a n s a c t i o n s O i lS o i t w a r e E n g i n e e r i n g ,2 0 0 5 ,31 ( 1 2 ) : 1 0 5 6 - 1
5、0 7 3 【3 6 】PB L a d k i n a n d S L e u e I n t e r p r e t i n gm e s s a g ef l o wg r a p h s 明F o r m a lA s p e c t so f C o m p u t i n g , 19 9 5 ,7 ( 5 ) :4 7 3 - 5 0 9 3 7 】J a c q u e sK l e i n , B e n o i tC a i l l a u d , L o i cH e l o u e t M e r g i n gS c e n a r i o s 【Z 】E l e c
6、 t r o n i cN 蛳si n T h e o r e t i c a lC o m p u t e rS c i e n c e 1 3 3 :1 9 3 - 2 1 5 ,2 0 0 5 3 8 1B a r rM ,W e l l sC C a t e g o r yT h e o r yf o rC o m p u t i n gS c i e n c e 【M I S I 】:P r e n t i c eH a l l ,1 9 9 0 3 9 1J L F i a d e i r o C a t e g o r i e sf o rS o f t w a r eE n g
7、 i n e e n n g 【 q S p r i n g e r , B e r l i nH e i d e l b e r gN e w Y o r k , 2 0 0 4 参考文献 【1 9 】S N e j a t ia n dM C h e c h i k “L e t SA g r e et OD i s a g r e e ”【C 】I nP r o c e e d i n g so f2 0 t hI E E E I n t e r n a t i o n a lC o n f e r e n c eo nA u t o m a t e dS o f t w a r eE
8、n g i n e e r i n g ( A S E 0 5 ) ,p a g e s2 8 7 2 9 0 I E E EC o m p u t e rS o c i e t y , 2 0 0 5 【2 0 】A n d r e aA s p e r t i ,G i u s e p p eL o n g o C a t e g o r i e s ,t y p e s ,a n ds t r u c t u r e s :a ni n 臼 o d u c t i o nt o c a t e g o r yt h e o r yf o r t h ew o r k i n gc o m
9、 p u t e rs c i e n t i s t 【M 】M I TP r m sC a m b r i d g e ,1 9 9 1 【2 1 】M a c L a n eS C a t e g o r i e sf o rt h eW o r k i n gM a t h e m a t i c i a n S p r i n g e r - V e d a g , S e c o n dE d i t i o n , 1 9 9 8 【2 2 】S O w r e ,S h a n k a rN ,a n dR u s h b yJ M Ap r o t o t y p ev e
10、r i f i c a t i o ns y s t e m J 】L e c t u r eN o t e si n C o m p u t e rS c i e n c e ,1 9 9 2 ,V o l u m e6 0 7 1 9 9 2 ,7 4 8 - 7 5 2 【2 3 】R a j a r i s h iS i n h a , C h r i s t i a a nJ J P a r e d i s ,P r a d e e pK K h o s l a l ,B e h a v i o r a lM o d e lC o m p o s i t i o n i nS i m
11、 u l a t i o n - B a s e dD e s i g n , P 0 3 0 8 ,3 5 t hA n n u a lS i m u l a t i o nS y m p o s i u m ,2 0 0 2 【2 4 】罗军舟,沈俊,顾冠群从P e t r i 网到形式描述技术和协议工程田软件学报,2 0 0 1 ,11 ( 5 ) 【2 5 】蔡远利,于振华,张新曼多A g e n t 系统形式化建模方法研究2 0 0 7 ( 1 4 ) 【2 6 】W a n gL O b j e c t - 0 r i e n t e dP e t r in e t sf o rm
12、 o d e l i n ga n da n a l y s i so fa u t O m a t e dm a n u f a c t u r i n g s y s t e m sf f C o m p u t e rI n t e g r a t e dM a n u f a c t u r i n gS y s t e m s ( S 0 9 5 1 - - 5 2 4 0 ) ,1 9 9 6 ,2 6 ( 2 ) : 1 1 1 1 2 5 【2 7 】焦文品,史忠植构造M A S 的动态体系结构的模型们计算机学报,2 0 0 0 2 3 ( 7 ) :7 3 2 7 3 7 【
13、2 8 I T U - T I T U T R e c o m m e n d a t i o nZ1 2 0 F o r m a lS e m a n t i c so fM e s s a g e S e q u e n c e C h a r t s S I T U - TG e n e v a , 19 9 8 【2 9 】F R E E M A NW i l l i a m ,M I L L E RE t h a n A nE x p e r i m e n t a lA n a l y s i so fC r y p t o g r a p h i cO v e r h e a d
14、 i nP e r f o r m a n c e - c r i t i c a lS y s t e m s 【A 】P r o c e e d i n g so ft h e7 t hI n t e r n a t i o n a lS y m p o s i u mo n M o d e l i n g ,A n a l y s i sa n dS i m u l a t i o no fC o m p u t e ra n dT e l e c o m m u n i c a t i o nS y s t e m s C M a r y l a n d :C o l l e g eP
15、 a r k , 19 9 9 :3 4 8 - 3 5 7 【3 0 】P o t t e rB e n A nI n t r o d u c t i o nt of o r m a ls p e c i f i c a t i o na n dZr M P r e n t i c eH a l l , 1 9 9 1 【3l 】X uD X ,E I - A r i s sO ,X uw EW a n gL Z A s p e c t - O r i e n t e dM o d e l i n ga n dV e r i f i c a t i o nw i t h F i n i t eS t a t eM a c h i n e s f 1 J O U R N A LO FC O M P U T E RS C I E N C EA N DT E C H N O L O G Y , 2 0 0 9 ,2 4 ( 5 ) :9 4 9 3 2 】S B r i e n , J N i c h o l l s 吼a 1 ZB a s eS t a n d a r d :V e r s i o n l 0 T e c h n i c a lR e p o r tP R G - 10 7 O x f o r d U n