A usability profile for graphical formal modelling methods

Rozilawati Razali, Paul Garratt

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

Abstract

The notation and environment in conceptual modelling transform developers' initial perception about a system to a concrete model. Any usability constraints that the notation and environment impose on the modeling process affect not only the quality of the model but also the quality of the final product. This paper presents a usability profile for designing conceptual modelling methods that integrate graphical notation and formal mathematical notation. The profile was proposed based on a survey conducted on an instance of such methods, which combines the Unified Modelling Language (UML) and Event-B. The instruments used in the survey were the Cognitive Dimensions of Notations (CD) framework and several criteria suggested by the International Organization for Standardization (ISO). The analysis was conducted using the grounded theory approach. Thirteen participants responded to the survey. The survey suggests that graphical formal modelling requires deep understanding of the notations involved, strong support from the environment, well-organised models and high spatial ability.

Original languageEnglish
Title of host publicationProceedings of 8th International Conference on New Trends in Software Methodologies, Tools and Techniques, SoMeT_09
Publication statusPublished - 2009
Event8th International Conference on New Trends in Software Methodologies, Tools and Techniques, SoMeT_09 - Prague
Duration: 23 Sep 200925 Sep 2009

Other

Other8th International Conference on New Trends in Software Methodologies, Tools and Techniques, SoMeT_09
CityPrague
Period23/9/0925/9/09

Fingerprint

Unified Modeling Language
Standardization

Keywords

  • Cognitive dimensions (CD)
  • Empirical assessment
  • Graphical formal modelling
  • Usability

ASJC Scopus subject areas

  • Software

Cite this

Razali, R., & Garratt, P. (2009). A usability profile for graphical formal modelling methods. In Proceedings of 8th International Conference on New Trends in Software Methodologies, Tools and Techniques, SoMeT_09

A usability profile for graphical formal modelling methods. / Razali, Rozilawati; Garratt, Paul.

Proceedings of 8th International Conference on New Trends in Software Methodologies, Tools and Techniques, SoMeT_09. 2009.

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

Razali, R & Garratt, P 2009, A usability profile for graphical formal modelling methods. in Proceedings of 8th International Conference on New Trends in Software Methodologies, Tools and Techniques, SoMeT_09. 8th International Conference on New Trends in Software Methodologies, Tools and Techniques, SoMeT_09, Prague, 23/9/09.
Razali R, Garratt P. A usability profile for graphical formal modelling methods. In Proceedings of 8th International Conference on New Trends in Software Methodologies, Tools and Techniques, SoMeT_09. 2009
Razali, Rozilawati ; Garratt, Paul. / A usability profile for graphical formal modelling methods. Proceedings of 8th International Conference on New Trends in Software Methodologies, Tools and Techniques, SoMeT_09. 2009.
@inproceedings{00d7b6e79b194962a47a8460f06e653c,
title = "A usability profile for graphical formal modelling methods",
abstract = "The notation and environment in conceptual modelling transform developers' initial perception about a system to a concrete model. Any usability constraints that the notation and environment impose on the modeling process affect not only the quality of the model but also the quality of the final product. This paper presents a usability profile for designing conceptual modelling methods that integrate graphical notation and formal mathematical notation. The profile was proposed based on a survey conducted on an instance of such methods, which combines the Unified Modelling Language (UML) and Event-B. The instruments used in the survey were the Cognitive Dimensions of Notations (CD) framework and several criteria suggested by the International Organization for Standardization (ISO). The analysis was conducted using the grounded theory approach. Thirteen participants responded to the survey. The survey suggests that graphical formal modelling requires deep understanding of the notations involved, strong support from the environment, well-organised models and high spatial ability.",
keywords = "Cognitive dimensions (CD), Empirical assessment, Graphical formal modelling, Usability",
author = "Rozilawati Razali and Paul Garratt",
year = "2009",
language = "English",
isbn = "9781607500490",
booktitle = "Proceedings of 8th International Conference on New Trends in Software Methodologies, Tools and Techniques, SoMeT_09",

}

TY - GEN

T1 - A usability profile for graphical formal modelling methods

AU - Razali, Rozilawati

AU - Garratt, Paul

PY - 2009

Y1 - 2009

N2 - The notation and environment in conceptual modelling transform developers' initial perception about a system to a concrete model. Any usability constraints that the notation and environment impose on the modeling process affect not only the quality of the model but also the quality of the final product. This paper presents a usability profile for designing conceptual modelling methods that integrate graphical notation and formal mathematical notation. The profile was proposed based on a survey conducted on an instance of such methods, which combines the Unified Modelling Language (UML) and Event-B. The instruments used in the survey were the Cognitive Dimensions of Notations (CD) framework and several criteria suggested by the International Organization for Standardization (ISO). The analysis was conducted using the grounded theory approach. Thirteen participants responded to the survey. The survey suggests that graphical formal modelling requires deep understanding of the notations involved, strong support from the environment, well-organised models and high spatial ability.

AB - The notation and environment in conceptual modelling transform developers' initial perception about a system to a concrete model. Any usability constraints that the notation and environment impose on the modeling process affect not only the quality of the model but also the quality of the final product. This paper presents a usability profile for designing conceptual modelling methods that integrate graphical notation and formal mathematical notation. The profile was proposed based on a survey conducted on an instance of such methods, which combines the Unified Modelling Language (UML) and Event-B. The instruments used in the survey were the Cognitive Dimensions of Notations (CD) framework and several criteria suggested by the International Organization for Standardization (ISO). The analysis was conducted using the grounded theory approach. Thirteen participants responded to the survey. The survey suggests that graphical formal modelling requires deep understanding of the notations involved, strong support from the environment, well-organised models and high spatial ability.

KW - Cognitive dimensions (CD)

KW - Empirical assessment

KW - Graphical formal modelling

KW - Usability

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

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

M3 - Conference contribution

AN - SCOPUS:84861674725

SN - 9781607500490

BT - Proceedings of 8th International Conference on New Trends in Software Methodologies, Tools and Techniques, SoMeT_09

ER -