Consistency of UML class, object and statechart diagrams using ontology reasoners

被引：26
|
作者：
Khan, Ali Hanzala [1 ]
Porres, Ivan [1 ]
机构：
[1] Abo Akad Univ, Dept Informat Technol, FI-20520 Turku, Finland
来源：
JOURNAL OF VISUAL LANGUAGES AND COMPUTING | 2015年 / 26卷
关键词：
Consistency; Ontology; UML; Reasoning; CHECKING CONSISTENCY; OWL;
D O I：
10.1016/j.jvlc.2014.11.006
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We propose an automatic approach to analyze the consistency and satisfiability of Unified Modeling Language UML models containing multiple class, object and statechart diagrams using logic reasoners for the Web Ontology Language OWL 2. We describe how to translate UML models in OWL 2 and we present a tool chain implementing this translation that can be used with any standard compliant UML modeling tool. The proposed approach is limited in scope, but is fully automatic and does not require any expertise about OWL 2 and its reasoners from the designer. (C) 2014 The Authors. Published by Elsevier Ltd.
引用
收藏
页码：42 / 65
页数：24
相关论文
共 50 条
  • [1] Formal Definition of Measures for UML Statechart Diagrams Using OCL
    Reynoso, Luis
    Antonio Cruz-Lemus, Juan
    Genero, Marcela
    Piattini, Mario
    APPLIED COMPUTING 2008, VOLS 1-3, 2008, : 846 - +
  • [2] UML Statechart Diagrams on the ADONIS Metamodeling Platform
    Fill, Hans-Georg
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 127 (01) : 27 - 36
  • [3] The impact of structural complexity on the understandability of UML statechart diagrams
    Cruz-Lemus, Jose A.
    Maes, Ann
    Genero, Marcela
    Poels, Geert
    Piattini, Mario
    INFORMATION SCIENCES, 2010, 180 (11) : 2209 - 2220
  • [4] Semantically Configurable Consistency Analysis for Class and Object Diagrams
    Maoz, Shahar
    Ringert, Jan Oliver
    Rumpe, Bernhard
    MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, 2011, 6981 : 153 - 167
  • [5] A Prolog Based Approach to Consistency Checking of UML Class and Sequence Diagrams
    Khai, Zohaib
    Nadeem, Aamer
    Lee, Gang-soo
    SOFTWARE ENGINEERING, BUSINESS CONTINUITY, AND EDUCATION, 2011, 257 : 85 - +
  • [6] Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations
    Ziemann, Paul
    Hoelscher, Karsten
    Gogolla, Martin
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 130 : 263 - 280
  • [7] Meta-validation of UML structural diagrams and behavioral diagrams with consistency rules
    Ha, IK
    Kang, BW
    2003 IEEE PACIFIC RIM CONFERENCE ON COMMUNICATIONS, COMPUTERS, AND SIGNAL PROCESSING, VOLS 1 AND 2, CONFERENCE PROCEEDINGS, 2003, : 679 - 683
  • [8] Class and Object Model Conformance using OWL2 Reasoners
    Khan, Ali Hanzala
    Suenson, Espen
    Porres, Ivan
    12TH SYMPOSIUM ON PROGRAMMING LANGUAGES AND SOFTWARE TOOLS, SPLST' 11, 2011, : 126 - 137
  • [9] Reduction of UML class diagrams
    Linde, G
    DATABASES AND INFORMATION SYSTEMS II, 2002, : 199 - 208
  • [10] From UML Class Diagrams to Aspect-Oriented Class Diagrams Using Graph Transformation
    Aouag, Mouna
    Chaoui, Allaoua
    2013 INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT), 2013, : 458 - 463
12345