PERTANIKA JOURNAL OF SCIENCE AND TECHNOLOGY

 

e-ISSN 2231-8526
ISSN 0128-7680

Home / Regular Issue / JST 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 Science & Technology, 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 0128-7680

e-ISSN 2231-8526

Article ID

JST-S0444-2018

Download Full Article PDF

Share this article

Recent Articles