$\require{mediawiki-texvc}$

연합인증

연합인증 가입 기관의 연구자들은 소속기관의 인증정보(ID와 암호)를 이용해 다른 대학, 연구기관, 서비스 공급자의 다양한 온라인 자원과 연구 데이터를 이용할 수 있습니다.

이는 여행자가 자국에서 발행 받은 여권으로 세계 각국을 자유롭게 여행할 수 있는 것과 같습니다.

연합인증으로 이용이 가능한 서비스는 NTIS, DataON, Edison, Kafe, Webinar 등이 있습니다.

한번의 인증절차만으로 연합인증 가입 서비스에 추가 로그인 없이 이용이 가능합니다.

다만, 연합인증을 위해서는 최초 1회만 인증 절차가 필요합니다. (회원이 아닐 경우 회원 가입이 필요합니다.)

연합인증 절차는 다음과 같습니다.

최초이용시에는
ScienceON에 로그인 → 연합인증 서비스 접속 → 로그인 (본인 확인 또는 회원가입) → 서비스 이용

그 이후에는
ScienceON 로그인 → 연합인증 서비스 접속 → 서비스 이용

연합인증을 활용하시면 KISTI가 제공하는 다양한 서비스를 편리하게 이용하실 수 있습니다.

UML 구조 다이어그램과 행위 다이어그램의 일관성 메타검증
Meta-Validation for Consistency between UML Structural Diagram and Behavioral Diagram 원문보기

정보과학회논문지. Journal of KIISE. 소프트웨어 및 응용, v.30 no.12, 2003년, pp.1158 - 1171  

하일규 (영남대학교 컴퓨터공학과) ,  강병욱 (영남대학교 컴퓨터공학과)

초록
AI-Helper 아이콘AI-Helper

UML은 객체지향 모델링에 있어서 표준으로 받아들여지고 있다. UML은 풍부한 구성요소를 가지므로 개발하고자하는 시스템을 상세하게 묘사할 수 있지만, 모델링된 다이어그램의 정확성과 일관성은 보장하지 못한다는 결점을 가진다. 따라서 개발프로세스의 초기단계에서 사용자 모델을 검증함으로써 오류를 최소화하는 것이 중요하다. 본 연구에서는 메타-메타모델과 OCL로 표현된 검증규칙을 이용하여 UML structural 다이어그램과 behavioral 다이어그램의 일관성을 검증하는 방법을 제안한다. 일관성은 하나의 요구사항을 가지고 작성된 structural 다이어그램과 behavioral 다이어그램이 일관성있게 작성되었는지를 판단하기 위한 성질이다. 검증의 첫 번째 작업으로서 UML 다이어그램과 그들사이의 관련요소로 표현된 메타-메타모델을 유도하고, 유도된 메타-메타모델로부터 일관성을 검증하기 위한 규칙을 유도하고, 유도된 검증규칙은 검증작업의 자동화를 위해 OCL과 같은 정형적인 언어로 명세한다. 마지막으로 사례모델을 통해 검증규칙의 유용성을 검증한다.

Abstract ▼ AI-Helper 아이콘AI-Helper

The UML is a widely accepted standard in object-oriented modeling. As the UML is semantically rich, we can describe in detail the system that will be developed, but we cannot guarantee the correctness and consistency of the designed model. Therefore, it is important to minimize the error by verifyin...

주제어

#일관성   #메타모델   #메타검증  

