[논문]OCL에 바탕을 둔 메트릭 기술 언어를 이용한 메트릭의 표현 방법 개선

김태연; 김윤규; 채흥석

doi:10.3745/kipstd.2008.15-d.5.629

OCL에 바탕을 둔 메트릭 기술 언어를 이용한 메트릭의 표현 방법 개선
Method for Improving Description of Software Metrics Using Metric Description Language Based on OCL 원문보기

정보처리학회논문지. The KIPS transactions. Part D. Part D, v.15D no.5, 2008년, pp.629 - 646

김태연 (부산대학교 컴퓨터공학과) , 김윤규 (부산대학교 컴퓨터공학과) , 채흥석 (부산대학교 컴퓨터공학과)

초록
AI-Helper

보다 정확한 표현을 위하여 Object Constraint Language(OCL)을 이용하여 메트릭을 기술하는 연구들이 있다. 그러나 OCL은 Unified Modeling Language(UML)에서 구조적 제약사항을 기술하기 위한 언어이기 때문에 메트릭을 표현하기에는 부적절하다. 본 논문에서는 이러한 문제점을 해결하기 위하여 메트릭을 표현하는 상위 수준의 언어인 Metric Description Language(MDL)을 제안한다. MDL은 복잡한 메트릭의 분할 기술, 집계함수, 대상간의 자동 탐색 기능을 지원하여 OCL의 복잡성 문제점을 해결하고 있다. 또한 본 논문은 MDL을 기술하고 UML 모델을 대상으로 메트릭의 자동 계산을 지원하는 도구를 개발하였다. 그리고 사례연구로 기존에 제시된 다양한 유형의 메트릭을 MDL로 기술하였으며 OCL로 표현된 메트릭보다 단순함을 확인하였다.

Abstract ▼ AI-Helper

Because most metricsin the literatures are described by a natural language, they can be interpreted in an ambigous manner. To cope with this problem, there are some researches to express based on Object Constraint Language(OCL). Because OCL has been proposed to describe structural constraintsfor Unified Modeling Language(UML) diagrams, it is difficult and awkward. In this paper, we propose Metric Description Language(MDL) which is a high level language to describe metrics. MDL supports a modular description of complex metrics, aggregation function, and automatic navigation between entities. Moreover, we develop MetriUs for describing metrics using MDL and supporting an automated computation for UML diagrams. In a case study, we have described a variety of existing metrics using MDL and found that MDL contributes to producing simpler expression of metrics than OCL.

주제어

질의응답

핵심어	질문	논문에서 추출한 답변
	OCL은 어떠한 표준언어인가?	이러한 문제점을 해결하기 위하여 메트릭 기술 언어로서 Object Constraint Language(OCL)[9]을 이용하는 연구가 있어왔다. OCL은 Unified Modeling Language(UML)에서 구조적 제약 사항을 기술하기 위한표준언어이며UML 다이어그램의정보들을 접근하기 위한 풍부한 연산자들을 지원한다. OCL을 이용하여 메트릭을 기술하면 표준언어의 사용으로 언어의 접근성이 높으며, OCL 컴파일러, 평가기, 상용도구, OCL 자바코드 변환기 등의 지원도구가 있다.
	메트릭 기술 언어로 OCL을 사용할 경우 UML 메타모델의 복잡함으로 인하여 메트릭 기술이 어려워지는 이유는 무엇인가?	그러나 OCL을 메트릭 기술 언어로 사용하는 경우에UML 메타모델의 복잡함으로 인하여 메트릭 기술이 어려워진다[10]. 그 이유는OCL이 메타모델의 엔터티들을 탐색하기 위해서는 이들 사이의 경로를 단계적으로 탐색해야 하기때문이다. 또한 OCL은 단순한 집계연산만을 지원하고 있어서 일부 메트릭의 기술시 다른 연산들을 복합적으로 사용해야만 한다. OCL표현식의 복잡함은 메트릭을 기술시 오류 발생 가능성이 높으며 메트릭 정의의 가독성이 떨어진다. 따라서 메트릭 기술자는 메트릭의 기술에 많은 노력이 필요하다.
	MDL이 OCL을 기반으로 하는 이유는 무엇인가?	MDL이 OCL을 기반으로 하는 이유는 OCL의 수학적 기초를 바탕으로 명확하게 메트릭의 정의를 기술할 수 있으며 표준언어로서 OCL을 지원하는 도구들를 이용하여 효율적으로 메트릭을 계산할 수 있기 때문이다. 집합론, 술어논리, 수학적 의미론을 기초로 만들어진 OCL의 특징인 명확성과 정확성은 MDL이 OCL로 변환되면 그 특징을 그대로 가진다.

