2006³â Ãß°è Çмú´ëȸ
Current Result Document :
ÇѱÛÁ¦¸ñ(Korean Title) |
ºñÁî´Ï½º ÇÁ·Î¼¼½º Ÿ´ç¼º °ËÁõ ±â¹ý |
¿µ¹®Á¦¸ñ(English Title) |
Validation Checking Mechanisms of Business Processes |
ÀúÀÚ(Author) |
¼³ÁÖ¿µ
¹ÚÁ¤¾÷
±èÇмö
½Å¿µÀç
ÀåÁø±Ù
¹ÚÂùÈñ
±èÅÂÀÎ
¼ÕÁøÇö
|
¿ø¹®¼ö·Ïó(Citation) |
VOL 33 NO. 02 PP. 0001 ~ 0005 (2006. 10) |
Çѱ۳»¿ë (Korean Abstract) |
°ú°Å¿¡ ºñÇØ ÃÖ±Ù¿¡ ºñÁî´Ï½º ÇÁ·Î¼¼½º°¡ ´Ù¾çÇØÁö°í º¹ÀâÇØÁü¿¡ µû¶ó ºñÁî´Ï½º ÇÁ·Î¼¼½º¸¦ µðÀÚÀÎÇÒ¶§ ¹ß»ýÇÒ ¼ö ÀÖ´Â ¹®Á¦Á¡ÀÌ Á¡Â÷ Áõ°¡ÇÏ°í ÀÖ´Ù. ±×·ÎÀÎÇØ ºñÁî´Ï½º ÇÁ·Î¼¼½º °ËÁõÀÇ Á߿伺ÀÌ ³ô¾ÆÁö°í ÀÖÁö¸¸ ¸¹Àº °ËÁõ ¹æ¹ýÀÌ Á¦¾ÈµÇ°í ÀÖÁö ¾ÊÀº ½ÇÁ¤ÀÌ´Ù. ÇÑÆí, ÃÖ±Ù BPMI¿¡¼ ÁÖµµÇÏ´Â BPMN(Business Process Modeling Notation)Àº ºñÁî´Ï½º ÇÁ·Î¼¼½º¸¦ À§ÇÑ Ç¥ÁØÈµÈ ±×·¡ÇÈ Ç¥±â¹ýÀ¸·Î½á BPMNÀ» Áö¿øÇÏ´Â µðÀÚÀÎ ÅøÀ» ÀÌ¿ëÇÏ¸é ´Ù¾çÇÏ°í º¹ÀâÇÑ ÇÁ·Î¼¼½º ȯ°æÀ» ÀϹÝÈµÈ ÇüÅ·ΠµðÀÚÀÎÇÏ°í ºÐ¼®ÇÒ ¼ö ÀÖ´Ù. ÀÌ ³í¹®¿¡¼´Â ÀÌ·¯ÇÑ BPMNÀ¸·Î µðÀÚÀÎÇÒ ¶§ ¹ß»ýÇÒ ¼ö ÀÖ´Â ¹®Á¦Á¡µéÀ» È¿À²ÀûÀ¸·Î °ËÁõÇÒ ¼ö ÀÖ´Â ¸î °¡Áö °ËÁõ±â¹ýÀ» Á¦½ÃÇÑ´Ù. ÀÌ·Î ÀÎÇØ ºñÁî´Ï½º ÇÁ·Î¼¼½º ½ÇÇà ½Ã ¹ß»ýÇÒ ¼ö ÀÖ´Â ¹®Á¦Á¡µéÀ» È¿À²ÀûÀ¸·Î °ËÁõÇÒ ¼ö ÀÖ´Â ¸î °¡Áö °ËÁõ±â¹ýÀ» Á¦½ÃÇÑ´Ù. ÀÌ·Î ÀÎÇØ ºñÁî´Ï½º ÇÁ·Î¼¼½º ½ÇÇà½Ã ¹ß»ýÇÒ ¼ö ÀÖ´Â ¿¡·¯µéÀ» »çÀü¿¡ °ËÁõÇÏ¿© ¿¹±âÄ¡ ¸øÇÑ Å« ºñ¿ëÀ» ÁÙÀÏ ¼ö ÀÖ´Ù. |
¿µ¹®³»¿ë (English Abstract) |
|
Å°¿öµå(Keyword) |
BPMN
ºñÁî´Ï½º ÇÁ·Î¼¼½º
°ËÁõ
¥ð-calculus
|
ÆÄÀÏ÷ºÎ |
PDF ´Ù¿î·Îµå
|