An Experimental Scrutiny of Visual Design Modelling: VCL up against UML+OCL

Amalio, Nuno and Briand, Lionel and Kelsen, Pierre (2019) An Experimental Scrutiny of Visual Design Modelling: VCL up against UML+OCL. Empirical Software Engineering. ISSN 1382-3256 (In Press)

WarningThere is a more recent version of this item available.
[img] Text
experiment-paper.pdf - Accepted Version
Restricted to Repository staff only

Download (1MB) | Request a copy

Abstract

The graphical nature of prominent modelling notations, such as the standards UML and SysML, enables them to tap into the cognitive benefits of diagrams. However, these notations hardly exploit the cognitive potential of diagrams and are only partially graphical with invariants and operations being expressed textually. The Visual Contract Language (VCL) aims at improving visual modelling; it tries to (a) maximise diagrammatic cognitive effectiveness, (b) increase visual expressivity, and (c) level of rigour and formality. It is an alternative to UML that does largely pictorially what is traditionally done textually. The paper presents the results of a controlled experiment carried out four times in different academic settings and involving 43 participants, which compares VCL against UML and OCL and whose goal is to provide insight on benefits and limitations of visual modelling. The paper's hypotheses are evaluated using a crossover design with the following tasks: (i) modelling of state space, invariants and operations, (ii) comprehension of modelled problem, (iii) detection of model defects and (iv) comprehension of a given model. Although visual approaches have been used and advocated for decades, this is the first empirical investigation looking into the effects of graphical expression of invariants and operations on modelling and model usage tasks. Results suggest VCL benefits in defect detection, model comprehension, and modelling of operations, providing some empirical evidence on the benefits of graphical software design.

Item Type: Article
Identification Number: https://doi.org/10.1007/s10664-019-09784-9
Date: 23 October 2019
Uncontrolled Keywords: Design; modelling; UML; OCL; VCL; Diagrams; Experiment
Subjects: G400 Computer Science
G600 Software Engineering
Divisions: Faculty of Computing, Engineering and the Built Environment
Faculty of Computing, Engineering and the Built Environment > School of Computing and Digital Technology
Depositing User: Nuno Amalio
Date Deposited: 07 Nov 2019 15:14
Last Modified: 07 Nov 2019 15:14
URI: http://www.open-access.bcu.ac.uk/id/eprint/8355

Available Versions of this Item

Actions (login required)

View Item View Item

Research

In this section...