Simplification and correctness of UML class diagrams - Focusing on multiplicity and aggregation/composition constraints

Mira Balaban, Azzam Maraee

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

9 Scopus citations

Abstract

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 design problems. Two central constraints in class diagrams are the multiplicity and the aggregation/composition constraints. They are essential in modeling configuration management, features, biology, computer-aided design and database systems. The contribution of this paper involves efficient algorithms for tightening multiplicity constraints that cannot be realized, and for identification of correctness problems that are caused by aggregation/composition constraints. The algorithms are analyzed, and their soundness and completeness properties are proved. We show that these constraints are inter-related, and that the combination of these algorithms strengthens their results.

Original languageEnglish
Title of host publicationModel-Driven Engineering Languages and Systems - 16th International Conference, MODELS 2013, Proceedings
Pages454-470
Number of pages17
DOIs
StatePublished - 7 Nov 2013
Event16th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2013 - Miami, FL, United States
Duration: 29 Sep 20134 Oct 2013

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8107 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference16th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2013
Country/TerritoryUnited States
CityMiami, FL
Period29/09/134/10/13

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science

Fingerprint

Dive into the research topics of 'Simplification and correctness of UML class diagrams - Focusing on multiplicity and aggregation/composition constraints'. Together they form a unique fingerprint.

Cite this