Consistency and minimality of UML class specifications with multiplicities and uniqueness constraints

First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07

Volumn , Issue , 2007, Pages 411-420

  Feinerer, Ingo ^a   Salzer, Gernot ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SOFTWARE; CONSTRAINT THEORY; OBJECT ORIENTED PROGRAMMING; POLYNOMIALS; SEMANTICS;

ADMISSIBLE CONFIGURATIONS; MULTIPLICITIES; UML CLASS DIAGRAMS; UML CLASS SPECIFICATIONS;

UNIFIED MODELING LANGUAGE;

EID: 34548864081     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TASE.2007.17     Document Type: Conference Paper

References (21)

1. F. Ajili and E. Contejean. Avoiding slack variables in the solving of linear diophantine equations and inequations. Theoretical Computer Science, 173(1): 183-208, 1997.
2. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, 2003.
3. D. Berardi, D. Calvanese, and G. De Giacomo. Reasoning on uml class diagrams using description logic based systems. In Proc. of the KI'2001 Workshop on Applications of Description Logics. CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-44/, 2001.
4. D. Berardi, D. Calvanese, and G. De Giacomo. Reasoning on uml class diagrams. Artificial Intelligence, 168(1-2):70-118, 2005. http://www.inf.unibz.it/-calvanese/papers-html/AIJ-2005.html.
5. D. Calvanese and M. Lenzerini. On the interaction between isa and cardinality constraints. In Proceedings of the 10th IEEE International Conference on Data Engineering (ICDE'94), pages 204-213. IEEE Computer Society Press, 1994.
6. D. Calvanese, M. Lenzerini, and D. Nardi. A unified framework for class based representation formalisms. In Proceedings of the 4th International Conference on the Principles of Knowledge Representation and Reasoning (KR '94), pages 109-120. Morgan Kaufmann, 1994.
7. P. P-S. Chen. The entity-relationship model: toward a unified view of data. ACM Transactions Database Systems, 1(1):9-36, 1976.
8. M. Clausen and A. Fortenbacher. Efficient solution of linear diophantine equations. Journal of Symbolic Computation, 8(1-2):201-216, 1989.
9. E. Contejean and H. Devie. An efficient incremental algorithm for solving systems of linear diophantine equations. Information and Computation, 113(1):143-172, 1994.
10. K. Engel and S. Hartmann. Constructing realizers of semantic entity relationship schemes. Technical report, Universität Rostock, Fachbereich Mathematik, 18051 Rostock, Germany, 1995.
11. I. Feinerer and G. Salzer. Consistency and minimality of uml class specifications with multiplicities and uniqueness constraints. Technical Report FS 2006/1, Technische Universität Wien, Vienna, Austria, 2006.
12. A. Felfernig, G. Friedrich, D. Jannach, and M. Zanker. Configuration knowledge representation using UML/OCL. In UML '02: Proceedings of the 5th International Conference on The Unified Modeling Language, pages 49-62, London, UK, 2002. Springer-Verlag.
13. T. A. for Telecommunications Industry Solutions. Atis telecom glossary 2000, 2000. Approved February 28, 2001 by the American National Standards Institute (ANSI), http://www.atis.org/.
14. O. M. Group. Unified Modeling Language 2.0 Object Constraint Language Specification, 2005. http:// www.omg.org/cgi-bin/doc?ptc/05-06-06 (visited 2007/01/28).
15. O. M. Group. Unified Modeling Language 2.0 Superstructure Specification, 2005. http://www.omg. org/cgi-bin/doc?formal/05-07-04 (visited 2007/01/28).
16. S. Hartmann. Reasoning about participation constraints and chen's constraints. In K.-D. Schewe and X. Zhou, editors, Database Technologies 2003, Proceedings of the 14th Australasian Database Conference, ADC 2003, Adelaide, South Australia, February 2003, volume 17 of CRPIT, pages 105-113. Australian Computer Society, 2003.
17. J. Lagarias. The computational complexity of simultaneous diophantine approximation problems. SIAM Journal on Computing, 14(1):196-209, 1985.
18. M. Lenzerini and P. Nobili. On the satisfiability of dependency constraints in entity-relationship schemata. Information Systems, 15(4):453-461, 1990.
19. A. Rochfeld and H. Tardieu. MERISE: An information system design and development methodology. Information & Management, 6:143-159, 1983.
20. G. Schenner and A. Falkner. Ideas for removing constraint violations with heuristic repair. In Working Notes of Configuration - Papers from the Workshop at ECAI-2002, Lyon, France, July 2002.
21. G. Schenner and G. Fleischanderl. Modifying configurations with model finding. In Proc. IJCAI2003, Acapulco, Mexico, 2003. Morgan Kaufmann.