Efficient reasoning about finite satisfiability of UML class diagrams with constrained generalization sets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4530 LNCS, Issue , 2007, Pages 17-31

  Maraee, Azzam ^a   Balaban, Mira ^a  

^a BEN GURION UNIVERSITY OF THE NEGEV   (Israel)

Author keywords

Cardinality constraints; Class hierarchy structure; Consistency; Finite satisfiability; Generalization set constraints; Reasoning about class diagram; UML class diagram

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; DATA STRUCTURES; FINITE AUTOMATA; HIERARCHICAL SYSTEMS; SOFTWARE DESIGN;

CARDINALITY CONSTRAINTS; CLASS HIERARCHY STRUCTURE; FINITE SATISFIABILITY; GENERALIZATION SET CONSTRAINTS; REASONING ABOUT CLASS DIAGRAMS; UML CLASS DIAGRAM;

UNIFIED MODELING LANGUAGE;

EID: 37149008154     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-72901-3_2     Document Type: Conference Paper

References (21)

1. Balaban, M., Snoval, P.: MEER-An EER Model Enhanced with Structure Methods. Information Systems, vol. 27(4) (2002)
2. Berardi, D., Calvanese, D., Giacomo, D.: Reasoning on UML class diagrams. Artificial Intelligence (2005)
3. Boufares, F., Bennaceur, H.: Consistency Problems in ER-schemas for Database Systems. Information Sciences, Issue 4 (2004)
4. Cadoli, M., Calvanese, D., De Giacomo, G., Mancini, T.: Finite Satisfiability of UML Class Diagrams by Constraint Programming. In: Wallace, M. (ed.) CP 2004. LNCS, vol. 3258, Springer, Heidelberg (2004)
5. Calvanese, D., Lenzerini, M.: On the Interaction between ISA and Cardinality Constraints. In: Proc. of the 10th IEEE Int. Conf. on Data Engineering (1994)
6. Calvanese, D., De Giacomo, G., Lenzerini, M., Nardi, D., Rosati, R.: Description Logic Framework for Information Integration. In: Proceedings of the Sixth International Conference on the Principles of Knowledge Representation and Reasoning (KR'98), pp. 2-13 (1998)
7. Guizzardi, G., Wagner, G., Guarino, N., van Sinderen, M.: An Ontologically wellFounded Profile for UML Conceptual Models. In: Persson, A., Stirna, J. (eds.) CAiSE 2004. LNCS, vol. 3084, Springer, Heidelberg (2004)
8. Hartman, S.: Graph Theoretic Methods to Construct Entity-Relationship Databases. In: Nagl, M. (ed.) WG 1995. LNCS, vol. 1017, Springer, Heidelberg (1995)
9. Hartman, S.: On the Implication Problem for Cardinality Constraints and Functional Dependencies. Ann.Math.Artificial Intelligence (2001)
10. Hartman, S.: Coping with Inconsistent Constraint Specifications. In: Kunii, H.S., Jajodia, S., Sølvberg, A. (eds.) ER 2001. LNCS, vol. 2224, Springer, Heidelberg (2001)
11. Hartman, S.: Soft Constraints and Heuristic Constraint Correction in Entity- Relationship Modeling. In: Bertossi, L., Katona, G.O.H., Schewe, K.-D., Thalheim, B. (eds.) Semantics in Databases. LNCS, vol. 2582, Springer, Heidelberg (2003)
12. Kaneiwa, K., Satoh, S.: Consistency Checking Algorithms for Restricted UML Class Diagrams. In: Proceedings of the Fourth International Symposium on Foundations of Information and Knowledge Systems (2006)
13. Kozlenkov, A., Zisman, A.: Discovering Recording, and Handling Inconsistencies in Software Specifications. Int. J. of Computer and Information Science 5(2) (2004)
14. Lange, C., Chaudron, M., Muskens, J.: In Practice: UML Software Architecture and Design Description. IEEE Software, vol. 23(2) (2006)
15. Lenzerini, M., Nobili, P.: On the Satisfiability of Dependency Constraints in Entity-Relationship Schemata. Information Systems, Vol. 15(4) (1990)
16. Liang, P.: Formalization of Static and Dynamic UML Using Algebraic. Master's thesis, University of Brussel (2001)
17. Maraee, A.: Efficient Methods for Solving Finite Satisfiability Problems in UML class Diagrams. Master' thesis, Ben-Gurion University of the Negev (2007)
18. OMG.: UML 2.0 Superstructure Specification (2005)
19. Rumbaugh, J., Jacobson, G., Booch, G.: The Unified Modeling Language Reference Manual Second Edition. Adison Wesley, London, UK (2004)
20. Thalheim, B.: Entity Relationship Modeling, Foundation of Database Technology. Springer, Heidelberg (2000)
21. Unhelkar, B.: Verification and Validation for Quality of UML 2.0 Models. Addison-Wesley, London, UK (2005)