Browse > Article

OCL Based Specification and Verification of Structural Constraints for UML Analysis Models  

Chae, Heung-Seok (부산대학교 컴퓨터공학과)
Yeom, Keun-Hyuk (부산대학교 컴퓨터공학과)
Publication Information
Journal of KIISE:Software and Applications / v.33, no.2, 2006 , pp. 186-200 More about this Journal
Abstract
Analysis model focuses only on functional requirements and postpones nonfunctional requirements and implementation specific issues until subsequent design activities are undertaken. Based on the analysis models, the design activities are performed by refining and clarifying the analysis models. Thus, the quality of analysis models has a vast impact on the design models. Therefore, much effort should be taken to build correct analysis model. In this paper, we propose a set of structural constraints that analysis models of typical object-oriented development methods should satisfy. Three kinds of constraints are proposed: class related constraints, relation related constraints, and usage related constraints. For each constraint, formal definition and description with OCL are provided. In addition, through a case study with two medium-sired industrial systems, we demonstrated that the proposed approach can help to identify and correct serious deficiencies in object-oriented analysis models.
Keywords
Object-Oriented Analysis Model Validation; OCL;
Citations & Related Records
연도 인용수 순위
  • Reference
1 L. Ol'khovich and D. V. Koznov, 'OCL-Based Automated Validation Method for UML Specifications,' Programming and Computer Science, pp. 323-327, 2003   DOI
2 B. Hnatkowska and A. Walkowiak, 'Consistency Checking of USDP Models,' Workshop on Con-sistency Problems in UML-based Software Development, Oct. 2004
3 L. Kuzniarz, G. Reggio, J. Sourrouille, and Z. Huzar, Workshop on Consistency Problems in UML-based Software Development, UML 2002, 2002
4 B. Hnatkowska, Z. Huzar, J. Kuzniarz, and L. Tuzinkiewics, 'A Systematic Approach to Consis-tency Within UML based Software Development Process,' Workshop on Consistency Problems in UML-based Software Development, Oct. 2002
5 P. Ziemann and M. Gogolla, 'Validating OCL Specifications with the USE Tool - An Example Based on the BART Case Study,' Proc. 8th Int. Workshop on Formal Methods for Industrial Critical Systems, 2003   DOI   ScienceOn
6 M. Richters and M. Gogolla, 'Validating UML Models and OCL Constraints,' Proc. 3rd Int. Conf. Unified Modeling Language, pp. 265-277, 2000
7 M. Gogolla, John and M. Richters, 'Validation of UML and OCL Models by Automatic Snapshot Generation,' Proc. 6th Conf. Unified Modeling Language, pp. 265-279, 2002
8 A. Schleicher and B. Westfechtel, 'Beyond Stereotyping: Metamodeling Approaches for the UML,' Proc. of 34th Hawaii Int. Conf. on System Sciences, 2001
9 T. Ziadi, B. Traverson and J-M. Jezequel, 'From a UML Platform Independent Component Model to Platform Specific Component Models,' Workshop in Software Model Engineering, 2002
10 P. Selonen and J. Xu, 'Validating UML Models Against Architecture Profiles,' ESEC/FSE '03, pp. 58-67, 2003   DOI
11 M. Gogolla and B. Henderson-Sellers, 'Analysis of UML Stereotypes within the UML Metamodel,' Proc. 5th Conf. Unified Modeling Language, pp. 84-99, 2002
12 M. Gogolla, 'Using OCL for Defining Precise, Domain-Specific UML Stereotypes,' Proc. 6th Australian Workshop on Requirement Engineering, 2001
13 Jim Arlow and Ila Neustadt, UML and the Unified Process: Practical Object-Oriented Analysis & Design, Addison-Wesley, 2002
14 D. Rosenberg and K. Scott, Applying Use Case Driven Object Modeling with UML: An Annotated E-Commerce Example, Addison-Wesley, 2001
15 OMG. UML 1.4 Specification. OMG Document formal/04-07-02, 2002
16 J. Warmer and A. Kleppe, The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, 1998
17 OMG. MDA Guide Version 1.0.1. OMG Document formal/03-06-01, 2003
18 I. Jacobson, et al, The Unified Software Development Process, Addison-Wesley, 1999
19 OCL Evaluator http://lci.cs.ubbcluj.ro/ocle
20 I. Jacobson, Object-Oriented Software Engineering: A Use Case Driven Approach, Addison-Wesley, 1992
21 I. Kuzniarz, G. Reggio, J. Sourrouille, Z. Huzar, and M. Staron, Workshop on Consistency Problems in UML-based Software Development II, UML 2003, 2003
22 M. Benattou, J-M. Brnel, and N. Hameurlain, 'Generating Test Data from OCL Specification,' Workshop on Integration and Transformation of UML Models, 2002
23 M. Elaasar and L. Briand, 'An Overview of UML Consistency Management,' Technical Report SCE-04-18, Dept. of Systems and Computer Engineering, Carleton University, Canada
24 Z. Huzar, I. Kuzniarz, G. Reggio, and J. Sourrouille, Workshop on Consistency Problems in UML-based Software Development III, UML 2004, 2004