Usability Assessment of a UML-based Formal Modelling Method
Usability Assessment of a UML-based Formal Modelling Method
Conceptual models of Software Systems provide the material support for documenting and communicating the relevant aspects of the problem domain to stakeholders and system designers. To convey the information effectively, the models should be accessible to users who need to interpret them. The effectiveness of the produced model on the other hand is highly dependent on the modelling language and method. A usable method enables the production of a high quality model. This is beneficial to all stakeholders and stimulates the developers in matching their cognitive processes and exploiting the development environment. This paper presents a series of usability assessments conducted on a method that integrates the use of semi-formal notation, namely the Unified Modelling Language (UML) and a formal notation, namely B. The assessments included a controlled experiment that evaluated the comprehensibility of the produced model and a survey that assessed the modelling process. The experiment identified the notations used in the models as its independent variable. The analysis of the variable in relation to overall comprehension task and comprehension for modification task yielded significant results. The results suggest that the method is able to produce a comprehensible model and is accessible to developers under certain conditions.
Garratt, p.
949a7e95-1648-47e6-85a0-a526dfa98f8e
October 2007
Garratt, p.
949a7e95-1648-47e6-85a0-a526dfa98f8e
Garratt, p.
(2007)
Usability Assessment of a UML-based Formal Modelling Method.
International Conference on Modelling and Simulation MS'07, Terni.
21 - 23 Oct 2007.
Record type:
Conference or Workshop Item
(Paper)
Abstract
Conceptual models of Software Systems provide the material support for documenting and communicating the relevant aspects of the problem domain to stakeholders and system designers. To convey the information effectively, the models should be accessible to users who need to interpret them. The effectiveness of the produced model on the other hand is highly dependent on the modelling language and method. A usable method enables the production of a high quality model. This is beneficial to all stakeholders and stimulates the developers in matching their cognitive processes and exploiting the development environment. This paper presents a series of usability assessments conducted on a method that integrates the use of semi-formal notation, namely the Unified Modelling Language (UML) and a formal notation, namely B. The assessments included a controlled experiment that evaluated the comprehensibility of the produced model and a survey that assessed the modelling process. The experiment identified the notations used in the models as its independent variable. The analysis of the variable in relation to overall comprehension task and comprehension for modification task yielded significant results. The results suggest that the method is able to produce a comprehensible model and is accessible to developers under certain conditions.
This record has no associated files available for download.
More information
Published date: October 2007
Additional Information:
Event Dates: 22-24 oct 2007
Venue - Dates:
International Conference on Modelling and Simulation MS'07, Terni, 2007-10-21 - 2007-10-23
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 265183
URI: http://eprints.soton.ac.uk/id/eprint/265183
PURE UUID: b2e59446-7222-44d1-b52e-61161c5a567d
Catalogue record
Date deposited: 18 Feb 2008 14:39
Last modified: 10 Dec 2021 21:53
Export record
Contributors
Author:
p. Garratt
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics