2011³â ÄÄÇ»ÅÍÁ¾ÇÕÇмú´ëȸ
Current Result Document :
ÇѱÛÁ¦¸ñ(Korean Title) |
BPELÀÇ ¸ðµ¨ üŷÀ» À§ÇÑ BPELÀÇ Onion Visual Language º¯È¯ |
¿µ¹®Á¦¸ñ(English Title) |
The Transformation of BPEL into Onion Visual Language For Model-Checking of BPEL |
ÀúÀÚ(Author) |
¿ì¼öÁ¤
ÃÖÀçÈ«
¿ÂÁøÈ£
À̹®±Ù
Sujeong Woo
Jaehong Choe
Jinho On
Moonkun Lee
|
¿ø¹®¼ö·Ïó(Citation) |
VOL 38 NO. 1(B) PP. 0189 ~ 0192 (2011. 06) |
Çѱ۳»¿ë (Korean Abstract) |
Ŭ¶ó¿ìµå ÄÄÇ»Æÿ¡¼ »ç¿ëµÇ´Â À¥ ¼ºñ½ºµéÀº BPEL¿¡ ÀÇÇØ ¿©·¯ ¼ºñ½ºµéÀÌ »õ·Î¿î À¥ ¼ºñ½º·Î Á¶ÇÕ µÇ¾îÁö¸ç, ¼ºñ½º°¡ Á¦´ë·Î µ¿ÀÛÇÏ´ÂÁö¸¦ °ËÁõÇϱâ À§ÇØ Petri nets, Abstract State Machine(ASM), BPECalculusµîÀÇ °ËÁõ ¹æ¹ýÀ» »ç¿ëÇÑ´Ù. ÀÌ·¯ÇÑ °ËÁõ ¹æ¹ýÀº BPELÀ» »ç¿ëÇÏ¿© »õ·Î ¸¸µé¾îÁø À¥ ¼ºñ½ºµéÀÌ ¾ÈÁ¤ÀûÀ¸·Î µ¿ÀÛÇÏ´ÂÁö¸¦ °ËÁõÇÏ´Â °ÍÀ¸·Î, À¥ ¼ºñ½º ¼³°è¿Í °ËÁõÀÌ ¼·Î ºÐ¸®µÇ¾î ÀÖ´Ù. º» ³í¹®¿¡ ¼´Â ¸í¼¼, ºÐ¼® ¹× °ËÁõÀÇ Àü °úÁ¤¿¡¼ ÇÁ·Î¼¼½ºÀÇ Æ÷ÇÔ°ü°è, »óÅÂÁ¤º¸, Interaction, Mobility µîÀ» ±×·¡ÇÁ·Î Ç¥ÇöÇϸç, ÇÑ ´Ü°èÀÇ ±×·¡ÇÁ¸¦ ÅëÇÏ¿© ½Ã½ºÅÛ ÀüüÀÇ º¹Àâµµ ¹× ½Ã½ºÅÛÀÇ ÇàÀ§¸¦ ¿¹ÃøÇÒ ¼ö ÀÖ´Â Onion Visual Language(OVL)À» »ç¿ëÇÏ¿© BPEL·Î ¼³°è µÇ´Â Ŭ¶ó¿ìµå À¥ ¼ºñ½ºµéÀ» OVL·Î º¯È¯ ÈÄ À̸¦ ºÐ¼® ¹× °ËÁõÇÑ´Ù. ÃßÈÄ OVLÀº ¼·Î ´Ù¸¥ Ŭ¶ó¿ìµå ¾È¿¡¼ÀÇ À¥ ¼ºñ½º Àç»ç¿ëÀ» À§ÇÑ µ¿Àϼº °ËÁõÀ» À§ÇÑ ¹æ¹ýÀ¸·Î »ç¿ëµÉ ¼ö ÀÖ´Ù.
|
¿µ¹®³»¿ë (English Abstract) |
|
Å°¿öµå(Keyword) |
|
ÆÄÀÏ÷ºÎ |
PDF ´Ù¿î·Îµå
|