References
- OMG, 'Object Constraint Language Specification,' OMG Unified Modeling Language Specification Version 1.4, 2001
- OMG, 'UML Semantics,' OMG Unified Modeling Language Specification Version 1.4, 2001
- OMG, 'OMG Unified Modeling Language Specification Version 1.4,' Object Management Group Inc. 2001, Internet, http://www.omg.org
- G. Booch, J. Rumbaugh and I. Jacobson, 'The Unified Modeling Language User Guide,' Addison-Weslay, 1999
- M. Fowler and K. Scott, 'UML Distilled,' Addison-Wesley, 1999
- J. B. Wormer and A. G. Kleppe, 'The Object Constraint Language,' Addison-Wesley, 1999
- M. Richters, 'A Precise Approach to Validating UML Models and OCL Constraints,' PhD thesis, University Bremen, Logos Verlag, Berlin, BISS Monographs, No.14, 2002
- B. Hnatkowska, Z. Huzar and J. Magott, 'Consistency Checking in UML Models,' Proc. of 4th International conference on Information Systems Modeling ISM '01, 2001
- 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
- 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
- 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
- T. Sunetnanta and A. Finkelsteing, 'Automated Consistency Checking for Multiperspective Software Specifications,' Proc. of the 23rd Internation Conference on Software Engineering, ICSE2001, May, 2001
- 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
- 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
- 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
- 김진수, 강권학, 이경환, '제약언어를 이용한 객체 모델 검증 시스템', 정보처리학회논문지, 제3권 제 6호, 1996.
- 조진형, 배두환, 'UML 객지향분석 모델 완전성 및 일관성 진단을 위한 시나리오 검증기법', 정보과학회 논문지, 제 28권 제3호, 2001
- 정기원, 조용선, 권성구, '객체지향 설계방법에서 오류검출과 일관성 점검기법 연구', 정보처리논문지, 제6권 제8호, 1999
- 김도형, 정기원, '객체지향 분석과정에서 오류와 일관성 점검 방법', 정보과학회논문지(B), 제26권 제3호, 1999
- M. Wittmann, 'Ein Interpreter fur OCL,' Diplomarbeit, Ludwig-Maximilians-Universitat Munchen, 2000
- BoldSoft. 'Modelrun,' 2000, Internet, http://www.boldsoft./com/products/modelrun/index.html
- M. Richters, 'The USE tool: A UML-based specification environment,' 2001, Internet, http://www.db.inforrnatik.uni bremen.de/projects/USE/
- J. M. Spivey, 'The Z Notation: A Reference Manual,' 2Ed' Programming Research Group University of Oxford, 1998
- R. Duke, P, King, G. Rose and G, Smith, 'The Object- Z Specification Language,' Ver.1, 1991
- 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
- E. H. Durr and J. V. Katwijk, 'VDM ++ - A Formal Specification Language for Object-oriented Designs,' Proc. of CompEuro '92, pp,214-219, 1992
- 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
- IBM, 'OCL Parser,' ver.o.3, Internet, http://www-3.ibm.com/software/acl/library/standards/ocl.html
- J Robbins et al., ArgolUML CASE tool, 2001, Internet, http://www,argouml.org