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

Asadullah Shaikh | Zendy; Uffe Kock Wiil | Zendy; Nasrullah Memon | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

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

Author(s) -

Asadullah Shaikh,

Uffe Kock Wiil,

Nasrullah Memon

Publication year - 2011

Publication title -

advances in software engineering

Language(s) - English

Resource type - Journals

eISSN - 1687-8663

pISSN - 1687-8655

DOI - 10.1155/2011/370198

Subject(s) - computer science , class diagram , uml tool , applications of uml , object constraint language , unified modeling language , programming language , communication diagram , activity diagram , class (philosophy) , software engineering , software , artificial intelligence

UML/OCL class diagrams provide high-level descriptions ofsoftware systems. Currently, UML/OCL class diagrams are highly usedfor code generation through several transformations in order to save timeand 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 theinput is large (i.e., a complex UML/OCL class diagram). In this paper,we present (1) a benchmark for UML/OCL verification and validationtools, (2) an evaluation and analysis of tools available for verificationand validation of UML/OCL class diagrams including the range of UMLsupport 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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research