참고문헌 (41)

S. D. Conte, H. E. Dunsmore, and V. Y. Shen, Software engineering metrics and models: Benjamin-Cummings Publishing Co., Inc. Redwood City, CA, USA, 1986
T. McCabe, “A software complexity measure,” IEEE Trans. Software Engineering, Vol.2, No.12, pp.308-320, 1976

상세보기
S. R. Chidamber, C. F. Kemerer, and C. Mit, “A metrics suite for object oriented design,” Software Engineering, IEEE Transactions on, Vol.20, No.6, pp.476-493, 1994

상세보기
G. Marcela, M. Esperanza, V. Aaron et al., “Building measure-based prediction models for UML class diagram maintainability,” Empirical Software Engineering, Vol.12, No.5, pp.517-549, 2007

상세보기
W. Li, and S. Henry, “Object-oriented metrics that predict maintainability,” Journal of Systems and Software, Vol.23, No.2, pp.111-122, 1993

상세보기
B. Henderson-Sellers, Object-oriented metrics: measures of complexity: Prentice-Hall, Inc. Upper Saddle River, NJ, USA, 1995
L. C. Briand, J. W. Daly, and J. Wust, “A unified framework for cohesion measurement in object-oriented systems,” Empirical Software Engineering, Vol.3, No.1, pp.65-117, 1998

상세보기
L. C. Briand, J. W. Daly, and J. K. Wust, “A unified framework for coupling measurement in object-oriented systems,” IEEE Transactions on Software Engineering, Vol.25, No.1, pp.91-121, 1999

상세보기
O. M. G. UML, “2.0 OCL specification,” OMG Adopted Specification (ptc/03-10-14), 2003
R. Reibing, “Towards a model for object-oriented design measurement,” Proceedings of the 5th International ECOOP Workshop on Quantitative Approaches in Object-Oriented Software Engineering (Budapest, June 2001), pp.71-84, 2001
J. Warmer, and A. Kleppe, The object constraint language: precise modeling with UML: Addison-Wesley Longman Publishing Co., Inc. Boston, MA, USA, 1998
L. Ol'khovich, and D. V. Koznov, “OCL-based automated validation method for UML specifications,” Programming and Computer Software, Vol.29, No.6, pp.323-327, 2003

상세보기
P. Ziemann, and M. Gogolla, “Validating OCL specifications with the use tool an example based on the BART case study,” Electronic Notes in Theoretical Computer Science, Vol.80, pp.157-169, 2003

상세보기
M. Benattou, J. M. Bruel, and N. Hameurlain, “Generating test data from OCL specification,” ECOOP2002 Workshop on Integration and Transformation of UML Models (WITUML02), 2002
L. Reynoso, M. Genero, and M. Piattini, “Towards a metric suite for OCL expressions expressed within UML/OCL models,” Journal of Comptuer Science and Technology, Vol.4, No.1, pp.38-44, 2004
O. M. G. UML, “2.0 superstructure specification,” OMG ed, 2003
M. Richters, A precise approach to validating UML models and OCL constraints: Logos, 2002
Borland. “Together 2007,” http://www.borland.com/together/index.html
Eclipse. “Eclipse MDT 0.9.1,” http://www.eclipse.org/modeling/mdt/
J. Warmer, and A. Kleppe, “Octopus: OCL tool for precise UML specifications,” 2006
A. Toval, V. Requena, and J. L. Fernandez, “Emerging OCL tools,” Software and Systems Modeling, Vol.2, No.4, pp.248-261, 2003

