A Validity Verification Method for Usability Design of Interactive System

A verification method and interactive technology, which is applied in the field of validity verification of interactive system usability design, can solve problems such as not considering cognitive models, achieve the effect of optimizing the iterative design process and promoting the development and application of interactive systems

Active Publication Date: 2018-06-19
SOUTH CHINA UNIV OF TECH
View PDF0 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[Castelluccia2006] validates web application design based on SMV model checker, adopts user-centered design, specifically considers usability model checking of web application system, but does not consider cognitive model

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • A Validity Verification Method for Usability Design of Interactive System
  • A Validity Verification Method for Usability Design of Interactive System
  • A Validity Verification Method for Usability Design of Interactive System

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0098] The present invention will be further described in detail below in conjunction with the embodiments and the accompanying drawings, but the embodiments of the present invention are not limited thereto.

[0099] Such as figure 1 , a validation method for the usability design of an interactive system, includes the following sequence of steps:

[0100] S1. Modeling: first establish cognitive model, task model and system usability design model, and build an interactive system model with IMPA process algebra; the details are as follows:

[0101] (1) Based on the GOMS cognitive model, decompose the cognitive processing aspects related to the completion of user tasks in the process of human-computer interaction;

[0102](2) Establish a human-computer interaction task model based on the UML use case diagram;

[0103] (3) Establish an interactive system usability design model based on the IMC model;

[0104] (4) Use the formalized language IMPA to establish the formalized spe...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

Abstract

The invention discloses a method for verifying the validity of the usability design of an interactive system, which includes the steps in the following sequence: Modeling: firstly, a cognitive model, a task model and a system usability design model are established, and the interactive system is uniformly established with the IMPA process algebra Model; specification: establish the usability specification of the interactive system, which includes security and reliability; verification: use the IMC model checker to verify the effectiveness of the security and reliability design of the interactive system. The method of the present invention can predict security defects caused by closing human errors; evaluate the reliability and cognitive complexity of the post-WIMP interface, and quantitatively compare the efficiency of the WIMP interface and the post-WIMP interface.

Description

technical field [0001] The invention relates to a formalization method of human-computer interaction, in particular to a validity verification method for usability design of an interactive system. Background technique [0002] Usability is the effectiveness, efficiency and satisfaction of a specific user using a product to achieve a specific goal in a specific scenario [ISO2011]. An interactive system consists of a user, a computer system, and a human-computer interaction (HCI) process, and its key feature is usability [Dix2006]. The wide application of interactive systems requires more natural, efficient and credible human-computer interaction. Small usability issues can have large economic and social impacts. Fierce market competition requires interactive system designers to continuously improve user interface design to enhance user experience and attract users. Usability has become the focus of competition in the computer industry, and there are strong motivations for ...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
Patent Type & Authority Patents(China)
IPC IPC(8): G06F8/38
Inventor 林连南
Owner SOUTH CHINA UNIV OF TECH
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap