---
abstract: 'Conceptual models communicate the important aspects of a problem domain to stakeholders. The quality of the models is highly dependent on the usability of the modelling method used. This paper presents a survey conducted on a method that integrates the use of a semi-formal notation, namely the Unified Modelling Language (UML) and a formal notation, namely B. The survey assessed the usability of the method by using grounded theory, the Cognitive Dimensions of Notations (CD) framework and several criteria suggested by the International Organization for Standardization (ISO). Ten participants responded to the survey. The results suggest that the method is accessible to users when the principles and roles of each notation are obvious and well understood, and when there is strong support from the environment. Based on the findings, a usability profile based on CD for designing a method that integrates semi-formal and formal notations is proposed.'
accompaniment: []
book_title: ~
commentary: ~
completion_time: ~
composition_type: ~
conductors_id: []
conductors_name: []
contact_email: ~
copyright_holders: []
corp_creators: []
creators_id: []
creators_name:
  - family: Razali
    given: Rozilawati
    honourific: ''
    lineage: ''
  - family: Snook
    given: Colin
    honourific: ''
    lineage: ''
  - family: Poppleton
    given: Michael
    honourific: ''
    lineage: ''
  - family: Garratt
    given: Paul
    honourific: ''
    lineage: ''
data_type: ~
date: 2008
date_type: published
datestamp: 2012-07-23 12:07:08
department: ~
dir: disk0/00/00/04/37
divisions: []
edit_lock_since: ~
edit_lock_until: 0
edit_lock_user: ~
editors_id: []
editors_name: []
eprint_status: archive
eprintid: 437
event_dates: ~
event_location: ~
event_title: ~
event_type: ~
exhibitors_id: []
exhibitors_name: []
fileinfo: ~
full_text_status: none
funders: []
id_number: ~
importid: ~
institution: ~
isbn: ~
ispublished: pub
issn: ~
item_issues_comment: []
item_issues_count: ~
item_issues_description: []
item_issues_id: []
item_issues_reported_by: []
item_issues_resolved_by: []
item_issues_status: []
item_issues_timestamp: []
item_issues_type: []
keywords: ~
lastmod: 2012-07-23 12:07:08
latitude: ~
learning_level: ~
longitude: ~
lyricists_id: []
lyricists_name: []
metadata_visibility: show
monograph_type: ~
note: ~
num_pieces: ~
number: ~
official_url: http://eprints.soton.ac.uk/265392/
output_media: ~
pagerange: ~
pages: ~
patent_applicant: ~
pedagogic_type: ~
place_of_pub: ~
pres_type: ~
producers_id: []
producers_name: []
projects: []
publication: 'Human Technology: An Interdisciplinary Journal on Humans in ICT Environments'
publisher: ~
refereed: TRUE
referencetext: ~
related_url_type: []
related_url_url: []
relation_type: []
relation_uri: []
rev_number: 6
series: ~
skill_areas: []
source: ~
status_changed: 2012-07-23 12:07:08
subjects:
  - deploy_method_other
succeeds: ~
suggestions: ~
sword_depositor: ~
sword_slug: ~
task_purpose: ~
thesis_type: ~
title: Usability Assessment of a UML-based Formal Modelling Method Using Cognitive Dimensions Framework
type: article
userid: 258
volume: ~
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>