The KIPS Transactions:PartD (정보처리학회논문지D)

Korea Information Processing Society (한국정보처리학회)
권호 표지
DOI QR코드

DOI QR Code

Metamodels and Verification Rules for Verifying the Correctness of UML Diagrams

UML 다이어그램의 정확성 검증을 위한 메타모델과 OCL로 명세한 검증규칙

  • 하일규 (영남대학교 대학원 컴퓨터공학과) ;
  • 강병욱 (영남대학교 전자정보공학부)
  • Published : 2003.10.01
Download PDF
⟨ Previous Next ⟩

Abstract

The consistency of UML diagrams is a nature for checking whether diagrams are coherently designed with only one requirements and the correctness of UML Diagrams, especially it uses OCL(Object Constraint Language) which is standard constraint language in UML. Firstly we devise metamodels that are described with conponent and relationships, then we derive verification rules from each matamodels for verifying correctness and consistency, and then we formally specify the rules with OCL for automatic verification. Finally we verify the rules with USE TOOL.

다이어그램의 일관성이란 하나의 요구사항으로부터 설계된 여러가지 UML 다이어그램이 통일된 의미로 작성되었는가를 나타내는 성질이고, 정확성은 사용자가 작서안 다이어그램이 UML 표준에 적합하게 작성이 되었는가를 나타내는 성질이다. 본 연구에서는 UML(Unified Modeling Language) 버전 1.4 표준에 의해 작성된 객체지향 다이어그램의 일관성과 정확성을 검즈아는 방법으로서 UML 표중의 모델제약언어로 사용되는 OCL(Object Constraint Language)을 이용하여 검증하는 방법을 제시한다. 검증의 초기작업으로서 구성요소와 관계로 표현된 각 다이어그램의 메타모델을 유도하고, 메타 모델을 통해 정확성 및 일관성 검증규칙을 유도한다. 유도된 검증규칙은 명확화와 자동화를 위하여 특징적으로 OCL을 사용하여 정형적으로 명세한다. 명세된 규칙은 USE 도구를 이용하여 그 유용성을 검증한다.

Keywords

References

  1. OMG, 'Object Constraint Language Specification,' OMG Unified Modeling Language Specification Version 1.4, 2001
  2. OMG, 'UML Semantics,' OMG Unified Modeling Language Specification Version 1.4, 2001
  3. OMG, 'OMG Unified Modeling Language Specification Version 1.4,' Object Management Group Inc. 2001, Internet, http://www.omg.org
  4. G. Booch, J. Rumbaugh and I. Jacobson, 'The Unified Modeling Language User Guide,' Addison-Weslay, 1999
  5. M. Fowler and K. Scott, 'UML Distilled,' Addison-Wesley, 1999
  6. J. B. Wormer and A. G. Kleppe, 'The Object Constraint Language,' Addison-Wesley, 1999
  7. M. Richters, 'A Precise Approach to Validating UML Models and OCL Constraints,' PhD thesis, University Bremen, Logos Verlag, Berlin, BISS Monographs, No.14, 2002
  8. B. Hnatkowska, Z. Huzar and J. Magott, 'Consistency Checking in UML Models,' Proc. of 4th International conference on Information Systems Modeling ISM '01, 2001
  9. 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
  10. 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
  11. 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
  12. T. Sunetnanta and A. Finkelsteing, 'Automated Consistency Checking for Multiperspective Software Specifications,' Proc. of the 23rd Internation Conference on Software Engineering, ICSE2001, May, 2001
  13. P. Krishnan, 'Consistency Checks for UML,' Proc. of the 7th Asia-Pacific Software Engineering Conference, pp.162-169, Dec., 2000 https://doi.org/10.1109/APSEC.2000.896695
  14. P. Bottoni, M. Koch, F. Parisi-Presicce and G. Taentzer, 'Consistency Checking and Visualization of OCL Constraints,' Proc. of UML2000 The Unified Modeling Lan guage, Advancing the Standard. Third International Conference, VoJ.l939 of LNCS, pp.294-308, Oct., 2000
  15. P. Anre, A. Romanczuk, J. Royer and A. Vasconcelos, 'Checking the Consistency of UML class Diagram Using Larch Prover,' Proc. of Third Workshop on Rigorous Object-Onented Methods, ROOM '2000, Jan., 2000
  16. 김진수, 강권학, 이경환, '제약언어를 이용한 객체 모델 검증 시스템', 정보처리학회논문지, 제3권 제 6호, 1996.
  17. 조진형, 배두환, 'UML 객지향분석 모델 완전성 및 일관성 진단을 위한 시나리오 검증기법', 정보과학회 논문지, 제 28권 제3호, 2001
  18. 정기원, 조용선, 권성구, '객체지향 설계방법에서 오류검출과 일관성 점검기법 연구', 정보처리논문지, 제6권 제8호, 1999
  19. 김도형, 정기원, '객체지향 분석과정에서 오류와 일관성 점검 방법', 정보과학회논문지(B), 제26권 제3호, 1999
  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.inforrnatik.uni bremen.de/projects/USE/
  23. J. M. Spivey, 'The Z Notation: A Reference Manual,' 2Ed' Programming Research Group University of Oxford, 1998
  24. R. Duke, P, King, G. Rose and G, Smith, 'The Object- Z Specification Language,' Ver.1, 1991
  25. T. Bolognesi and Ed Brinksma, 'Introduction to the ISO Specification Language LOTOS,' Computer Networks and ISDN Systems, 1987 https://doi.org/10.1016/0169-7552(87)90085-7
  26. E. H. Durr and J. V. Katwijk, 'VDM ++ - A Formal Specification Language for Object-oriented Designs,' Proc. of CompEuro '92, pp,214-219, 1992
  27. H. Hussmann, B. Demuth and F. Finger, 'Modular ar: chitecture for a toolset supporting OCL,' Proc. of UML2000 The Unified Modeling Language. Advancing the Stan dard. Third International Conference, Vol.1939 of LNCS, pp,278-293, Oct., 2000
  28. IBM, 'OCL Parser,' ver.o.3, Internet, http://www-3.ibm.com/software/acl/library/standards/ocl.html
  29. J Robbins et al., ArgolUML CASE tool, 2001, Internet, http://www,argouml.org