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.uri | https://jyx.jyu.fi/handle/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.format.mimetype | application/pdf | |
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 | CC BY-NC 4.0 | |
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 | |
dc.relation.issn | 1795-6889 | |
dc.relation.numberinseries | 1 | |
dc.relation.volume | 4 | |
dc.type.version | publishedVersion | |
dc.rights.copyright | © 2008 Rozilawati Razali, Colin Snook, Michael Poppleton, & Paul Garratt, and the Agora Center, University of Jyväskylä | |
dc.rights.accesslevel | openAccess | |
dc.format.content | fulltext | |
dc.rights.url | https://creativecommons.org/licenses/by-nc/4.0/ | |