References
- I. Jacobson, et al, The Unified Software Development Process, Addison-Wesley, 1999
- OMG. MDA Guide Version 1.0.1. OMG Document formal/03-06-01, 2003
- OMG. UML 1.4 Specification. OMG Document formal/04-07-02, 2002
- J. Warmer and A. Kleppe, The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, 1998
- M. Gogolla, 'Using OCL for Defining Precise, Domain-Specific UML Stereotypes,' Proc. 6th Australian Workshop on Requirement Engineering, 2001
- M. Gogolla and B. Henderson-Sellers, 'Analysis of UML Stereotypes within the UML Metamodel,' Proc. 5th Conf. Unified Modeling Language, pp. 84-99, 2002
- 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
- L. Ol'khovich and D. V. Koznov, 'OCL-Based Automated Validation Method for UML Specifications,' Programming and Computer Science, pp. 323-327, 2003 https://doi.org/10.1023/B:PACS.0000004132.42846.11
- M. Richters and M. Gogolla, 'Validating UML Models and OCL Constraints,' Proc. 3rd Int. Conf. Unified Modeling Language, pp. 265-277, 2000
- P. Selonen and J. Xu, 'Validating UML Models Against Architecture Profiles,' ESEC/FSE '03, pp. 58-67, 2003 https://doi.org/10.1145/940071.940081
- 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 https://doi.org/10.1016/S1571-0661(04)80816-8
- 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
- B. Hnatkowska and A. Walkowiak, 'Consistency Checking of USDP Models,' Workshop on Con-sistency Problems in UML-based Software Development, Oct. 2004
- L. Kuzniarz, G. Reggio, J. Sourrouille, and Z. Huzar, Workshop on Consistency Problems in UML-based Software Development, UML 2002, 2002
- I. Kuzniarz, G. Reggio, J. Sourrouille, Z. Huzar, and M. Staron, Workshop on Consistency Problems in UML-based Software Development II, UML 2003, 2003
- Z. Huzar, I. Kuzniarz, G. Reggio, and J. Sourrouille, Workshop on Consistency Problems in UML-based Software Development III, UML 2004, 2004
- 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
- M. Benattou, J-M. Brnel, and N. Hameurlain, 'Generating Test Data from OCL Specification,' Workshop on Integration and Transformation of UML Models, 2002
- I. Jacobson, Object-Oriented Software Engineering: A Use Case Driven Approach, Addison-Wesley, 1992
- Jim Arlow and Ila Neustadt, UML and the Unified Process: Practical Object-Oriented Analysis & Design, Addison-Wesley, 2002
- D. Rosenberg and K. Scott, Applying Use Case Driven Object Modeling with UML: An Annotated E-Commerce Example, Addison-Wesley, 2001
- OCL Evaluator http://lci.cs.ubbcluj.ro/ocle
- A. Schleicher and B. Westfechtel, 'Beyond Stereotyping: Metamodeling Approaches for the UML,' Proc. of 34th Hawaii Int. Conf. on System Sciences, 2001
- 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