Á¤º¸°úÇÐȸ ³í¹®Áö C : ÄÄÇ»ÆÃÀÇ ½ÇÁ¦
ÇѱÛÁ¦¸ñ(Korean Title) |
ÅëÇÕÀû ½Ã½ºÅÛ ºÐ¼®À» À§ÇÑ ¸ðµ¨ º¯È¯ 󸮱âÀÇ ¼³°è ¹× ±¸Çö |
¿µ¹®Á¦¸ñ(English Title) |
Design and Implementation of a Model Transformation Processor for Integrated System Analysis |
ÀúÀÚ(Author) |
Á¤¿µ½Ä
ȲÁ¾¼±
¹éµÎ±Ç
Young-Sik Jeong
Chong-Sun Hwang
Doo-Kwon Baik
|
¿ø¹®¼ö·Ïó(Citation) |
VOL 20 NO. 05 PP. 0717 ~ 0728 (1993. 05) |
Çѱ۳»¿ë (Korean Abstract) |
ÀϹÝÀûÀ¸·Î ½Ã½ºÅÛ ºÐ¼®À» À§ÇÑ Á¢±Ù¹æ¹ýÀº ½Ã¹Ä·¹ÀÌ¼Ç ¹æ¹ý°ú Çؼ®Àû ¹æ¹ý µîÀ» ÀÌ¿ëÇÑ´Ù. ±×·¯³ª Áö±Ý±îÁö´Â °¢ Á¢±Ù¹æ¹ýÀÇ °³º°ÀûÀÎ ÀÌ·Ð ¿¬±¸¸¸ÀÌ ÁøÇàµÇ¾î ¿Ô´Ù. µû¶ó¼ º¸´Ù ½Å·ÚÇÒ ¼ö ÀÖ°í Á¤È®ÇÑ ½Ã½ºÅÛ ºÐ¼®°á°ú¸¦ Á¦°øÇϱâ À§Çؼ´Â °¢ Á¢±Ù¹æ¹ý »çÀÌÀÇ »óÈ£ °ü·Ã¼º¿¡ ´ëÇÑ ¿¬±¸°¡ ¿ä±¸µÈ´Ù. º» ¿¬±¸´Â ½Ã¹Ä·¹ÀÌ¼Ç Çü½Ä¸ðµ¨ÀÇ DEVS(Discrete EVent system Specification)¿Í Çؼ®Àû Çü½Ä¸ðµ¨ÀÇ SPN(Stochastic Petri Net)À» ÀÌ¿ëÇÏ¿© ÅëÇÕÀû ½Ã½ºÅÛ ºÐ¼® ¸ðµ¨¸µ(Intergrated System Analysis Modelling:ISAM) ¹æ¹ý·ÐÀ» Á¦¾ÈÇÑ´Ù. ÅëÇÕÀû ½Ã½ºÅÛ ºÐ¼® ¸ðµ¨¸µ Áö¿øÀ» À§ÇÏ¿© »ç°Ç ½ºÄÉÁ층 ¿ùµå ºä(event scheduling world view)¿¡ ÀÇÇØ DEVS·Î ¸ðµ¨¸µÇÑ ÈÄ, SPNÀ¸·Î º¯È¯ÇÏ´Â À̷аú º¯È¯¹æ¹ýÀ» Á¦½ÃÇÑ´Ù. À̸¦ ±âÃÊ·Î ÀÚµ¿ ¸ðµ¨ º¯È¯ 󸮱â(Model Transformation Processor MTP)¸¦ ¼³°è, ±¸ÇöÇÏ¿© °£´ÜÇÑ ÄÄÇ»ÅÍ ½Ã½ºÅÛ¿¡ Àû¿ëÇÑ »ç·Ê¸¦ º¸ÀδÙ. |
¿µ¹®³»¿ë (English Abstract) |
In general, simulation methods and analytic methods are used for system analysis. However, to date, there has been only the theoretical works on each approach, Therefore it is required that we study on the relationship between each approaches to obtain more reliable and correct system analysis results.
In this paper, we propose the Intergrated System Analysis Modelling(ISAM) methodology using DEVS(Discrete EVent system Specification), one of the simulation formal models and SPN (Stochastic Petri Net), one of the analytic formal models. And we suggest a transformation theory and its method which transforms SPN from DEVS model based on the event scheduling world veiw to support the ISAM. Using these method and theory, we design and implement an automatic Model Transformation Processor(MTP) and apply it to a simple computer system. |
Å°¿öµå(Keyword) |
|
ÆÄÀÏ÷ºÎ |
PDF ´Ù¿î·Îµå
|