Detecting inconsistencies between UML models using description logic

CEUR Workshop Proceedings

Volumn 81, Issue , 2003, Pages

  Van Der Straeten, Ragnhild ^a   Simmonds, Jocelyn ^a   Mens, Tom ^b  

^a VRIJE UNIVERSITEIT BRUSSEL   (Belgium)

^b UNIVERSITY OF MONS   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; FORMAL LANGUAGES; OBJECT ORIENTED PROGRAMMING; QUERY LANGUAGES; SOFTWARE DESIGN; UNIFIED MODELING LANGUAGE;

DESCRIPTION LOGIC; OBJECT-ORIENTED SOFTWARE DESIGNS; SECOND GENERATION; STATE OF THE ART; UML DIAGRAMS; UML MODEL;

DATA DESCRIPTION;

EID: 47349088511     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. F. Baader, D. McGuinness, D. Nardi, and P.F. Patel-Schneider. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, 2003.
2. Daniela Berardi. Using DLs to reason on UML class diagrams. In Proc. Workshop on Applications of Description Logics, Aachen, Germany, pages 1-11, 2002.
3. H. Ehrig and A. Tsiolakis. Consistency analysis of UML class and sequence diagrams using attributed graph grammars. In H. Ehrig and G. Taentzer, editors, ETAPS 2000 workshop on graph transformation systems, pages 77-86, March 2000.
4. Gregor Engels, Reiko Heckel, and Jochen Malte Küster. Rule-based specification of behavioral consistency based on the UML meta-model. In Martin Gogolla and Cris Kobryn, editors, Proc. Int'l Conf. UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools, number 2185 in Lecture Notes in Computer Science, pages 272-286. Springer-Verlag, October 2001. Toronto, Canada.
5. Gregor Engels, Reiko Heckel, Jochen Malte Küster, and Luuk Groenewegen. Consistency-preserving model evolution through transformations. In Proc. Int'l Conf. UML 2002, number 2460 in Lecture Notes in Computer Science, pages 212-227. Springer-Verlag, October 2002.
6. Gregor Engels, Jochen Malte Küster, Luc Groenewegen, and Reiko Heckel. A methodology for specifying and analyzing consistency of object-oriented behavioral models. In Proc. ESEC/FSE 2001. ACM Press, 2001.
7. Pascal Fradet, Daniel Le Métayer, and Michaël Périn. Consistency checking for multiple view software architectures. In Proc. Int'l Conf. ESEC/FSE'99, volume 1687 of Lecture Notes in Computer Science, pages 410-428. Springer-Verlag, 1999.
8. Volker Haarslev and Ralf Möller. High performance reasoning with very large knowledge bases: A practical case study. In Proc. of Seventeenth International Joint Conference on Artificial Intelligence, pages 161-166. Morgan Kaufmann, 2001.
9. Robert MacGregor. Inside the LOOM description classifier. SIGART Bull., 2(3):88-92, 1991.
10. Object Management Group. Unified Modeling Language specification version 1.5. formal/2003-03-01, March 2003.
11. Jocelyn Simmonds. Consistency maintenance of UML models with description logics. Master's thesis, Department of Computer Science, Vrije Universiteit Brussel, Belgium and Ecole des Mines de Nantes, France, September 2003.
12. Aliki Tsiolakis. Semantic analysis and consistency checking of UML sequence diagrams. Master's thesis, Technische Universität Berlin, April 2001. Technical Report No. 2001-06.