Browse > Article
http://dx.doi.org/10.3745/KIPSTD.2003.10D.6.971

Metamodels and Verification Rules for Verifying the Correctness of UML Diagrams  

Ha, Il-Kyu (영남대학교 대학원 컴퓨터공학과)
Kang, Byung-Wook (영남대학교 전자정보공학부)
Publication Information
The KIPS Transactions:PartD / v.10D, no.6, 2003 , pp. 971-982 More about this Journal
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.
Keywords
UML; OCL; Consistency; Correctness;
Citations & Related Records
연도 인용수 순위
  • Reference
1 OMG, 'OMG Unified Modeling Language Specification Version 1.4,' Object Management Group Inc. 2001, Internet, http://www.omg.org
2 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
3 IBM, 'OCL Parser,' ver.o.3, Internet, http://www-3.ibm.com/software/acl/library/standards/ocl.html
4 J Robbins et al., ArgolUML CASE tool, 2001, Internet, http://www,argouml.org
5 T. Bolognesi and Ed Brinksma, 'Introduction to the ISO Specification Language LOTOS,' Computer Networks and ISDN Systems, 1987   DOI   ScienceOn
6 E. H. Durr and J. V. Katwijk, 'VDM ++ - A Formal Specification Language for Object-oriented Designs,' Proc. of CompEuro '92, pp,214-219, 1992
7 BoldSoft. 'Modelrun,' 2000, Internet, http://www.boldsoft./com/products/modelrun/index.html
8 M. Richters, 'The USE tool: A UML-based specification environment,' 2001, Internet, http://www.db.inforrnatik.uni bremen.de/projects/USE/
9 J. M. Spivey, 'The Z Notation: A Reference Manual,' 2Ed' Programming Research Group University of Oxford, 1998
10 R. Duke, P, King, G. Rose and G, Smith, 'The Object- Z Specification Language,' Ver.1, 1991
11 조진형, 배두환, 'UML 객지향분석 모델 완전성 및 일관성 진단을 위한 시나리오 검증기법', 정보과학회 논문지, 제 28권 제3호, 2001
12 정기원, 조용선, 권성구, '객체지향 설계방법에서 오류검출과 일관성 점검기법 연구', 정보처리논문지, 제6권 제8호, 1999
13 김도형, 정기원, '객체지향 분석과정에서 오류와 일관성 점검 방법', 정보과학회논문지(B), 제26권 제3호, 1999
14 M. Wittmann, 'Ein Interpreter fur OCL,' Diplomarbeit, Ludwig-Maximilians-Universitat Munchen, 2000
15 P. Krishnan, 'Consistency Checks for UML,' Proc. of the 7th Asia-Pacific Software Engineering Conference, pp.162-169, Dec., 2000   DOI
16 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
17 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
18 김진수, 강권학, 이경환, '제약언어를 이용한 객체 모델 검증 시스템', 정보처리학회논문지, 제3권 제 6호, 1996.
19 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
20 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
21 T. Sunetnanta and A. Finkelsteing, 'Automated Consistency Checking for Multiperspective Software Specifications,' Proc. of the 23rd Internation Conference on Software Engineering, ICSE2001, May, 2001
22 B. Hnatkowska, Z. Huzar and J. Magott, 'Consistency Checking in UML Models,' Proc. of 4th International conference on Information Systems Modeling ISM '01, 2001
23 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
24 J. B. Wormer and A. G. Kleppe, 'The Object Constraint Language,' Addison-Wesley, 1999
25 M. Richters, 'A Precise Approach to Validating UML Models and OCL Constraints,' PhD thesis, University Bremen, Logos Verlag, Berlin, BISS Monographs, No.14, 2002
26 OMG, 'Object Constraint Language Specification,' OMG Unified Modeling Language Specification Version 1.4, 2001
27 OMG, 'UML Semantics,' OMG Unified Modeling Language Specification Version 1.4, 2001
28 G. Booch, J. Rumbaugh and I. Jacobson, 'The Unified Modeling Language User Guide,' Addison-Weslay, 1999
29 M. Fowler and K. Scott, 'UML Distilled,' Addison-Wesley, 1999