Á¤º¸°úÇÐȸ ³í¹®Áö B : ¼ÒÇÁÆ®¿þ¾î ¹× ÀÀ¿ë
ÇѱÛÁ¦¸ñ(Korean Title) |
À¯½ºÄÉÀ̽º ¸ðµ¨¸µÀ» À§ÇÑ ¿ä±¸»çÇ× Áߺ¹ ¹× ºÒÀÏÄ¡ ºÐ¼® |
¿µ¹®Á¦¸ñ(English Title) |
Requirements Redundancy and Inconsistency Analysis for Use Case Modeling |
ÀúÀÚ(Author) |
ÃÖÁøÀç
Ȳ¼±¿µ
|
¿ø¹®¼ö·Ïó(Citation) |
VOL 31 NO. 07 PP. 0869 ~ 0882 (2004. 07) |
Çѱ۳»¿ë (Korean Abstract) |
º» ³í¹®¿¡¼´Â Á¤Çü¹æ¹ý·ÐÀÇ ÀÏ°ü¼º °Ë»ç¹æ¹ýÀ» À¯½ºÄÉÀ̽º ¸ðµ¨¸µ¿¡ Àû¿ëÇÔÀ¸·Î½á ³í¸®ÀûÀ¸·Î ÀÏ°üµÇ°í ±¸Á¶ÈµÈ ¿ä±¸»çÇ× ¸ðµ¨À» »ý¼ºÇÒ ¼ö ÀÖ´Â ¹æ¾ÈÀ» Á¦¾ÈÇÏ¿´´Ù. Á¦¾ÈµÈ ¹æ¾ÈÀ» ÅëÇØ ¼·Î Áߺ¹µÇ°Å³ª Ãæµ¹ÇÒ ¼ö ÀÖ´Â ´ÙÁß »ç¿ëÀÚ°üÁ¡ÀÇ ºÎºÐÀûÀÎ ¿ä±¸»çÇ×µéÀ» ±¸Á¶ÈµÈ ¿ä±¸»çÇ× ¸ðµ¨·Î ÅëÇÕÇÒ ¼ö ÀÖ´Ù. ¿ä±¸»çÇ× ¸ðµ¨ÀÇ ±¸Á¶´Â ¹®¸Æ¸ñÇ¥¿Í °ü½É¿µ¿ªÀÇ Áߺ¹±¸Á¶¸¦ ÅëÇÏ¿© ºÐ¼®µÇ¸ç, ¿ä±¸»çÇ×ÀÇ ¸ðµ¨ÀÇ ÀÏ°ü¼ºÀº ¿ä±¸»çÇ× ÅëÇÕÀÇ ¼ö´ÜÀ¸·Î ¿ä±¸»çÇ× ¸í¼¼ÀÇ Áߺ¹°ü°è¿¡ ±â¹ÝÇÑ ÀÏ°ü¼º °Ë»ç¹æ¹ýÀ» »ç¿ëÇÔÀ¸·Î½á ȹµæµÈ´Ù. Á¦½ÃµÈ ¹æ¹ýÀ» »ç·ÊºÐ¼®¿¡ Àû¿ëÇÑ °á°ú Á¦¾ÈµÈ ¹æ¾ÈÀÌ ¿ä±¸»çÇ×ÀÇ Áߺ¹°ü°è ¹× ºÒÀÏÄ¡¸¦ µµÃâÇÒ ¼ö ÀÖÀ» »Ó¸¸ ¾Æ´Ï¶ó ´ÙÁß »ç¿ëÀÚ°üÁ¡ÀÇ ºÎºÐÀûÀÎ ¿ä±¸»çÇ×µéÀ» ÀÏ°ü¼ºÀ» °®´Â ÅëÇÕµÈ ¿ä±¸»çÇ× ¸ðµ¨·Î ÀüȯÇÔÀ¸·Î½á ¼ÒÇÁÆ®¿þ¾îÀÇ ÇàÀ§¿Í ±â´ÉÀ» ¸íÈ®ÇÏ°Ô ±Ô¸íÇÒ ¼ö ÀÖÀ½À» º¸¿© ÁÖ¾ú´Ù. Á¦¾ÈµÈ ¹æ¾ÈÀ» ÅëÇÏ¿© °³¹ß Ãʱâ´Ü°èÀÇ À¯½ºÄÉÀ̽º ¸ðµ¨¸µ¿¡ ÀÖ¾î¼ ¿ä±¸»çÇ× ºÒÀÏÄ¡ µµÃâ´É·ÂÀ» °ÈÇÒ ¼ö ÀÖÀ¸¸ç, °í°´¸¸Á·À» À§ÇØ »ç¿ëÀÚ¿Í °³¹ßÀÚ°£ÀÇ ÀÇ»ç¼ÒÅëÀ» ÃËÁøÇÒ ¼ö ÀÖ´Ù. |
¿µ¹®³»¿ë (English Abstract) |
This paper proposes an effective method to create logically consistent and structured requirement model by applying consistency control approach of the formal method to the use-case modeling. This method integrates the multi-perspective scattered requirement segments that may overlap and conflict each other into a structured requirement model. The model structure can be analyzed based on context goal and concerned area overlap analysis. The model consistency can be achieved by using specification overlap-based consistency checking method as an integration vehicle. An experimental application to case study shows that the proposed method can successfully identify requirement overlaps and inconsistency. It can also transfer multi-viewpoint requirement segments into a consistently integrated use-case model to clarify software behaviors and functionality. This method helps users to enhance capability to identify specification inconsistency in the use-case modeling at the early stage of software engineering development. The proposed approach can also facilitate communication between users and developers to ensure customer satisfaction. |
Å°¿öµå(Keyword) |
¼ÒÇÁÆ®¿þ¾î °øÇÐ
¿ä±¸°øÇÐ
À¯½ºÄÉÀ̽º
¿ä±¸»çÇ× Áߺ¹
Requirement Engineering
Use Case
Specification overlap
|
ÆÄÀÏ÷ºÎ |
PDF ´Ù¿î·Îµå
|