• Àüü
  • ÀüÀÚ/Àü±â
  • Åë½Å
  • ÄÄÇ»ÅÍ
´Ý±â

»çÀÌÆ®¸Ê

Loading..

Please wait....

Çмú´ëȸ ÇÁ·Î½Ãµù

Ȩ Ȩ > ¿¬±¸¹®Çå > Çмú´ëȸ ÇÁ·Î½Ãµù > Çѱ¹Á¤º¸°úÇÐȸ Çмú´ëȸ > 2006³â Ãß°è Çмú´ëȸ

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 ´Ù¿î·Îµå