e-ISSN 2231-8542
ISSN 1511-3701

Home / Regular Issue / JTAS Vol. 26 (3) Jul. 2018 / JST-S0444-2018


Validate UML Model and OCL Expressions Using USE Tool

Arifa Bhutto and Dil Muhammad Akbar Hussain

Pertanika Journal of Tropical Agricultural Science, Volume 26, Issue 3, July 2018

Keywords: OCL constraints, static and dynamic, Unified Modelling Language (UML) and Object Constraints Language (OCL), verification and validation

Published on: 31 Jul 2018

Verification and validation of system models at design level has a huge impact on the quality of the system software engineering process. In general, system modeling and designing Unified Modelling Language (UML) is a standard for the design models of the systems. However, verification and validation of UML models at early design level is not available, but somehow Object Constraint Language (OCL) constraints are defined at the class level to ensure that the model is correctly designed. As for the static–dynamic structure, there is no such mechanism defined in UML/OCL that has a huge impact on the development of the software. Our research is focused on providing verifiable UML/OCL models. Our approach using UML-based Specification Environment (USE) for UML class model is integrated with the OCL constraints to check if the model is correctly designed as well as constraints for verification and validation. In USE, the output is shown as the verifiable UML/OCL models by visual graphical models.

ISSN 1511-3701

e-ISSN 2231-8542

Article ID


Download Full Article PDF

Share this article

Recent Articles