Usability Assessment of a UML-Based Formal Modeling Method Using a Cognitive Dimensions Framework

DSpace/Manakin Repository

Show simple item record

dc.contributor.author Razali, Rozilawati
dc.contributor.author Snook, Colin
dc.contributor.author Poppleton, Michael
dc.contributor.author Garratt, Paul
dc.date.accessioned 2009-06-03T08:15:41Z
dc.date.available 2009-06-03T08:15:41Z
dc.date.issued 2008
dc.identifier.citation Razali, 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.issn 1795-6889
dc.identifier.uri http://hdl.handle.net/123456789/20218
dc.description.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 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.iso eng
dc.publisher University of Jyväskylä, Agora Center
dc.relation.ispartofseries Human Technology: An Interdisciplinary Journal on Humans in ICT Environments
dc.relation.uri http://www.humantechnology.jyu.fi
dc.rights © 2008 Rozilawati Razali, Colin Snook, Michael Poppleton, & Paul Garratt, and the Agora Center, University of Jyväskylä
dc.subject.other empirical assessment en
dc.subject.other semiformal and formal notations en
dc.subject.other cognitive dimensions (CD) en
dc.subject.other grounded theory en
dc.subject.other usability en
dc.title Usability Assessment of a UML-Based Formal Modeling Method Using a Cognitive Dimensions Framework
dc.type Article
dc.identifier.urn URN:NBNfi:jyu-200804151351

This item appears in the following Collection(s)

Show simple item record