참고문헌 (24)

  1. OMG, OMG Unified Modeling Language Specification Version 1.4, Object Management Group Inc. 2001 

  2. M. Fowler and K. Scott, UML Distilled, Addison-Wesley, 1999 

  3. OMG, Object Constraint Language Specification, OMG Unified Modeling Language Specification Version 1.4, 2001 

  4. J. B. Wormer and A. G. Kleppe, The Object Constraint Language, Addison-Wesley, 1999 

  5. P. Selonen, K. Koskimies and M. Sakkinen, 'How to Make Apples from Oraqnges in UML,' Proc. of the 34 Hewaii International Conference on System Sciences, 2001 

  6. A. Egyed, 'Integrating Architectural Views in UML,' Techical Report USCCSE-99-514, 1999 

  7. 정기원, 조용선, 권성구, '객체지향 설계방법에서 오류 검출과 일관성 점검기법 연구', 한국정보처리학회논문지 제6권 제8호, 1999 

    원문보기 상세보기

  8. 김도형, 정기원, '객체지향 분석과정에서 오류와 일관성 점검 방법', 정보과학회논문지(B) 제26권 제3호, 1999 

  9. A. Tsiolakis and H. Ehrig, 'Consistency analysis of UML class and sequence Diagrams using attributed graph grammars,' Proc. of Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation Systems, Mar. 2000 

  10. A. Tsiolakis, 'Consistency Analysis of UML Class and Sequence Diagrams based on Attributed Typed Graphs and their Transformation,' Technical Report 2000/3, Technical University of Berlin, Mar. 2000 

  11. T. Sunetnanta and A. Finkelsteing. 'Automated Consistency Checking for Multiperspective Software Specifications,' Proc. of the 23rd Internation Conference on Software Engineering, ICSE2001, May 2001 

  12. 조진형, 배두환, 'UML 객체지향 분석 모델의 완전성 및 일관성 진단을 위한 시나리오 검증기법', 정보과학회논문지 제28권 제3호 2001 

    원문보기 상세보기

  13. M. Richters, 'A Precise Approach to Validating UML Models and OCL Constraints,' PhD thesis, University Bremen, Logos Verlag, Berlin, BISS Monographs, No.14, 2002 

  14. B. Hnatkowska, Z. Huzar and J. Magott, 'Consistency Checking in UML Models,' Proc. of 4th International conference on Information Systems Modeling ISM'01, 2001 

  15. M. Richters and M. Gogolla, 'Validating UML models and OCL Constraints,' Proc. of UML2000 - The Unified Modeling Language. Advancing the Standard. Third International Conference, vol. 1939 of LNCS, pp.265-277, Oct. 2000 

  16. P. Bottoni, M. Koch, F. Parisi-Presicce and G. Taentzer, 'Consistency Checking and Visualization of OCL Constraints,' Proc. of UML2000 - The Unified Modeling Language. Advancing the Standard. Third International Conference, vol. 1939 of LNCS, pp.294-308, Oct. 2000 

  17. 김진수, 강권학, 이경환, '제약언어를 이용한 객체 모델 검증시스템'. 한국정보처리학회논문지 제3권 제6호, 1996 

    원문보기 상세보기

  18. G. Booch, J. Rumbaugh and I. Jacobson, The Unified Modeling Language User Guide, Addison-Weslay, 1999 

  19. OMG, UML Semantics, OMG Unified Modeling Language Specification Version 1.4, 2001 

  20. M. Wittmann. 'Ein Interpreter fur OCL,' Diplomarbeit, Ludwig-Maximilians-Universitat Munchen, 2000 

  21. BoldSoft, 'Modelrun,' 2000. Internet: http://www.boldsoft.com/products/modelrun/index.html 

  22. M. Richters, 'The USE tool: A UML-based specification environment,' 2001. Internet: http://www.db.informatik.uni-bremen.de/projects/USE/ 

  23. H. Hussmann, B. Demuth, and F. Finger, 'Modular architecture for a toolset supporting OCL,' Proc. of UML2000 - The Unified Modeling Language. Advancing the Standard. Third International Conference, vol. 1939 of LNCS, pp.278- 293 Oct. 2000 

  24. IBM, 'OCL Parser,' ver.o.3, Internet: http//www3.ibm.com/software/ad/library/standards/ocl.html 

저자의 다른 논문 :

관련 콘텐츠

저작권 관리 안내
섹션별 컨텐츠 바로가기

AI-Helper ※ AI-Helper는 오픈소스 모델을 사용합니다.

AI-Helper 아이콘
AI-Helper
안녕하세요, AI-Helper입니다. 좌측 "선택된 텍스트"에서 텍스트를 선택하여 요약, 번역, 용어설명을 실행하세요.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.

선택된 텍스트

맨위로