Evaluation of Tools and Slicing Techniques for Efficient Verification of UML/OCL Class Diagrams-Reference-Cited by-同舟云学术

Evaluation of Tools and Slicing Techniques for Efficient Verification of UML/OCL Class Diagrams

Published:2011-09-27 Issue: Volume:2011 Page:1-18
ISSN:1687-8655
Container-title:Advances in Software Engineering
language:en
Short-container-title:Advances in Software Engineering

Author:

Shaikh Asadullah¹²^ORCID,Wiil Uffe Kock¹^ORCID,Memon Nasrullah¹³

Affiliation:

1. The Maersk Mc-Kinney Moller Institute, University of Southern Denmark, 5230 Odense, Denmark

2. Universitat Oberta de Catalunya, Barcelona 08018, Spain

3. Mehran University of Engineering & Technology, Jamshoro 76062, Pakistan

Abstract

UML/OCL class diagrams provide high-level descriptions of software systems. Currently, UML/OCL class diagrams are highly used for code generation through several transformations in order to save time and effort of software developers. Therefore, verification of these class diagrams is essential in order to generate accurate transformations. Verification of UML/OCL class diagrams is a quite challenging task when the input is large (i.e., a complex UML/OCL class diagram). In this paper, we present (1) a benchmark for UML/OCL verification and validation tools, (2) an evaluation and analysis of tools available for verification and validation of UML/OCL class diagrams including the range of UML support for each tool, (3) the problems with efficiency of the verification process for UML/OCL class diagrams, and (4) solution for efficient verification of complex class diagrams.

Publisher

Hindawi Limited

Link

http://downloads.hindawi.com/archive/2011/370198.pdf

Reference18 articles.

1. Lecture Notes in Informatics,2001

2. Workshop on Challenges in MDE,2008

3. Reasoning on UML class diagrams

4. CEUR Workshop Proceedings,2008

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. UCLAONT: Ontology-Based UML Class Models Verification Tool;Applied Sciences;2022-01-28

2. Ontology-Based Verification of UML Class Model XOR Constraint and Dependency Relationship Constraints;Intelligent Automation & Soft Computing;2021

3. Ontology-Based Transformation and Verification of UML Class Model;The International Arab Journal of Information Technology;2020-09-01

4. Domain model slicing and constraint classification for local validation on rich clients;Journal of Systems and Software;2018-03

5. Overview of Slicing and Feedback Techniques for Efficient Verification of UML/OCL Class Diagrams;IEEE Access;2018