Extracting Reusable Functions by Flow Graph-Based Program Slicing
IEEE Transactions on Software Engineering
Alloy: a lightweight object modelling notation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Maude: specification and programming in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
Dynamic Software Architecture Slicing
COMPSAC '99 23rd International Computer Software and Applications Conference
Using Alloy and UML/OCL to Specify Run-Time Configuration Management: A Case Study
Workshop of the pUML-Group held together with the «UML»2001 on Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists
Context-Free Slicing of UML Class Models
ICSM '05 Proceedings of the 21st IEEE International Conference on Software Maintenance
Software Abstractions: Logic, Language, and Analysis
Software Abstractions: Logic, Language, and Analysis
Constraint Logic Programming using Eclipse
Constraint Logic Programming using Eclipse
UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Slicing UML architectural models
ACM SIGSOFT Software Engineering Notes
Modularization of the UML Metamodel Using Model Slicing
ITNG '08 Proceedings of the Fifth International Conference on Information Technology: New Generations
Verification of UML/OCL Class Diagrams using Constraint Programming
ICSTW '08 Proceedings of the 2008 IEEE International Conference on Software Testing Verification and Validation Workshop
Reasoning on UML class diagrams
Artificial Intelligence
Verification and validation of declarative model-to-model transformations through invariants
Journal of Systems and Software
ECMDA-FA'07 Proceedings of the 3rd European conference on Model driven architecture-foundations and applications
HOL-OCL: a formal proof environment for UML/OCL
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Verification-driven slicing of UML/OCL models
Proceedings of the IEEE/ACM international conference on Automated software engineering
UOST: UML/OCL aggressive slicing technique for efficient verification of models
SAM'10 Proceedings of the 6th international conference on System analysis and modeling: about models
Reasoning on UML class diagrams with OCL constraints
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
UMLtoCSP (UOST): a tool for efficient verification of UML/OCL class diagrams through model slicing
Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering
| Hi-index | 0.00 |
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.