Comprehensibility of UML-based formal model - A series of controlled experiments

Rozilawati Razali, Colin F. Snook, Michael R. Poppleton

Research output: Chapter in Book/Report/Conference proceedingConference contribution

8 Citations (Scopus)

Abstract

This paper summarises two controlled experiments conducted on a model that integrates the use of semi-formal notation, the Unified Modelling Language (UML) and a formal notation, B. The experiments assessed the comprehensibility of the model, namely UML-B. The first experiment compared the comprehensibility of a UML-B model and a B model. In the second experiment, the model was compared with an Event-B model, a new generation of B. The experiments assessed the ability of the model to present information and to promote problem domain understanding. The measurement focused on the efficiency in performing the comprehension tasks. The experiments employed a cross-over design and were conducted on third-year and masters students. The results suggest that the integration of semi-formal and formal notations expedites the subjects' comprehension tasks with accuracy even with limited hours of training.

Original languageEnglish
Title of host publicationProc. - 1st ACM Int. Workshop on Empirical Assessment of Software Engineering Languages and Technologies, WEASELTech 2007, Held with the 22nd IEEE/ACM Int. Conf. Automated Software Eng., ASE 2007
Pages25-30
Number of pages6
DOIs
Publication statusPublished - 2007
Externally publishedYes
Event1st International ACM Workshop on Empirical Assessment of Software Engineering Languages and Technologies, WEASELTech 2007, Held in Conjunction with the 22nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2007 - Atlanta, GA
Duration: 5 Nov 20075 Nov 2007

Other

Other1st International ACM Workshop on Empirical Assessment of Software Engineering Languages and Technologies, WEASELTech 2007, Held in Conjunction with the 22nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2007
CityAtlanta, GA
Period5/11/075/11/07

Fingerprint

Unified Modeling Language
Formal Model
Series
Experiment
Notation
Experiments
Model
Crossover Design
Event-B
Integrate
Students

Keywords

  • empirical assessment
  • notation comprehensibility
  • semi-formal and formal notations

ASJC Scopus subject areas

  • Computational Theory and Mathematics
  • Software
  • Theoretical Computer Science

Cite this

Razali, R., Snook, C. F., & Poppleton, M. R. (2007). Comprehensibility of UML-based formal model - A series of controlled experiments. In Proc. - 1st ACM Int. Workshop on Empirical Assessment of Software Engineering Languages and Technologies, WEASELTech 2007, Held with the 22nd IEEE/ACM Int. Conf. Automated Software Eng., ASE 2007 (pp. 25-30) https://doi.org/10.1145/1353673.1353680

Comprehensibility of UML-based formal model - A series of controlled experiments. / Razali, Rozilawati; Snook, Colin F.; Poppleton, Michael R.

