TY - GEN
T1 - Efficient reasoning about finite satisfiability of UML class diagrams with constrained generalization sets
AU - Maraee, Azzam
AU - Balaban, Mira
PY - 2007/1/1
Y1 - 2007/1/1
N2 - UML class diagrams play a central role in the design and specification of software, databases and ontologies. The model driven architecture approach emphasizes the central role that models play, towards achieving reliable software. It is important that models aire correct and that problems are detected as early as possible in the software design process. However, current case tools do not support reasoning tasks about class diagrams and enable the construction of erroneous models. There is an urgent need for methods for detecting analysis and design problems. In this paper, we present a linear programming based method for reasoning about finite satisfiability of UML class diagrams with constrained generalization sets. The method is simple and efficient and can be easily added to a case tool. It improves over existing methods that require exponential resources and extends them to new elements of class diagrams.
AB - UML class diagrams play a central role in the design and specification of software, databases and ontologies. The model driven architecture approach emphasizes the central role that models play, towards achieving reliable software. It is important that models aire correct and that problems are detected as early as possible in the software design process. However, current case tools do not support reasoning tasks about class diagrams and enable the construction of erroneous models. There is an urgent need for methods for detecting analysis and design problems. In this paper, we present a linear programming based method for reasoning about finite satisfiability of UML class diagrams with constrained generalization sets. The method is simple and efficient and can be easily added to a case tool. It improves over existing methods that require exponential resources and extends them to new elements of class diagrams.
KW - Cardinality constraints
KW - Class hierarchy structure
KW - Consistency
KW - Finite satisfiability
KW - Generalization set constraints
KW - Reasoning about class diagram
KW - UML class diagram
UR - http://www.scopus.com/inward/record.url?scp=37149008154&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-72901-3_2
DO - 10.1007/978-3-540-72901-3_2
M3 - Conference contribution
AN - SCOPUS:37149008154
SN - 3540729003
SN - 9783540729006
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 17
EP - 31
BT - Model Driven Architecture - Foundations and Applications
PB - Springer Verlag
T2 - 3rd European Conference on Model-Driven Architecture - Foundations and Applications, ECMDA-FA 2007
Y2 - 11 June 2007 through 15 June 2007
ER -