Logical Reasoning with Object Diagrams in a UML and OCL Tool

被引：0
|
作者：
Khanh-Hoang Doan [1 ]
Gogolla, Martin [1 ]
机构：
[1] Univ Bremen, Dept Comp Sci, D-28359 Bremen, Germany
来源：
DIAGRAMMATIC REPRESENTATION AND INFERENCE, DIAGRAMS 2018 | 2018年 / 10871卷
关键词：
Logical reasoning; UML and OCL model; Object diagram;
D O I：
10.1007/978-3-319-91376-6_79
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
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.
引用
收藏
页码：774 / 778
页数：5
相关论文
共 50 条
  • [1] Reasoning on UML class diagrams with OCL constraints
    Queralt, Anna
    Teniente, Ernest
    [J]. CONCEPTUAL MODELING - ER 2006, PROCEEDINGS, 2006, 4215 : 497 - +
  • [2] QMaxUSE: A new tool for verifying UML class diagrams and OCL invariants
    Wu, Hao
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2023, 228
  • [3] A Tool for Debugging Unsatisfiable Integrity Constraints in UML/OCL Class Diagrams
    Gomez-Gutierrez, Juan Antonio
    Clariso, Robert
    Cabot, Jordi
    [J]. ENTERPRISE, BUSINESS-PROCESS AND INFORMATION SYSTEMS MODELING, 2022, 450 : 267 - 275
  • [4] ITP/OCL: A rewriting-based validation tool for UML plus OCL static class diagrams
    Clavel, Manuel
    Egea, Marina
    [J]. ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, 2006, 4019 : 368 - 373
  • [5] Reasoning about UML/OCL class diagrams using constraint logic programming and formula
    Perez, Beatriz
    Porres, Ivan
    [J]. INFORMATION SYSTEMS, 2019, 81 : 152 - 177
  • [6] Enhancing UML Activity Diagrams using OCL
    Sunitha, E., V
    Samuel, Philip
    [J]. 2013 IEEE INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND COMPUTING RESEARCH (ICCIC), 2013, : 1 - 6
  • [7] Refactoring OCL annotated UML class diagrams
    Slaviša Marković
    Thomas Baar
    [J]. Software & Systems Modeling, 2008, 7 : 25 - 47
  • [8] Expressing UML class diagrams properties with OCL
    Gogolla, M
    Richters, M
    [J]. OBJECT MODELING WITH THE OCL: THE RATIONALE BEHIND THE OBJECT CONSTRAINT LANGUAGE, 2002, 2263 : 85 - 114
  • [9] Refactoring OCL annotated UML class diagrams
    Markovic, SA
    Baar, T
    [J]. MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2005, 3713 : 280 - 294
  • [10] Refactoring OCL annotated UML class diagrams
    Markovic, Slavisa
    Baar, Thomas
    [J]. SOFTWARE AND SYSTEMS MODELING, 2008, 7 (01): : 25 - 47
12345