Conference Proceedings

Logical reasoning with object diagrams in a UML and OCL tool

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2018) 10871 LNAI 774-778
DOI: 10.1007/978-3-319-91376-6_79
1Citations
Citations of this article
4Readers
Mendeley users who have this article in their library.
Get full text

Abstract

In this contribution, we introduce an approach to visualize and analyze logical reasoning problems in a UML and OCL tool by using logical puzzles represented with UML diagrams. Logical reasoning is formalized as a UML class diagram model enhanced by OCL restrictions. Puzzle rules and questions are expressed as either partial object diagrams or OCL formulas within the model. Solutions can be found and explored by a tool as object diagrams.

Author supplied keywords

Cite

CITATION STYLE

APA

Doan, K. H., & Gogolla, M. (2018). Logical reasoning with object diagrams in a UML and OCL tool. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10871 LNAI, pp. 774–778). Springer Verlag. https://doi.org/10.1007/978-3-319-91376-6_79

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free