基于xyze的uml2.0順序圖的時(shí)序邏輯語義描述研究

1、青島大學(xué)碩士學(xué)位論文基于XYZ/E的UML2.0順序圖的時(shí)序邏輯語義描述研究姓名：朱梅霞申請學(xué)位級別：碩士專業(yè)：計(jì)算機(jī)軟件與理論指導(dǎo)教師：李勁華20070601S e m a n t i c s d e s c r i p t i o n o f U M L 2 ．0S e q u e n c e D i a g r a m sU s i n g t h eT e m p o r a l L o g i c a lL a n g u a

2、 g e X Y Z ／EA b s t r a c tI nt h eU M L s p e c i f i c a t i o n ，m o d e l ’Ss y n t a x i s d e s i g n e dw i t hU M L c l a s sd i a g r a m s a sm e t a m o d e l ，w h i l et h e s t a t i cs e m a n t i c si Sd

3、e s c r i b e d b y0 C L a n d t h ed y n a m i cs e m a n t i c si Sd e s c r i b e d 謝t 1 1 E n g l i s h l a n g u a g e ．T h i s m e t h o d c a n n o t e n s u r e t h e c o m p l e t e n e s s ．c o n s i s t e n c

4、ya n dp r e c i s eo fd e s i g n s ，a n d i t m a y b r i n gm a s s i v ee f f e c t t o t h es u b s e q u e n tw o r k s i nt h es o f t w a r ed e v e l o p m e n t c y c l e ．S e q u e n c ed i a g r a m i so n e o

5、 f t h em o s ti m p o r t a n td y n a m i c d i a g r a m si nU M L ，S O t h ec o r r e c t ，c o m p l e t ea n d c o n s i s t e n ts e m a n t i c so f s e q u e n c ed i a g r a m s i s h e l p f u lf o rt h e r i g

6、 i d a n a l y s i sa n dc o r r e c tv e r i f i c a t i o n o fc o m p l e xs y s t e mm o d e l s ，a sw e l l a sf o r t h es y s t e m s d e v e l o p m e n t ．U M L 2 ．0 s e q u e n c e d i a g r a m s a r e u s e d

7、 t o d e s c r i b e o b j e c t s ’d y n a m i c i n t e r a c t i v eb e h a v i o r sw i t ht h ee m p h a s i s o ne x p r e s s i n g t h et i m e s e q u e n c e o fm e s s a g e se x c h a n g e sw i t h o u t r i

8、 g i dt i m e c o n s t r a i n s ，I ti sa b l et od e s c r i b e i t s s e m a n t i c sw i t h a p p r o p r i a t e t e m p o r a ll o g i c a ll a n g u a g e s ．X Y Z ／Ei s a ne x e c u t a b l el i n e a rt e m p

9、o r a ll o g i c a l l a n g u a g e ，w h i c hC a nr e p r e s e n tb o t hd y n a m i c b e h a v i o ra n d p r o c e d u r ef e a t u r e s ．F o r m a l l ys p e c i f i e db yX Y Z ／E ，s e q u e n c e d i a g r a m

10、sc a n b e a n a l y z e d u n d e r t h eu n i f i e d t e m p o r a ll o g i c a l f r a m e w o r k ．S i n c ed e s c r i b i n g t h es e m a n t i c so f s e q u e n c ed i a g r a m sd i r e c t l y i sd i f f i c

11、u l t ，S Ow e t r yt os e e ka ni n t e r m e d i a t em o d e l ．T h em e t h o d o f c o n t r o lf l o wa n a l y s i si su s e dt oc o n s t r u c tt h ei n t e r m e d i a t em o d e l ．A na p p r o p r i a t ea c t

12、 i v i t yd i a g r a ma m o n g t h es i xw e l l —d e f i n e dU M L2 ．0 a c t i v i t yd i a g r a m si s c h o s e na n de x t e n d e dt oS O —c a l l e dc o n c u r r e n tc o n t r o lf l o wg r a p h( C C F G ) a

13、 st h ei n t e r m e d i a t em o d e l ．As e to f O C L - b a s e d m a p p i n g sb e t w e e nas e q u e n c ed i a g r a m a n daC C F G a r e d e f i n e d ．T h e n at e m p o r a l l o g i c a l s e m a n t i c s o

14、 fs e q u e n c ed i a g r a m s i s g i v e n b a s e d0 1 1 t h e C C F Gu s i n g X Y Z ／E ．F i n a l l y ，t h e a p p l i c a b i l i t y a n df e a s i b i l i t yo f t h e a p p r o a c hi ss h o w n w i t h a c a