Article

A model-based tool for interactive prototyping of highly interactive applications

Authors:

Rémi Bastide,

David Navarre,

Philippe PalanqueAuthors Info & Claims

CHI EA '02: CHI '02 Extended Abstracts on Human Factors in Computing Systems

Pages 516 - 517

https://doi.org/10.1145/506443.506457

Published: 20 April 2002 Publication History

Get Access

Abstract

We present a model-based case tool dedicated to the prototyping of highly interactive (also called post-WIMP) applications. Such applications are challenging to model and to prototype, since they require the use of non-standard widgets and interaction techniques and exhibit a complex dynamic behavior. The tool, called PetShop, embodies the results of several years of research about the formal modeling of interactive systems, and its main application domain is safety-critical interactive applications such air-traffic control or military command and control systems. PetShop stands apart from most formal-based tools since it supports and promotes an iterative and user-centered design process, and also stands apart from most model-based tools since it goes beyond WIMP interfaces and does not sacrifice the formal validation of models.

References

[1]

Bastide R. & Palanque P. 'A Visual and Formal Glue Between Application and Interaction.' Journal of Visual Language and Computing 10, n° 3 (1999).

Google Scholar

[2]

Bastide R. & Palanque P. 'Petri Net Objects for the Design, Validation and Prototyping of User-Driver, Interfaces.' 3rd IFIP Conference on Human-Computer Interaction, Interact'90, Cambridge, UK, 625--31 (1990).

Digital Library

Google Scholar

[3]

Bastide R., Sy O., Palanque P., & Navarre D. Formal specification of CORBA services: experience and lessons learned. ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Minneapolis, USA. ACM Press (2000).

Digital Library

Google Scholar

[4]

Beaudouin-Lafon M. 'Instrumental Interaction: An Interaction Model for Designing Post-WIMP User Interfaces'. ACM CHI'2000 Conference on Human Factors in Computing Systems (2000).

Digital Library

Google Scholar

[5]

Hix D. 6 & Hartson, R. 'Developing User Interfaces: Ensuring Usability Through Product and Process.'. New York, NY: John Wiley & Sons (1993).

Digital Library

Google Scholar

[6]

Jacob R. 'A Software Model and Specification Language for Non-WIMP User Interfaces.' ACM Transactions on Computer-Human Interaction 6, n°. 1, 1--46, (1999).

Digital Library

Google Scholar

Cited By

View all

Singh NAït‐Ameur YMendil IMéry DNavarre DPalanque PPantel M(2023)F3FLUIDJournal of Software: Evolution and Process10.1002/smr.243935:7Online publication date: 2-Jul-2023
https://dl.acm.org/doi/10.1002/smr.2439
Navarre DPalanque PCoppers SLuyten KVanacken D(2021)Model-based Engineering of Feedforward Usability Function for GUI WidgetsInteracting with Computers10.1093/iwcomp/iwab01433:1(73-91)Online publication date: 18-May-2021
https://doi.org/10.1093/iwcomp/iwab014
Canny APalanque PNavarre D(2020)Model-Based Testing of GUI Applications Featuring Dynamic Instanciation of Widgets2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)10.1109/ICSTW50294.2020.00029(95-104)Online publication date: Oct-2020
https://doi.org/10.1109/ICSTW50294.2020.00029
Show More Cited By

Recommendations

High-Fidelity Prototyping of Interactive Systems Can Be Formal Too
Proceedings of the 13th International Conference on Human-Computer Interaction. Part I: New Trends

The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life at stake. When the safety critical system encompasses a substantial ...
A Model-Based Tool for Interactive Prototyping of Highly Interactive Applications
RSP '01: Proceedings of the 12th International Workshop on Rapid System Prototyping

Abstract: This paper presents a case tool supporting the ICO (Interactive Cooperative Object) formalism. This formalism allows for describing, in a formal way, highly interactive applications (also called post-WIMP). The first section describes why such ...
Formal modelling of dynamic instantiation of input devices and interaction techniques: application to multi-touch interactions
EICS '14: Proceedings of the 2014 ACM SIGCHI symposium on Engineering interactive computing systems

Representing the behavior of multi-touch interactive systems in a complete, concise and non-ambiguous way is still a challenge for formal description techniques. Indeed, multi-touch interactive systems embed specific constraints that are either ...

Comments

Information & Contributors

Information

Published In

