Consistency checking algorithms for restricted UML class diagrams

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

Volumn 3861 LNCS, Issue , 2006, Pages 219-239

  Kaneiwa, Ken ^a   Satoh, Ken ^a  

^a NATIONAL INSTITUTE OF INFORMATICS   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; COMPUTATIONAL METHODS; COMPUTER SOFTWARE; CONSTRAINT THEORY; ERROR ANALYSIS; FORMAL LOGIC; OPTIMIZATION; USER INTERFACES;

AUTOMATIC DEBUGGING; CONSISTENCY CHECKING ALGORITHMS; UML CLASS DIAGRAMS; VISUAL SPECIFICATION;

PROGRAM DEBUGGING;

EID: 33745644485     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11663881_13     Document Type: Conference Paper

References (13)

1. B. Beckert, U. Keller, and P. H. Schmitt. Translating the object constraint language into first-order predicate logic. In Proceedings of VERIFY, Workshop at Federated Logic Conferences (FLoC), 2002.
2. D. Berardi, A. Cali, D. Calvanese, and G. De Giacomo. Reasoning on UML class diagrams. Artificial Intelligence, 168(1-2):70-118, 2005.
3. F. M. Donini. Complexity of reasoning. In Description Logic Handbook, pages 96-136, 2003.
4. F. M. Donini and F. Massacci. EXPTIME tableaux for ALC. Artificial Intelligence, 124(1):87-138, 2000.
5. A. S. Evans. Reasoning with UML class diagrams. In Second IEEE Workshop on Industrial Strength Formal Specification Techniques, WIFT'98, USA, 1998.
6. M. Fowler. UML Distilled: A Brief Guide to the Standard Modeling Object Language. Object Technology Series. Addison-Wesley, third edition, September 2003.
7. E. Franconi and G. Ng. The i.com tool for intelligent conceptual modeling. In KRDB, pages 45-53, 2000.
8. K. Kaneiwa and K. Satoh. Consistency checking algorithms for restricted UML class diagrams. Nil Technical Report, NII-2005-013E, National Institute of Informatics, 2005, http://research.nii.ac.jp/TechReports/05-013E.html.
9. P. G. Kolaitis and J. A. Väänänen, Generalized quantifiers and pebble games on finite structures. Annals of Pure and Applied Logic, 74(1):23-75, 1995.
10. H. Mannila and K.-J. Räihä. On the complexity of inferring functional dependencies. Discrete Applied Mathematics, 40(2):237-243, 1992.
11. J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, Reading, Massachusetts, USA, 1st edition, 1999.
12. K.-D. Schewe and B. Thalheim. Fundamental concepts of object oriented databases. Acta Cybern, 11(1-2):49-84, 1993.
13. A. Tsiolakis and H. Ehrig. Consistency analysis between UML class and sequence diagrams using attributed graph gammars. In Proceedings of joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation Systems, pages 77-86, 2000.