Formal Specification of Hci for Increasing Software's Ergonomics
نویسندگان
چکیده
This paper aims at asserting the impact of formal specifications on the ergonomics of software user interfaces. It is shown that the use of an object-oriented design methodology featuring a formal specification and integrating human factors in the design process, is the best way to ensure quality both in the software and ergonomics domain. The method we propose is based both on Petri nets and on the object oriented approach. The use of such a method allow to ensure predictability of commands, absence of deadlocks and offers the possibility to automatically generate both contextual help and contextbased guidance.
منابع مشابه
Web Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملFormal Validation of HCI User Tasks
Our work focuses on the use of formal techniques in order to increase the quality of HCI software and of all the processes resulting from the development, verification, design and validation activities. This paper shows how the B formal technique can be used for user tasks modelling and validation. A trace based semantics is used to describe either the HCI or the user tasks. Each task is modell...
متن کاملUsing Formal Methods in Safety-Critical Interactive System Design: from Architecture-based Approaches to Tool-based Development
Although formal methods are increasingly used by researchers in HCI, their usage in actual interactive developments has not been put in practice. In this article, we describe our experience with a specific formal method –the B method– from two viewpoints. On the one hand, we demonstrate how it is possible to use formal methods on real development, from specification to actual code. Our case stu...
متن کاملA generic formal specification of fusion of modalities in a multimodal HCI
This paper is an overview of a generic formal description allowing to encode multi-modal interactive systems, their behaviors and properties.
متن کاملA model for specification, composition and verification of access control policies and its application to web services
Despite significant advances in the access control domain, requirements of new computational environments like web services still raise new challenges. Lack of appropriate method for specification of access control policies (ACPs), composition, verification and analysis of them have all made the access control in the composition of web services a complicated problem. In this paper, a new indepe...
متن کامل