On the complexities of consistency checking for restricted UML class diagrams

Theoretical Computer Science

Volumn 411, Issue 2, 2010, Pages 301-323

  Kaneiwa, Ken ^a   Satoh, Ken ^b  

^a NATIONAL INSTITUTE OF INFORMATION AND COMMUNICATIONS TECHNOLOGY   (Japan)

^b NATIONAL INSTITUTE OF INFORMATICS   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

ATTRIBUTE VALUES; CLASS DIAGRAMS; CONSISTENCY CHECKING; COUNTING QUANTIFIERS; DISJOINTNESS; FIRST-ORDER; LOGICAL CONSISTENCY; OPTIMIZED ALGORITHMS; PREDICATE LOGIC; SOFTWARE SYSTEMS; UML CLASS DIAGRAMS; VISUAL SPECIFICATION;

ENCODING (SYMBOLS); FORMAL LOGIC; OPTIMIZATION; PROGRAM DEBUGGING;

GRAPHIC METHODS;

EID: 70449523572     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2009.04.030     Document Type: Article

References (14)

1. Artale A., Calvanese D., Kontchakov R., Ryzhikov V., and Zakharyaschev M. Reasoning over extended er models. Proc. of the 26th Int. Conf. on Conceptual Modeling. LNCS vol. 4801 (2007), Springer 277-292
2. B. Beckert, U. Keller, P.H. Schmitt, Translating the object constraint language into first-order predicate logic, in: Proceedings of VERIFY, Workshop at Federated Logic Conferences, FLoC, 2002, pp. 113-123
3. Berardi D., Calvanese D., and De Giacomo G. Reasoning on UML class diagrams. Artificial Intelligence 168 1-2 (2005) 70-118
4. Donini F.M. Complexity of reasoning. Description Logic Handbook (2003) 96-136
5. Donini F.M., and Massacci F. EXPTIME tableaux for ALC. Artificial Intelligence 124 1 (2000) 87-138
6. A.S. Evans, Reasoning with UML class diagrams, in: Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques, WIFT'98, USA, 1998, pp. 102-113
7. Fowler M. UML Distilled: A Brief Guide to the Standard Modeling Object Language. third edition. Object Technology Series (September 2003), Addison-Wesley
8. E. Franconi, G. Ng, The i.com tool for intelligent conceptual modeling, in: Proceedings of the 7th International Workshop on Knowledge Representation meets Databases, KRDB 2000, 2000, pp. 45-53
9. Kaneiwa K., and Satoh K. Consistency checking algorithms for restricted UML class diagrams. Proceedings of the Fourth International Symposium on Foundations of Information and Knowledge Systems. FoIKS 2006. LNCS vol. 3861 (2006), Springer-Verlag 219-239
10. Kolaitis P.G., and Väänänen J.A. Generalized quantifiers and pebble games on finite structures. Annals of Pure and Applied Logic 74 1 (1995) 23-75
11. Mannila H., and Räihä K.-J. On the complexity of inferring functional dependencies. Discrete Applied Mathematics 40 2 (1992) 237-243
12. Rumbaugh J., Jacobson I., and Booch G. The Unified Modeling Language Reference Manual. 1st edition (1999), Addison-Wesley, Reading, Massachusetts, USA
13. Schewe K.-D., and Thalheim B. Fundamental concepts of object oriented databases. Acta Cybern 11 1-2 (1993) 49-84
14. A. Tsiolakis, 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, 2000, pp. 77-86