Simplification and Correctness of UML Class Diagrams - Focusing on Multiplicity and Aggregation/Composition Constraints.
Lecture Notes in Computer Science, (2013): 454.0-470
Model-driven Engineering requires efficient powerful methods for verifying model correctness and quality. Class Diagram is the central language within UML. Its main problems involve correctness problems, which include the consistency and the finite satisfiability problems, and quality problems, which include the redundancy and incomplete ...More
Full Text (Upload PDF)
PPT (Upload PPT)