First steps in the retro-engineering of a GUI toolkit in the B language
Pages 118 - 125
Abstract
This paper provides a progress report on an initial approach of retro-engineering of a graphical toolbox using the B method. Nowadays, dependable systems which feature graphical user interfaces do not use Widgets libraries, safety of which was ensured. The use of formal methods (the B method in our study) is an interesting solution making it possible to guarantee some of the properties (safety and conformity) of these Widgets. We show that retro-engineering of classical Widgets (Button, Slider) or more elaborate ones (RangeSlider) is possible but error prone and reveals some badly controlled concepts.
References
[1]
1. Abrial, J.-R. The B Book: Assigning Programs to Meanings. Cambridge University Press, 1996.
[2]
2. Ahlberg, C. et Truve, S. Tight Coupling: Guiding User Actions in a Direct Manipulation Retrieval System. In Proceedings of HCI'95 Conference on People and Computers X, 1995, pp. 305-321.
[3]
3. Aït-Ameur, Y., Baron, M. et Girard, P. Formal validation of HCI user tasks. In Proceedings of The 2003 International Conference on Software Engineering Research and Practice - SERP 2003 (June 23 - 26, 2003, Las Vegas, Nevada USA), 2003, pp. To be published.
[4]
4. Aït-Ameur, Y., Bréholée, B., Girard, P., Guittet, L. et Jambon, F. Formal verification and validation of interactive systems specifications. Laboratory of Applied Computer Science (LISI/ENSMA), May 2000, Research Report LISI 00-007.
[5]
5. Aït-Ameur, Y., Girard, P. et Jambon, F. Using the B formal approach for incremental specification design of interactive systems. In Proceedings of Engineering for Human-Computer Interaction (14-18 September, Kluwer Academic Publishers, 1998, pp. 91-108.
[6]
6. Brun, P. XTL : une logique temporelle pour le spécification formelle des systèmes interactifs. Doctorat d'Université (PhD Thesis) : Université Paris -Sud, 1998.
[7]
7. Burbeck, S. Application Programming in Smalltalk- 80: How to use the Model-View-Controller (MVC). 1992, Report.
[8]
8. Chatty, S. Interaction à deux souris: Une nouvelle dimension à la multimodalité ? In Proceedings of Cinquièmes journées sur l'ingénierie des interfaces (Septembre, École Centrale de Lyon), Cépaduès, 1993.
[9]
9. ClearSy. Atelier B - version 3.5. 1997.
[10]
10. Dijkstra, E. A Discipline of Programming. Prentice Hall, Englewood Cliff (NJ), USA, 1976.
[11]
11. Dix, A., Finlay, J., Abowd, G. et Beale, R. Human-Computer Interaction. Prentice Hall, 1998.
[12]
12. Duke, D. et Harrison, M.D. Event Model of Human-System Interaction. IEEE Software. 1, 10 (1995), pp. 3-10.
[13]
13. Faconti, G.P. et Paternò, F. An Approach to the Formal Specification of the Components of an Interaction. In Proceedings of European Computer Graphics Conference and Exhibition (3-7, September, Montreux, Switzerland), Elsevier Science, 1990, pp. 481-494.
[14]
14. Gaudel, M.-C., Marre, B., Schlienger, F. et Bernot, G. Précis de génie logiciel. Masson, Paris, 1996.
[15]
15. Gram, C. et Cockton, G. Design Principles for Interactive Software. Chapman & Hall, 1996.
[16]
16. Jambon, F. From Formal Specifications to Secure Implementations. In Proceedings of Computer-Aided Design of User Interfaces (CADUI'2002) (May 15-17, Valenciennes, France), Kluwer Academics, 2002, pp. 43-54.
[17]
17. Jambon, F., Brun, P. et Aït-Ameur, Y. Spécifications des systèmes interactifs (chapitre 6). Kolski, C. (Ed.). In Analyse et conception de l'I.H.M. / Interaction Homme-Machine pour les S.I. vol.1, Hermès Science, Paris, France, 2001, pp. 175-206.
[18]
18. Jambon, F., Girard, P. et Aït-Ameur, Y. Interactive System Safety and Usability enforced by the Development Process: the FADEC User Interface Case Study. In Proceedings of Safety and Usability Concerns in Aeronautics (SUCA 2000) IFIP WG 13.5 Workshop within HCI-Aero'2000 (September, 26th, Toulouse, France), 2000.
[19]
19. Jambon, F., Girard, P. et Aït-Ameur, Y. Interactive System Safety and Usability enforced with the development process. In Proceedings of Engineering for Human-Computer Interaction (8th IFIP International Conference, EHCI'01, Toronto, Canada, May 2001) (Berlin), Springer, 2001, pp. 39-55.
[20]
20. Mahfoudhi, A. TOOD : une méthodologie de description orientée objet des tâches utilisateur pour la spécification et la conception des interfaces hommemachine . Thèse en automatique industrielle et humaine : Université de Valenciennes et du haut-Cambrésis, 1997.
[21]
21. Navarre, D., Palanque, P., Bastides, R. et Sy, O. Structuring interactive systems specifications for executability and prototypability. In Proceedings of 7th Eurographics workshop on Design, Specification and Verification of Interactive Systems, DSV-IS'2000 (Limerick, Ireland), Springer Verlag, 2000.
[22]
22. Palanque, P. Spécifications formelles et systèmes interactifs : vers des systèmes fiables et utilisables. Habilitation à Diriger les Recherches (HDR) : Université de Toulouse I, 1997.
[23]
23. Palanque, P., Bastide, R. et Sengès, V. Validating interactive system design through the verification of formal task and system models. In Proceedings of IFIP TC2/WG2.7 Working Conference on Engineering for Human-Computer Interaction (EHCI'95) (14-18 August, Grand Targhee Resort (Yellowstone Park), USA), Chapman & Hall, 1995, pp. 189-212.
[24]
24. Paternò, F. Model-Based Design and Evaluation of Interactive Applications. Springer, 2001.
[25]
25. Roche, P. Modélisation et validation d'interface homme-machine. Doctorat d'Université (PhD Thesis) : École Nationale Supérieure de l'Aéronautique et de l'Espace, 1998.
Index Terms
- First steps in the retro-engineering of a GUI toolkit in the B language
Recommendations
GUI Change Method according to Roles of Widgets and Change Patterns
To develop usable software, it is necessary to develop Graphical User Interfaces (GUIs) in iterative steps, such as evaluating the usability of GUIs and improving GUIs. In improving GUIs, developers are often required to modify both the GUI and the ...
User Research and User Centered Design; Designing, Developing, and Commercializing Widget Service on Mobile Handset
HCD 09: Proceedings of the 1st International Conference on Human Centered Design: Held as Part of HCI International 2009Mobile widget is a new paradigm for interactive idle screen service on mobile handset. Currently the standardization of widget is being discussed by W3C; Widget is globally accepted as a tiny web application. In Korea, however, mobile widget business is ...
Support Method for Source Code Modification in Changing GUI Widgets
Proceedings of the 2006 conference on Knowledge-Based Software Engineering: Proceedings of the Seventh Joint Conference on Knowledge-Based Software EngineeringRecently, the expansion of the range of users has led to the increase in the importance of software usability. To realize usable software, it is efficient to repeat the process of evaluating and improving GUIs. In this process, it is often necessary to ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
November 2003
313 pages
ISBN:1581138032
DOI:10.1145/1063669
- Conference Chair:
- Khaldoun Zreik,
- Editor:
- Thomas Baudel,
- Program Chairs:
- Christophe Kolski,
- Eric Brangier
Copyright © 2003 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Sponsors
- AFIHM: Ass. Francophone d'Interaction Homme-Machine
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 25 November 2003
Check for updates
Author Tags
Qualifiers
- Article
Acceptance Rates
Overall Acceptance Rate 103 of 199 submissions, 52%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 193Total Downloads
- Downloads (Last 12 months)1
- Downloads (Last 6 weeks)0
Reflects downloads up to 14 Dec 2024
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in