基于Petri網(wǎng)的Web服務(wù)流程語言的建模和研究.pdf

1、東南大學(xué)碩士學(xué)位論文基于Petri網(wǎng)的Web服務(wù)流程語言的建模和研究姓名：孫智堅(jiān)申請學(xué)位級別：碩士專業(yè)：計(jì)算機(jī)應(yīng)用技術(shù)指導(dǎo)教師：姜浩20070401東南夫?qū)W碩士學(xué)位論文A B S T R A C TA l o n g w i t ht h ed e v e l o p m e n t o f W e b S e r v i c ea n d c o r r e l m i v et e c h n o l o g y a n d t h

2、 ee m e r g e n c e o fm a n ys t a n d a r d so f W e b S e r v i c e , t h ei n t e g r a t e dn e t w o r ke n v i r o n m e n tw a sp r o v i d e da r e l a t i v e l yl o o s ec o m p u t a t i o n a lp l a t f o r

3、m ．T h e p a t t e r no fs o f t w a r ed e v e l o p m e n ti s c o n t i n u a l l yi m p r o v e d , i nt h ed e s i g na n db u s i n e s so r g a n i z a t i o nd o m a i n , S O A ( S e r v i c eO r i e n t e dA r

4、c h i t e c t u r e ) h a so b v i o u ss u p e d o —t y ．I tt u r n e dt ob e 8 n e w m e t h o d t o r e a l i z ei n t e g r a t i n g e n t e r p r i s e s ’b u s i n e s st h a tu s i n g t h ed e f i n i t i o no f

5、 t h eW e b S e r v i c ef l o w t oc o m p o s e a s e r i e so f s e r v i c e si n t oa n i n t e g r a t e df l o w ．B a s e d0 1 1 W S D La n dX M L c r i t e r i o n , B P E Lc o m b i n e dm a n ye l e m e n t so

6、ft r a d i t i o n a l w o r k f l o wa n dp r o c e d u r a lp r o g r a m m i n g l a n g u a g e s ．B P E L c a r ln o to n l yi m p l e m e n te x e c u t a b l eb u s i n e s sp I n 鶘b u ta l s o d e s c r i b et h

7、e i n e x e c u t a b l ea b s t r a c tp r o c e s s ．B P E L w i l lg r a d u a l l y b ea c c e p t e dw i d e l y , a n dm a y b e b e c o m et h ea c t u a lc r i t e f l o na b o m p r o c e s sd e f i n i t i o nl

8、 a n g u a g e ．T h i s p a p e r t a k e s m o d e l i n g a n da n a l y s i so fB P E L b a s e do np e t r i N e ta st h em a i nr e s e a r c hc o n t e n t s ．O nt l l e b a s i so f c o n c l u s i o na n ds u m m

9、 a r i z e st h en o w a d a y sm o d e l i n gm e t h o d o fW e bS e r v i c ep r o c e s s ，t h ep a p e rp r o p o s e st h e d e s c r i i p f i o no f B P E L b a s e do n P e t r iN e t , p u t sf o r w a r da na

10、p p r o a c ho f t r a n s f o r m i n gt h e B P E L t oP e t r iN e t , e x t e n d sB P E L a n d t h e P e t r iN e t a n di n t r o d u c e st i m et ot h e p r o c e s s ．T h et i m e m a n a g e m e n ti n W 曲S e

11、r v i c ep g o c e s si s t h er e s e a r c h o fh o wt o c o n t r o li f l W 曲S e r v i c ep r o c e s se x e c u t i o na n dt h ea i mo f t i m e m a n a g e m e n ti s t oe n h a n c et h ee f f i c i e n c yo f t

12、h em a n a g e m e n t ．I n t h ef o u n d a t i o no f a n a l y z i n g t h em e t h o d s h a db e e np r o v i d e d , t h ep a p e r p r o p o s e st h ec o n c e p t sa n dc o r r e s p o n d i n gm o d e l s o f t

13、 i m ec o n s t r a i n t so f W e b S e r v i c ep r o c e s s ，s t u d i e st h ei n f l u e n c eo ft i m et ot h eo p e r a t i o na n dc o n t r o lo fW e b S e r v i c ep r o c e s s ．e s t a b l i s h e sa m e t h

14、 o do fd e s c f i p t i o n o ft i m e c o n s t r a i n t s b a s e do n “e n t s , p r o p o s e d 鋤a p p r o a c h f o r c h e c k i n g t h ec o n s i s t e n c yo f t i m e c o n s t r a i n t s i n t h ep h a s e

15、so f d e f i n i t i o n a n d e x e c u t i o l lo f t h e m o d e i s ，A R e r ad e e p r e s e a r c h o n t h e s p e c i f i c a t i o n a n d o t h e r e x i s t i n g i n t e g r a t e d d e v e l o p i n ge n v i

16、 r o n m e n t f o rm o d e l i n g b y P e t r iN e t , as p e c i a li n t e g r a t e dd e v e l o p i n ge n v i r o n m e n tf o rB P E Lb a s e d o f f P e t r i N e ‘P N B S ( P e t r i N e t f o r B p e l S y s t

17、 e m ) h a s b e e n d e s i g n e d a n d r e a l i z e d ．F u r t h e r m o r e ，t i m ei s i n t r o d u c e d i n t o t h e s y s t e m , a n dt h ev e r i f i c a t i o n o ft h ec o n s i s t e n c y o ft e m p o r