ABSTRACT
Models lie at the heart of the emerging Model Driven Development (MDD) approach, in which software is developed by repeated transformations of models. Since models are intended as executable specifications, there is a need to provide correctness management on the model level. The underlying hypothesis of this research is that model level tools should be strengthened, to support model elements in a way that would encourage users to take advantage of their features. Furthermore, model transformations should not neglect the translation of model features. This paper explores the practical relevance of detecting Finite Satisfiability problems on the model level. The frequency of occurrence of Finite Satisfiability problems, and the scalability of the efficient FiniteSat algorithm are studied on a set of synthetic class diagrams, created along designed metrics. The contribution of this work is twofold, first in advancing towards creating a benchmark of class diagrams, and second, in the empirical study of the Finite Satisfiability problem.
- Berardi, D., Calvanese, D., Giacomo, D.: Reasoning on uml class diagrams. Artificial Intelligence 168 (2005) 70--118 Google ScholarDigital Library
- Lutz, C., Sattler, U., Tendera, L.: The complexity of finite model reasoning in description logics. Inf. Comput. 199 (2005) 132--171 Google ScholarDigital Library
- Maraee, A., Makarenkov, V., Balaban, M.: Efficient recognition and detection of finite satisfiability problems in uml class diagrams: Handling constrained generalization sets, qualifiers and association class constraints. In: 1st International Workshop on "Model co-evolution and consistency management" (MoDELS'08). (2008)Google Scholar
- Calvanese, D., Lenzerini, M.: On the interaction between isa and cardinality constraints. In: The 10th IEEE Int. Conf. on Data Engineering, Washington, DC, USA, IEEE Computer Society (1994) 204--213 Google ScholarDigital Library
- Lenzerini, M., Nobili, P.: On the satisfiability of dependency constraints in entity-relationship schemata. Information Systems 15(4) (1990) 453--461 Google ScholarDigital Library
- Thalheim, B.: Entity Relationship Modeling, Foundation of Database Technology. Springer-Verlag (2000) Google ScholarDigital Library
- Maraee, A., Balaban, M.: Efficient reasoning about finite satisfiability of uml class diagrams with constrained generalization sets. In: The 3rd European Conference on Model-Driven Architecture, Springer (2007) 17--31 Google ScholarDigital Library
- Chidamber, Kemerer: A metrics suite for object oriented design. IEEE Transactions on Software Engineering 20 (1994) 476--493 Google ScholarDigital Library
- Kim, H., Boldyreff, C.: Developing software metrics applicable to uml models. In: 6th ECOOP Workshop on Quantitative Approaches in Object-Oriented Software Engineering. (2002)Google Scholar
- Manso, M. E., Genero, M., Piattini, M.: No-redundant metrics for uml class diagram structural complexity. In: Lecture Notes in Computer Science: Advanced Information Systems Engineering. (2003)Google Scholar
- Erdos, P., Renyi, A.: On random graphs. In: Publ. Math. Debrecen. Volume 6. (1959) 290--297Google Scholar
- Gogolla, M., Buttner, F., Richters, M.: Use: A uml-based specification environment for validating uml and ocl. Science of Computer Programming (2007) 69:27--34 Google ScholarDigital Library
Index Terms
- Finite satisfiability of class diagrams: practical occurrence and scalability of the FiniteSat algorithm
Recommendations
Finite satisfiability of UML class diagrams with constrained class hierarchy
In memoriam, fault detection and localization, formal methods, modeling and designModels lie at the heart of the emerging model-driven engineering approach. In order to guarantee precise, consistent, and correct models, there is a need for efficient powerful methods for verifying model correctness. Class diagram is the central ...
Consistency of UML class diagrams with hierarchy constraints
NGITS'06: Proceedings of the 6th international conference on Next Generation Information Technologies and SystemsUML class diagrams are probably the most important, well-established, UML model. They play an essential role in the analysis and design of complex systems. UML class diagrams allow the specification of constraints such as cardinality constraints, class ...
Model-driven development based transformation of stereotyped class diagrams to XML schemas in a healthcare context
ER'07: Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applicationsThe health sector uses clinical guidelines as instruments for helping decision making. We are interested in the development of a ubiquitous decision support system (UDSS) for clinical guidelines in order to help the medical staff in their decisions and ...
Comments