Abstract:The Object Constraint Language (OCL) has been applied, along with UML models, for various purposes such as supporting model-based testing, code generation, and automated consistency checking of UML models. However, a lot of challenges have been raised in the literature regarding its applicability in industry such as extensive training, slow learning curve, and significant effort to use OCL due to lack of familiarity of practitioners. To confirm these challenges, empirical evidence is needed, which is severely lacking in the literature. To build such preliminary evidence, we report a controlled experiment that was designed to evaluate OCL by comparing it with Java; a programming language that has also been used to specify constraints on UML models. Results show that the participants using OCL perform as good as the participants working with Java in terms of three objective quality metrics (i.e., completeness, conformance and redundancy) and two subjective metrics (i.e., applicability and confidence level). In addition, the participants using OCL performed consistently well for all the constraints of varying complexity, while fluctuating results were obtained for the participants using Java for the same constraints. Based on the empirical evidence, we can conclude that it does not make much difference to use OCL or Java for specifying constraints on UML models. However, the participants working with OCL performed consistently well on specifying constraints of varying complexity suggesting that OCL can be used to model complicated constraints (commonly observed in industrial applications) with the same quality as for simpler constraints. Moreover, additional analyses on the constraints when using Java and OCL tools revealed that tools are needed to specify fully correct constraints that can be used to support automation.

Research on Visual UML Model Verification Environment

Verifying Aspect-Oriented Programs Using Open Temporal Logic

Object-Oriented Software Design Based on UML

Verification Framework for UML-Based Design of Embedded Systems.

Empirically Evaluating OCL and Java for Specifying Constraints on UML Models

A Verification Method of Security Model Based on UML and Model Checking

UML interaction model-driven runtime verification of Java programs.

ONTOLOGY MODEL VERIFICATION APPROACH BASED ON OCL

A Relational Model for Formal Object-Oriented Requirement Analysis in UML

Model-Based Design and Verification of Automotive Electronics Compliant with Osek/Vdx

Research of Model Checking UML

Validation Environment of Software Architecture Based on OCL

Formal Object-Oriented Method for Modeling Concurrent System

Verifying Aspect-Oriented Models Against Crosscutting Properties

Visualization Modeling of LAMOST Observatory Control System

Environment Model based Requirements Consistency Verification: An Example

Formalizing UML State Machines for Automated Verification -- A Survey

A comprehensive survey of UPPAAL‐assisted formal modeling and verification

An approach for design and formal verification of safety-critical software

Uml State Machine Diagram Driven Runtime Verification Of Java Programs For Message Interaction Consistency

Formalizing UML State Machines for Automated Verification – A Survey