Proc. - 1st ACM Int. Workshop on Empirical Assessment of Software Engineering Languages and Technologies, WEASELTech 2007, Held with the 22nd IEEE/ACM Int. Conf. Automated Software Eng., ASE 2007. 2007. p. 25-30.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Razali, R, Snook, CF & Poppleton, MR 2007, Comprehensibility of UML-based formal model - A series of controlled experiments. in Proc. - 1st ACM Int. Workshop on Empirical Assessment of Software Engineering Languages and Technologies, WEASELTech 2007, Held with the 22nd IEEE/ACM Int. Conf. Automated Software Eng., ASE 2007. pp. 25-30, 1st International ACM Workshop on Empirical Assessment of Software Engineering Languages and Technologies, WEASELTech 2007, Held in Conjunction with the 22nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2007, Atlanta, GA, 5/11/07. https://doi.org/10.1145/1353673.1353680
Razali R, Snook CF, Poppleton MR. Comprehensibility of UML-based formal model - A series of controlled experiments. In Proc. - 1st ACM Int. Workshop on Empirical Assessment of Software Engineering Languages and Technologies, WEASELTech 2007, Held with the 22nd IEEE/ACM Int. Conf. Automated Software Eng., ASE 2007. 2007. p. 25-30 https://doi.org/10.1145/1353673.1353680
Razali, Rozilawati ; Snook, Colin F. ; Poppleton, Michael R. / Comprehensibility of UML-based formal model - A series of controlled experiments. Proc. - 1st ACM Int. Workshop on Empirical Assessment of Software Engineering Languages and Technologies, WEASELTech 2007, Held with the 22nd IEEE/ACM Int. Conf. Automated Software Eng., ASE 2007. 2007. pp. 25-30
@inproceedings{7ef0b87660d74a18b4a05dfa533b9ab2,
title = "Comprehensibility of UML-based formal model - A series of controlled experiments",
abstract = "This paper summarises two controlled experiments conducted on a model that integrates the use of semi-formal notation, the Unified Modelling Language (UML) and a formal notation, B. The experiments assessed the comprehensibility of the model, namely UML-B. The first experiment compared the comprehensibility of a UML-B model and a B model. In the second experiment, the model was compared with an Event-B model, a new generation of B. The experiments assessed the ability of the model to present information and to promote problem domain understanding. The measurement focused on the efficiency in performing the comprehension tasks. The experiments employed a cross-over design and were conducted on third-year and masters students. The results suggest that the integration of semi-formal and formal notations expedites the subjects' comprehension tasks with accuracy even with limited hours of training.",
keywords = "empirical assessment, notation comprehensibility, semi-formal and formal notations",
author = "Rozilawati Razali and Snook, {Colin F.} and Poppleton, {Michael R.}",
year = "2007",
doi = "10.1145/1353673.1353680",
language = "English",
isbn = "9781595938800",
pages = "25--30",
booktitle = "Proc. - 1st ACM Int. Workshop on Empirical Assessment of Software Engineering Languages and Technologies, WEASELTech 2007, Held with the 22nd IEEE/ACM Int. Conf. Automated Software Eng., ASE 2007",

}

TY - GEN

T1 - Comprehensibility of UML-based formal model - A series of controlled experiments

AU - Razali, Rozilawati

AU - Snook, Colin F.

AU - Poppleton, Michael R.

PY - 2007

Y1 - 2007

N2 - This paper summarises two controlled experiments conducted on a model that integrates the use of semi-formal notation, the Unified Modelling Language (UML) and a formal notation, B. The experiments assessed the comprehensibility of the model, namely UML-B. The first experiment compared the comprehensibility of a UML-B model and a B model. In the second experiment, the model was compared with an Event-B model, a new generation of B. The experiments assessed the ability of the model to present information and to promote problem domain understanding. The measurement focused on the efficiency in performing the comprehension tasks. The experiments employed a cross-over design and were conducted on third-year and masters students. The results suggest that the integration of semi-formal and formal notations expedites the subjects' comprehension tasks with accuracy even with limited hours of training.

AB - This paper summarises two controlled experiments conducted on a model that integrates the use of semi-formal notation, the Unified Modelling Language (UML) and a formal notation, B. The experiments assessed the comprehensibility of the model, namely UML-B. The first experiment compared the comprehensibility of a UML-B model and a B model. In the second experiment, the model was compared with an Event-B model, a new generation of B. The experiments assessed the ability of the model to present information and to promote problem domain understanding. The measurement focused on the efficiency in performing the comprehension tasks. The experiments employed a cross-over design and were conducted on third-year and masters students. The results suggest that the integration of semi-formal and formal notations expedites the subjects' comprehension tasks with accuracy even with limited hours of training.

KW - empirical assessment

KW - notation comprehensibility

KW - semi-formal and formal notations

UR - http://www.scopus.com/inward/record.url?scp=77953975358&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=77953975358&partnerID=8YFLogxK

U2 - 10.1145/1353673.1353680

DO - 10.1145/1353673.1353680

M3 - Conference contribution

SN - 9781595938800

SP - 25

EP - 30

BT - Proc. - 1st ACM Int. Workshop on Empirical Assessment of Software Engineering Languages and Technologies, WEASELTech 2007, Held with the 22nd IEEE/ACM Int. Conf. Automated Software Eng., ASE 2007

ER -