A usability profile for graphical formal modelling methods

Rozilawati Razali, Paul Garratt

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

2 Citations (Scopus)

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 publicationFrontiers in Artificial Intelligence and Applications
Pages443-462
Number of pages20
Volume199
Edition1
DOIs
Publication statusPublished - 2009

Publication series

NameFrontiers in Artificial Intelligence and Applications
Number1
Volume199
ISSN (Print)09226389

Fingerprint

Unified Modeling Language
Standardization

Keywords

  • Cognitive Dimensions (CD)
  • Empirical Assessment
  • Graphical formal modelling
  • Usability

ASJC Scopus subject areas

  • Artificial Intelligence

Cite this

Razali, R., & Garratt, P. (2009). A usability profile for graphical formal modelling methods. In Frontiers in Artificial Intelligence and Applications (1 ed., Vol. 199, pp. 443-462). (Frontiers in Artificial Intelligence and Applications; Vol. 199, No. 1). https://doi.org/10.3233/978-1-60750-049-0-443

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

Frontiers in Artificial Intelligence and Applications. Vol. 199 1. ed. 2009. p. 443-462 (Frontiers in Artificial Intelligence and Applications; Vol. 199, No. 1).

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

Razali, R & Garratt, P 2009, A usability profile for graphical formal modelling methods. in Frontiers in Artificial Intelligence and Applications. 1 edn, vol. 199, Frontiers in Artificial Intelligence and Applications, no. 1, vol. 199, pp. 443-462. https://doi.org/10.3233/978-1-60750-049-0-443
Razali R, Garratt P. A usability profile for graphical formal modelling methods. In Frontiers in Artificial Intelligence and Applications. 1 ed. Vol. 199. 2009. p. 443-462. (Frontiers in Artificial Intelligence and Applications; 1). https://doi.org/10.3233/978-1-60750-049-0-443
Razali, Rozilawati ; Garratt, Paul. / A usability profile for graphical formal modelling methods. Frontiers in Artificial Intelligence and Applications. Vol. 199 1. ed. 2009. pp. 443-462 (Frontiers in Artificial Intelligence and Applications; 1).
@inproceedings{fe15609f3fe143d9ab184ab05d728cb9,
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",
doi = "10.3233/978-1-60750-049-0-443",
language = "English",
isbn = "9781607500490",
volume = "199",
series = "Frontiers in Artificial Intelligence and Applications",
number = "1",
pages = "443--462",
booktitle = "Frontiers in Artificial Intelligence and Applications",
edition = "1",

}

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=72949106870&partnerID=8YFLogxK

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

U2 - 10.3233/978-1-60750-049-0-443

DO - 10.3233/978-1-60750-049-0-443

M3 - Conference contribution

SN - 9781607500490

VL - 199

T3 - Frontiers in Artificial Intelligence and Applications

SP - 443

EP - 462

BT - Frontiers in Artificial Intelligence and Applications

ER -