Specifying and validating structural constraints of analysis class models using OCL

Information and Software Technology

Volumn 50, Issue 5, 2008, Pages 436-448

  Chae, Heung Seok ^a   Yeom, Keunhyuk ^a   Kim, Tae Yeon ^a  

^a Pusan National University   (South Korea)

Author keywords

Class model; OCL; Structural constraints

Indexed keywords

CASE BASED REASONING; CONSTRAINT THEORY; MATHEMATICAL MODELS; QUALITY CONTROL;

ANALYSIS CLASS MODELS; STRUCTURAL CONSTRAINTS;

INFORMATION SYSTEMS;

EID: 38849174353     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.infsof.2007.05.002     Document Type: Article

References (22)

1. Arlow J., and Neustadt I. UML and the Unified Process: Practical Object-Oriented Analysis & Design (2002), Addison-Wesley
2. M. Benattou, J.-M. Bruel, N. Hameurlain, Generating test data from OCL specification, in: Workshop on Integration and Transformation of UML Models Proceedings, 2002.
3. Briand L.C., Daly J.W., and Wüst J.K. A unified framework for cohesion measurement in object-oriented systems. Empirical Software Engineering Journal 1 1 (1998) 65-117
4. M. Gogolla, Using OCL for defining precise, domain-specific UML stereotypes, in: 6th Australian Workshop on Requirement Engineering Proceedings, 2001, pp. 51-60.
5. M. Gogolla, B. Henderson-Sellers, Analysis of UML stereotypes within the UML metamodel, in: 5th Conference on Unified Modeling Language Proceedings, 2002, pp. 84-99.
6. M. Gogolla, J. Bohling, M. Richters, Validation of UML and OCL models by automatic snapshot generation, in: 6th Conference on Unified Modeling Language Proceedings, 2003, pp. 265-279.
7. Gomaa H. Designing Concurrent, Distributed, and Real-time Applications with UML (2000), Addison-Wesley
8. Jacobson I. Object-Oriented Software Engineering: A Use Case Driven Approach (1992), Addison-Wesley
9. Jacobson I., et al. The Unified Software Development Process (1999), Addison-Wesley
10. Ol'khovich L., and Koznov D.V. OCL-based automated validation method for UML specifications. Programming and Computer Science 29 6 (2003) 323-327
11. OMG, UML 1.4 Specification, OMG Document formal/04-07-02, 2002.
12. M. Richters, M. Gogolla, Validating UML models and OCL constraints, in: 3rd International Conference on Unified Modeling Language Proceedings, 2000, pp. 265-277.
13. Rosenberg D., and Scott K. Applying Use Case Driven Object Modeling with UML: An Annotated E-Commerce Example (2001), Addison-Wesley
14. A. Schleicher, B. Westfechtel, Beyond stereotyping: metamodeling approaches for the UML, in: 34th Hawaii International Conference on System Sciences Proceedings, 2001.
15. P. Selonen, J. Xu, Validating UML models against architecture profiles, in: ESEC/FSE '03 Proceedings, 2003, pp. 58-67.
16. TongYang Systems, Orbit: The Component-based Software Development Process, August (2002).
17. Warmer J., and Kleppe A. The Object Constraint Language: Precise Modeling with UML (1998), Addison-Wesley
18. T. Ziadi, B. Traverson, J.-M. Jézéquel. From a UML platform independent component model to platform specific component models, in: Workshop in Software Model Engineering Proceedings, 2002.
19. P. Ziemann, M. Gogolla, Validating OCL specifications with the USE tool - an example based on the BART case study, in: 8th International Workshop on Formal Methods for Industrial Critical Systems Proceedings, 2003, pp. 1-13.
20. Eclipse Modeling Framework, http://www.eclipse.org/modeling/emf/.
21. Graphical Modeling Framework, http://www.eclipse.org/modeling/gmf/.
22. Model Development Tools, http://www.eclipse.org/modeling/mdt/.