References
- G. Booch, J. Rumbaugh and I. Jacobson, The Unified Modeling Language User Guide Second Edition, Addision Wesley, 2005.
- T. Quatrani, Visual Modeling with Rational Rose 2000 and UML, Addision Wesley, 2000.
- Francisco J. Lucas, Fernando Molina and Ambrosio Toval, "A systematic review of UML model consistency management," Information and Software Technology. vol. 51, no. 12, pp. 1631-1645, 2009. https://doi.org/10.1016/j.infsof.2009.04.009
- M. Usman and A. Nadeem, "A survey of Consistency Checking Techniques for UML Models," Proc. of Advanced Software Engineering & Its Applications, pp. 57-62, 2008.
- Z. Huzar, L. Kuzniarz, G. Reggio and J.L. Sourrouille, "Consistency problems in UMLbased software development," Lecture Notes in Computer Science, vol. 3297, pp. 1-12, 2005.
- G. Engels, J.M. Kuster, R. Heckel and L. Groenewegen, "A methodology for specifying and analyzing consistency of object-oriented behavioral models," Proc. of the 8th European Software Engineering Conference, pp. 186-195, 2001.
- N. Amalio, S. Stepney and F. Polack, "Formal proof from UML models," Lecture Notes in Computer Science, vol. 3308, pp. 418-433, 2004.
- K. Hee, N. Sidorova, L. Somers and M. Voorhoeve, "Consistency in model integration," Data & Knowledge Engineering, vol. 56, no. 1, pp. 4-22, 2006. https://doi.org/10.1016/j.datak.2005.02.004
- R.F. Paige, P.J. Brooke and J.S. Ostroff, "Metamodel-based model conformance and multiview consistency checking," ACM Trans. Softw. Eng. and Methodol. vol. 16, no. 3, 2007.
- V.S.W. Lam and J.A. Padget, "Consistency checking of sequence diagrams and statechart diagrams using the pi-calculus," Proc. of the 5th International Conference, IFM 2005, pp. 347-365, 2005.
- G. Engles, J. H. Hausmann, R. Heckel and S. Sauer, "Testing the Consistency of Dynamic UML diagrams," Proc. of the 6th Integrated Design and Process Science, IDPT 2002, 2002.
- T. Mens, R. V-D. Straeten and J. Simmonds, A Framework for Managing Consistency of Evolving UML Models, chapter 1. Idea Group Inc., 2005.
- B. Graaf and A-V. Deursen, "Model-Driven Consistency Checking of Behavioral Specifications," Proc. of the 4th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES'07, pp. 115-126, 2007.
- A. Egyed, "Instant Consistency Checking for the UML," Proc. of the 28th International Conference on Software Engineering, ICSE'06, pp. 381-390, 2006.
- M. Richters, "A Precise Approach to Validating UML Models and OCL Constraints," PhD thesis. University Bremen, 2002.
- M. Gogolla and M. Richters, "USE:A UML-based specification environment for validating UML and OCL," Science of Computer Programming, vol. 69, no. 1-3, pp. 27-34, 2007. https://doi.org/10.1016/j.scico.2007.01.013
- OMG: Object Constraint Language Specification in OMG Unified Modeling Language Specification Version 2.0, Object Management Group Inc. 2006.
- J. Warmer and A. Kleppe, The Object Constraint Language Precise Modeling with UML, Addison Wesley, 1998.