Evaluation of Tools and Slicing Techniques for Efficient Verification of UMLOCL Class Diagrams
Joint Authors
Shaikh, Asadullah
Memon, Nasrullah
Wiil, Uffe Kock
Source
Advances in Software Engineering
Issue
Vol. 2011, Issue 2011 (31 Dec. 2011), pp.1-18, 18 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2011-09-27
Country of Publication
Egypt
No. of Pages
18
Main Subjects
Abstract EN
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.
American Psychological Association (APA)
Shaikh, Asadullah& Wiil, Uffe Kock& Memon, Nasrullah. 2011. Evaluation of Tools and Slicing Techniques for Efficient Verification of UMLOCL Class Diagrams. Advances in Software Engineering،Vol. 2011, no. 2011, pp.1-18.
https://search.emarefa.net/detail/BIM-466624
Modern Language Association (MLA)
Shaikh, Asadullah…[et al.]. Evaluation of Tools and Slicing Techniques for Efficient Verification of UMLOCL Class Diagrams. Advances in Software Engineering No. 2011 (2011), pp.1-18.
https://search.emarefa.net/detail/BIM-466624
American Medical Association (AMA)
Shaikh, Asadullah& Wiil, Uffe Kock& Memon, Nasrullah. Evaluation of Tools and Slicing Techniques for Efficient Verification of UMLOCL Class Diagrams. Advances in Software Engineering. 2011. Vol. 2011, no. 2011, pp.1-18.
https://search.emarefa.net/detail/BIM-466624
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-466624