Usability Assessment of a UML-Based Formal Modeling Method Using a Cognitive Dimensions Framework
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
Date
2008Copyright
© 2008 Rozilawati Razali, Colin Snook, Michael Poppleton, & Paul Garratt, and the Agora Center, University of Jyväskylä
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.
Publisher
University of Jyväskylä, Agora CenterISSN Search the Publication Forum
1795-6889Keywords
Original source
http://www.humantechnology.jyu.fiMetadata
Show full item recordCollections
- Human technology [245]
License
Related items
Showing items with similar title or keywords.
-
Developing a metatheoretical framework for second language development : a cultural-historical theory and dynamic systems theory perspective
Karimi-Aghdam-Ordaklou, Saeed (University of Jyväskylä, 2017)The main aim of this article-based dissertation is to construct and articulate a dialectical metatheoretical architecture for the study of second language development termed Purposive-Historical Systems Theory (PHiST) ... -
Biopsychosocial Profiles of Patients With Cardiac Disease in Remote Rehabilitation Processes : Mixed Methods Grounded Theory Approach
Anttila, Marjo-Riitta; Soderlund, Anne; Paajanen, Teemu; Kivistö, Heikki; Kokko, Katja; Sjögren, Tuulikki (JMIR Publications Inc., 2021)Background: Digital development has caused rehabilitation services and rehabilitees to become increasingly interested in using technology as a part of rehabilitation. This study was based on a previously published study ... -
Evaluation Framework for Analyzing the Applicability of Criteria Lists for the Selection of Requirements Management Tools Supporting Distributed Collaboration and Software Product Line Requirements Management
Santillan, Maria Florencia; Käkölä, Timo (IEEE, 2016)Effective requirements management and enabling tools are critical for successfully developing and maintaining services and products. The identification and selection of an appropriate requirements management tool can be a ... -
Genericity of dimension drop on self-affine sets
Käenmäki, Antti; Li, Bing (North-Holland, 2017)We prove that generically, for a self-affine set in Rd, removing one of the affine maps which defines the set results in a strict reduction of the Hausdorff dimension. This gives a partial positive answer to a folklore ... -
Käsitteellinen ymmärtäminen ja fysiikan oppimiseen liittyvät odotukset lukion mekaniikassa
Utriainen, Oiva (University of Jyväskylä, 2018)Aikaisempi tutkimus (Utriainen 2004) ja myöhempi oppimistulosten tarkastelu paljastivat puutteita, jotka koskivat kappaleen liiketilan ja kappaleen vuorovaikutusten välisen yhteyden ymmärrystä. Voimakuvion laadinta ja ...