상세보기
D. Chiorean. “OCL environment 2.0.4,” http://lci.cs.ubbcluj.ro/ocle/index.htm
Y. Ledru, S. Dupuy-Chessa, and H. Fadil, “Towards computer-aided design of OCL constraints,” CAiSE'04 Workshops Proceedings, Vol.1, pp.329-338
R. Harrison, S. Counsell, and R. Nithi, “An overview of object-oriented design metrics,” Software Technology and Engineering Practice, 1997. Proceedings., Eighth IEEE International Workshop on [incorporating Computer Aided Software Engineering], pp.230-235, 1997
M. Xenos, D. Stavrinoudis, K. Zikouli et al., “Object-oriented metrics-a survey,” Proceedings of the FESMA 2000, Federation of European Software Measurement Associations, 2000
M. Genero, M. Piattini-Velthuis, J. A. Cruz-Lemus et al., “Metrics for UML models,” UPGRADE, Vol.V, 2004
M. G. Bocco, D. L. Moody, and M. Piattini, “Assessing the capability of internal metrics as early indicators of maintenance effort through experimentation,” J. Softw. Maint. Evol.: Res. Pract,Vol.17, pp.225-246, 2005
R. C. Martin, Agile software development: principles, patterns, and practices: Prentice Hall PTR Upper Saddle River, NJ, USA, 2003
L. Reynoso, M. Genero, M. Piattini et al., “Assessing the impact of coupling on the understandability and modifiability of OCL expressions within UML/OCL combined models,” Software Metrics, 2005. 11th IEEE International Symposium, pp.14-14, 2005
F. G. Wilkie, and T. J. Harmer, “Tool support for measuring complexity in heterogeneous object-oriented software,” Software Maintenance, 2002. Proceedings. International Conference on, pp.152-161, 2002
M. El-Wakil, A. El-Bastawisi, M. Riad et al., “A novel approach to formalize object-oriented design metrics,” in 9th International Conference on Empirical Assessment in Software Engineering 2005
A. L. Baroni, S. Braz, and F. B. Abreu, “Using OCL to formalize object-oriented design metrics definitions,” ECOOP'02 Workshop on Quantitative Approaches in OO Software Engineering, Lecture Notes in Computer Science, 2002
A. L. Baroni, and F. B. Abreu, “Formalizing object-oriented design metrics upon the UML meta-model,” Brazilian Symposium on Software Engineering, Gramado-RS, Brazil, 2002
A. L. Baroni, and F. B. e Abreu, “An OCL-based formalization of the moose metric suite,” 7th ECOOP Workshop on Quantitative Approaches in Object Oriented Software Engineering, 2003
A. L. Baroni, and F. B. e Abreu, “A formal library for aiding metrics extraction,” International Workshop on Object-Oriented Re-Engineering at ECOOP, 2003
E. H. Alikacem, Sahroui, H., “Generic metric extraction framework,” proceedings of the 16th International workshop on software measurement and Metrik Kongress pp.383-390, 2006
SDMetrics. “SDMetrics v2.02,” http://www.sdmetrics.com/index.html
M. Carbone, and G. Santucci, “Fast & serious: a UML based metric for effort estimation,” Proceedings of the 6th ECOOP Workshop on Quantitative Approaches in Object-Oriented Software Engineering (QAOOSE'02)
H. Kim, and C. Boldyreff, “Developing software metrics applicable to UML models,” 6th ECOOP Workshop on Quantitative Approaches in Object-Oriented Software Engineering, 2002
Objecteering. “Objecteering/metrics,” http://www.objecteering.com
M. Clavel, and V. Torres, “MOVA: a tool for modeling, measuring and validating UML class diagrams,” Accepted in the Academic Posters and Demonstrations Session of MODELS 2007, 2007

저자의 다른 논문 :

LOADING...

표제어: PCR

동의어: Packet Collision Rate

용어 설명 출처 목록 (6)

용어 설명: PCR은 세균 특이성이 있는 primer를 이용하여 적은 수의 세균이 있을지라도 쉽게 검출할 수 있는 유용한 방법이며, 이를 이용하여 구강 내 치면세균막이나 타액에서 직접 세균을 검출할 수 있게 되었다[8].

내보내기 구분	파일저장 인쇄 메일전송
구성항목	기본정보 상세정보 관리번호, 논문명, 저널/프로시딩명, 저자 , 발행년, 권, 호, 시작페이지, 끝페이지, 발행기관 관리번호, 논문명, 대등논문명, 저자 , 저널/프로시딩명, 발행기관, 발행년, 발행언어, 권, 호, 시작페이지, 끝페이지, ISBN, ISSN, 주제분야, 키워드, 초록(한글), 초록(영문), 저자(소속기관)
저장형식	Text(ASCII format) Excel format RefWorks Direct Export RIS format (for Reference Manager, ProCite, EndNote), Scholar's Aids, Mendeley
메일정보	받는사람 (필수) @ 보내는사람 (선택) @ 제목 내용 KISTI 검색결과 이메일 서비스
안내	총 건의 자료가 검색되었습니다. 다운받으실 자료의 인덱스를 입력하세요. (1-10,000) 검색결과의 순서대로 최대 10,000건 까지 다운로드가 가능합니다. 데이타가 많을 경우 속도가 느려질 수 있습니다.(최대 2~3분 소요) 다운로드 파일은 UTF-8 형태로 저장됩니다. 파일의 내용이 제대로 보이지 않을실 때는 웹브라우저 상단의 보기 -> 인코딩 -> 자동선택 여부를 확인하십시오. ~ Text(ASCII format) Excel format

연합인증