Article

Structuring interactive systems specifications for executability and prototypability

Authors:

Philippe Palanque,

Ousmane SyAuthors Info & Claims

DSV-IS'00: Proceedings of the 7th international conference on Design, specification, and verification of interactive systems

Pages 97 - 119

Published: 05 June 2000 Publication History

Abstract

This paper presents structuring mechanisms for building executable specifications, in the field of interactive applications, using the Interactive Cooperative Object formal description technique. The design life cycle of the specification is presented as well as how PetShop (a software tool support the ICO formal description technique) can effectively support the various phases of the life cycle. The concepts and the tool are presented on a Range Slider case study. The Range Slider is a medium size component, used for instance, in the field of dynamic queries for information retrieval and visualisation.

References

[1]

Ahlberg, Cristopher, and Shneiderman, Ben. "The Alphaslider: A Compact and Rapid Selector." Human Factors in Computing Systems (CHI'94), Boston, Massachusetts, USA. USA, (1994) 365-71.

Digital Library

[2]

Ahlberg, Cristopher, and Truvé, S. "Exploring Terra Incognita in the Design Space of Query Devices." 6th IFIP Conference on Engineering for Human-Computer Interaction, EHCI'95, Gran Targhee Resort, USA. Len Bass, and Claus Unger. Chapman & Hall (1995) 49-68.

Digital Library

[3]

Bass, Len, Clements, P., and Kazman, Rick. "Software Architecture in Practice." Addison Wesley.

Digital Library

[4]

Bass, Len, Little, R., Pellegrino, R., Reed, S., Seacord, R., Sheppard, S., and Szezur, M. R. "The Arch Model: Seeheim Revisited." User Interface Developpers' Workshop. Version 1.0 (1991).

[5]

Bastide, Rémi, and Palanque, Philippe. "A Petri-Net Based Environment for the Design of Event-Driven Interfaces." 16th International Conference on Applications and Theory of Petri Nets, ICATPN'95, Torino, Italy. Giorgio De Michelis, and Michel Diaz, Volume editors. Lecture Notes in Computer Science, no. 935. Springer (1995) 66-83.

Digital Library

[6]

Bastide, Rémi, and Palanque, Philippe. "Verification of an Interactive Software by Analysis of Its Formal Specification." 5th IFIP TC13 International Conference, Interact'95, Lillehamer, Norway. Chapman et Hall (1995) 191-96.

[7]

Bastide, Rèmi, and Palanque, Philippe. "A Visual and Formal Glue Between Application and Interaction." Journal of Visual Language and Computing 10, no. 3 (1999).

[8]

Bastide, Rémi, Sy, Ousmane, and Palanque, Philippe. "Formal Specification and Prototyping of CORBA Systems." 13th European Conference on Object-Oriented Programming, ECOOP'99, Lisbon, Portugal. Rachid Guerraoui, Volume editor. Lecture Notes in Computer Science, no. 1628. Springer (1999) 474-94. Selection rate: 184 papers submitted, 20 accepted.

Digital Library

[9]

Buschmann, F., R. Meunier, H. Rohnert, P. Sommerlad, and M. A. Stal. System of Patterns: Pattern-Oriented Software Architecture. West Sussex, England, John Wiley & Sons. (1996).

Digital Library

[10]

Campos, José C., and Harrison, Michael. "Formally Verifying Interactive Systems: A Review." in 4th Eurographics Workshop on Design, Specification and Verification of Interactive System (DSV-IS'97), Granada, Spain. Michael Harrison, and Juan Carlos Torres, Editors. Springer (1997) 109-24.

[11]

Coutaz, Joëlle. "PAC, an Implementation Model for Dialogue Design." Interact'87, North Holland. (1987) 431-37.

[12]

Fishkin, Kenneth, Moran, Thomas P., and Harrison, Beverly. "Embodied User Interfaces: Towards Invisible User Interfaces." 7th IFIP Conference on Engineering for Human-Computer Interaction (EHCI 98), Crete. Kluwer (1999) 1-18.

Digital Library

[13]

Fuchs, Norbert. E. "Specifications Are (Preferably) Executable." IEE Software Engineering Journal 7, no. 5 (1992) 323-34.

Digital Library

[14]

Goldberg, A., and D. Robson. Smalltalk-80: the Language and Its Implementations Addison Wesley (1983).

Digital Library

[15]

Jacomi, Michele, Chatty, Stéphane, and Palanque, Philippe. "A Making-Movies Metaphor for Structuring Software Components in Highly Interactive Application." Human-Computer Interaction'97 (HCI'97). Springer Verlag London (1997).

Digital Library

[16]

Jones, C. B., and Hayes, I. J. "Specifications Are Not (Necessarily) Executable." IEE Software Engineering Journal 4, no. 6 (1989) 320-338.

Digital Library

[17]

Nigay, Laurence, and Coutaz, Joëlle. "A Design Space for Multimodal Interfaces: Concurrent Processing and Data Fusion." INTERCHI'93. Amsterdam, The Netherlands, ACM press; (1993) 172-78.

Digital Library

[18]

Norman D. A. "The Psychology of Everyday Things." Harper and Collins (1988).

[19]

Palanque, Philippe, and Bastide, Rémi. "Formal Specification and Verification of CSCW Using the Interactive Cooperative Object Formalism." HCI'95, Huddersfield, UK. Cambridge University Press (1995) 213-30.

Digital Library

[20]

Palanque, Philippe, and Bastide, Rémi. "Synergistic Modelling of Tasks, Users and Systems Using Formal Specification Techniques." Interacting With Computers 9, no. 2 (1997) 129-53.

[21]

Palanque, Philippe, Bastide, Rémi, Navarre, David, and Sy, Ousmane. "Computer Discretised Interaction: From Continuous to Discrete and Back Again." CHI 2000 Workshop on Continuity in Human Computer Interaction, Den Haag, Netherlands. (2000).

[22]

Rational Software Corporation. UML Notation Guide. 1.1 ed.1997.

[23]

Shneiderman, Ben. "Direct Manipulations: a Step Beyond Prgramming Languages." IEEE Computer (1983) 27-69.

Digital Library

[24]

Siegel, Jon. "OMG Overview: CORBA and the OMA in Enterprise Computing." Communications of the ACM 41, no. 10 (1998) 37-43.

Digital Library

[25]

Sy, Ousmane, Bastide, Rémi, Palanque, Philippe, Le, Duc-Hoa, and Navarre, David. "Pet-Shop: a CASE Tool for the Petri Net Based Specification and Prototyping of CORBA Systems." 20th International Conference on Applications and Theory of Petri Nets, ICATPN'99, Williamsburg, VA, USA. (1999).

Cited By

Palanque PBarboni EMartinie CNavarre DWinckler MPaternò FLuyten KMaurer F(2011)A model-based approach for supporting engineering usability evaluation of interaction techniquesProceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems10.1145/1996461.1996490(21-30)Online publication date: 13-Jun-2011
https://dl.acm.org/doi/10.1145/1996461.1996490
Ladry JPalanque PNavarre DBarboni EWinckler MDavid BNoirhomme-Fraiture MTricot A(2010)Une approche à base de modèles pour l'ingénierie logicielle de techniques d'interactionProceedings of the 22nd Conference on l'Interaction Homme-Machine10.1145/1941007.1941019(81-88)Online publication date: 20-Sep-2010
https://dl.acm.org/doi/10.1145/1941007.1941019
Blouin ABeaudoux OCoutaz JPalanque PVanderdonckt J(2009)MalaiProceedings of the 21st International Conference on Association Francophone d'Interaction Homme-Machine10.1145/1629826.1629846(129-138)Online publication date: 13-Oct-2009
https://dl.acm.org/doi/10.1145/1629826.1629846
Show More Cited By

Recommendations

Formalized structured analysis specifications
Modular structuring of VDM specifications in VVSL
Abstract
VVSL is a language for writing modularly structured VDM specifications. Its modularisation mechanism permits two modules to have parts of their state in common, including hidden parts. Firstly, this paper gives an overview of the structuring ...
Structuring Real-Time Object-Z Specifications
IFM '00: Proceedings of the Second International Conference on Integrated Formal Methods

This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes using inheritance and composition of classes to form multi-component ...

Comments

Information & Contributors

Information

Published In

cover image Guide Proceedings

DSV-IS'00: Proceedings of the 7th international conference on Design, specification, and verification of interactive systems

June 2000

257 pages

ISBN:3540416633

Editors:
Philippe Palanque
LIHS University Toulouse 1, Toulouse Cedex, France
,
Fabio Paternò
Consiglio Nazionale delle Ricerche, Istituto CNUCE, Ghezzano-Pisa, Italia

Sponsors

EUROGRAPHICS: The European Association for Computer Graphics

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 05 June 2000

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

12
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 08 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Palanque PBarboni EMartinie CNavarre DWinckler MPaternò FLuyten KMaurer F(2011)A model-based approach for supporting engineering usability evaluation of interaction techniquesProceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems10.1145/1996461.1996490(21-30)Online publication date: 13-Jun-2011
https://dl.acm.org/doi/10.1145/1996461.1996490
Ladry JPalanque PNavarre DBarboni EWinckler MDavid BNoirhomme-Fraiture MTricot A(2010)Une approche à base de modèles pour l'ingénierie logicielle de techniques d'interactionProceedings of the 22nd Conference on l'Interaction Homme-Machine10.1145/1941007.1941019(81-88)Online publication date: 20-Sep-2010
https://dl.acm.org/doi/10.1145/1941007.1941019
Blouin ABeaudoux OCoutaz JPalanque PVanderdonckt J(2009)MalaiProceedings of the 21st International Conference on Association Francophone d'Interaction Homme-Machine10.1145/1629826.1629846(129-138)Online publication date: 13-Oct-2009
https://dl.acm.org/doi/10.1145/1629826.1629846
Navarre DPalanque PLadry JBarboni E(2009)ICOsACM Transactions on Computer-Human Interaction10.1145/1614390.161439316:4(1-56)Online publication date: 27-Nov-2009
https://dl.acm.org/doi/10.1145/1614390.1614393
Palanque PBasnyat SNavarre D(2007)Improving interactive systems usability using formal description techniquesProceedings of the 3rd Human-computer interaction and usability engineering of the Austrian computer society conference on HCI and usability for medicine and health care10.5555/1783414.1783417(21-40)Online publication date: 22-Nov-2007
https://dl.acm.org/doi/10.5555/1783414.1783417
Navarre DPalanque PBarboni EMistrzyk T(2007)On the benefit of synergistic model-based approach forsafety critical interactive system testingProceedings of the 6th international conference on Task models and diagrams for user interface design10.5555/1782434.1782451(140-154)Online publication date: 7-Nov-2007
https://dl.acm.org/doi/10.5555/1782434.1782451
Basnyat SChozos NJohnson CPalanque P(2005)Incident and accident investigation techniques to inform model-based design of safety-critical interactive systemsProceedings of the 12th international conference on Interactive Systems: design, specification, and verification10.1007/11752707_5(51-66)Online publication date: 13-Jul-2005
https://dl.acm.org/doi/10.1007/11752707_5
Bastide RNavarre DPalanque PSchyn ADragicevic PSharma RDarrell THarper MLazzari GTurk M(2004)A model-based approach for real-time embedded multimodal systems in military aircraftsProceedings of the 6th international conference on Multimodal interfaces10.1145/1027933.1027974(243-250)Online publication date: 13-Oct-2004
https://dl.acm.org/doi/10.1145/1027933.1027974
Navarre DDragicevic PPalanque PBastide RSchyn A(2004)Very-high-fidelity prototyping for both presentation and dialogue parts of multimodal interactive systemsProceedings of the 2004 international conference on Engineering Human Computer Interaction and Interactive Systems10.1007/11431879_11(179-199)Online publication date: 11-Jul-2004
https://dl.acm.org/doi/10.1007/11431879_11
Jambon FZreik KKolski CBrangier E(2003)First steps in the retro-engineering of a GUI toolkit in the B languageProceedings of the 15th Conference on l'Interaction Homme-Machine10.1145/1063669.1063686(118-125)Online publication date: 25-Nov-2003
https://dl.acm.org/doi/10.1145/1063669.1063686
Show More Cited By

View Options

View options

Figures

Tables

Media

View Table of Conten