CHI EA '02: CHI '02 Extended Abstracts on Human Factors in Computing Systems

April 2002

488 pages

ISBN:1581134541

DOI:10.1145/506443

Conference Chairs:
Loren Terveen
AT&T Labs and University of Minnesota
,
Dennis Wixon
Microsoft

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]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 20 April 2002

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

CHI02

Sponsor:

SIGCHI

CHI02: Human Factors in Computing Systems

April 20 - 25, 2002

Minnesota, Minneapolis, USA

Acceptance Rates

Overall Acceptance Rate 6,164 of 23,696 submissions, 26%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

31
Total Citations
View Citations
619
Total Downloads

Downloads (Last 12 months)6
Downloads (Last 6 weeks)1

Reflects downloads up to 10 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Singh NAït‐Ameur YMendil IMéry DNavarre DPalanque PPantel M(2023)F3FLUIDJournal of Software: Evolution and Process10.1002/smr.243935:7Online publication date: 2-Jul-2023
https://dl.acm.org/doi/10.1002/smr.2439
Navarre DPalanque PCoppers SLuyten KVanacken D(2021)Model-based Engineering of Feedforward Usability Function for GUI WidgetsInteracting with Computers10.1093/iwcomp/iwab01433:1(73-91)Online publication date: 18-May-2021
https://doi.org/10.1093/iwcomp/iwab014
Canny APalanque PNavarre D(2020)Model-Based Testing of GUI Applications Featuring Dynamic Instanciation of Widgets2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)10.1109/ICSTW50294.2020.00029(95-104)Online publication date: Oct-2020
https://doi.org/10.1109/ICSTW50294.2020.00029
Navarre DPalanque PCoppers SLuyten KVanacken D(2020)Fortune Nets for Fortunettes: Formal, Petri Nets-Based, Engineering of Feedforward for GUI WidgetsFormal Methods. FM 2019 International Workshops10.1007/978-3-030-54994-7_36(503-519)Online publication date: 13-Aug-2020
https://doi.org/10.1007/978-3-030-54994-7_36
Canny ANavarre DCampos JPalanque P(2020)Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-NetsFormal Methods. FM 2019 International Workshops10.1007/978-3-030-54994-7_35(486-502)Online publication date: 13-Aug-2020
https://doi.org/10.1007/978-3-030-54994-7_35
Oliveira RPalanque PWeyers BBowen JDix A(2017)State of the Art on Formal Methods for Interactive SystemsThe Handbook of Formal Methods in Human-Computer Interaction10.1007/978-3-319-51838-1_1(3-55)Online publication date: 25-Apr-2017
https://doi.org/10.1007/978-3-319-51838-1_1
Dörner RKallmann MHuang Y(2015)Content Creation and Authoring Challenges for Virtual Environments: From User Interfaces to Autonomous Virtual CharactersVirtual Realities10.1007/978-3-319-17043-5_11(187-212)Online publication date: 1-Apr-2015
https://doi.org/10.1007/978-3-319-17043-5_11
Dorner RFrechenhauser SGerken KBerdux J(2014)A 3D metaphor for Authoring Realtime Interactive systems supporting different author roles2014 IEEE 7th Workshop on Software Engineering and Architectures for Realtime Interactive Systems (SEARIS)10.1109/SEARIS.2014.7152795(1-8)Online publication date: Mar-2014
https://doi.org/10.1109/SEARIS.2014.7152795
Hamon APalanque PSilva JDeleris YBarboni EForbrig PDewan PHarrison MLuyten K(2013)Formal description of multi-touch interactionsProceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems10.1145/2494603.2480311(207-216)Online publication date: 24-Jun-2013
https://dl.acm.org/doi/10.1145/2494603.2480311
Palanque PBernhaupt RNavarre DOuld MWinckler M(2012)Supporting Usability Evaluation of Multimodal Man-Machine Interfaces for Space Ground Segment Applications Using Petri nets Based Formal SpecificationSpaceOps 2006 Conference10.2514/6.2006-5657Online publication date: 18-Jun-2012
https://doi.org/10.2514/6.2006-5657
Show More Cited By

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Recommendations

High-Fidelity Prototyping of Interactive Systems Can Be Formal Too

A Model-Based Tool for Interactive Prototyping of Highly Interactive Applications

Formal modelling of dynamic instantiation of input devices and interaction techniques: application to multi-touch interactions