Show simple item record

dc.contributor.authorRazali, Rozilawati
dc.contributor.authorSnook, Colin
dc.contributor.authorPoppleton, Michael
dc.contributor.authorGarratt, Paul
dc.date.accessioned2009-06-03T08:15:41Z
dc.date.available2009-06-03T08:15:41Z
dc.date.issued2008
dc.identifier.citationRazali, R., Snook, C., Poppleton, M. & Garratt, P. (2008). Usability Assessment of a UML-Based Formal Modeling Method Using a Cognitive Dimensions Framework. Human Technology, Volume 4 (1), pp. 26-46. Jyväskylä. URN:NBNfi:jyu-200804151351. Retrieved from http://www.humantechnology.jyu.fi
dc.identifier.urihttps://jyx.jyu.fi/handle/123456789/20218
dc.description.abstractConceptual models communicate the important aspects of a problem domain to stakeholders. The quality of the models is highly dependent on the usability of the modeling method used. This paper presents a survey conducted on a method that integrates the use of a semiformal notation, namely the Unified Modeling Language (UML) and a formal notation, namely B. The survey assessed the usability of the method by using the 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. Supported by the findings, a usability profile based on CD for designing a method that integrates semiformal and formal notations is proposed.en
dc.language.isoeng
dc.publisherUniversity of Jyväskylä, Agora Center
dc.relation.ispartofseriesHuman Technology: An Interdisciplinary Journal on Humans in ICT Environments
dc.relation.urihttp://www.humantechnology.jyu.fi
dc.subject.otherempirical assessmenten
dc.subject.othersemiformal and formal notationsen
dc.subject.othercognitive dimensions (CD)en
dc.subject.othergrounded theoryen
dc.subject.otherusabilityen
dc.titleUsability Assessment of a UML-Based Formal Modeling Method Using a Cognitive Dimensions Framework
dc.typeArticle
dc.identifier.urnURN:NBNfi:jyu-200804151351
dc.relation.issn1795-6889
dc.rights.copyright© 2008 Rozilawati Razali, Colin Snook, Michael Poppleton, & Paul Garratt, and the Agora Center, University of Jyväskylä
dc.rights.accesslevelopenAccessfi
dc.rights.urlhttps://creativecommons.org/licenses/by-nc/4.0/


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

© 2008 Rozilawati Razali, Colin Snook, Michael Poppleton, & Paul Garratt, and the Agora Center, University of Jyväskylä
Except where otherwise noted, this item's license is described as © 2008 Rozilawati Razali, Colin Snook, Michael Poppleton, & Paul Garratt, and the Agora Center, University of Jyväskylä