Skip to main content
SpringerLink
Log in

Structuring Interactive Systems Specifications for Executability and Prototypability

  • Conference paper
  • First Online:
Interactive Systems Design, Specification, and Verification (DSV-IS 2000)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1946))

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

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.

    Google Scholar 

  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.

    Google Scholar 

  3. Bass, Len, Clements, P., and Kazman, Rick. “Software Architecture in Practice.”Addison Wesley

    Google Scholar 

  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)

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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)

    Google Scholar 

  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.

    Google Scholar 

  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).

    Google Scholar 

  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.

    Google Scholar 

  11. Coutaz, Joëlle. “PAC, an Implementation Model for Dialogue Design.”Interact’87, North Holland. (1987) 431–37.

    Google Scholar 

  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.

    Google Scholar 

  13. Fuchs, Norbert. E. “Specifications Are (Preferably) Executable.”IEE Software Engineering Journal 7, no. 5 (1992) 323–34.

    Google Scholar 

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

    Google Scholar 

  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)

    Google Scholar 

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

    Google Scholar 

  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.

    Google Scholar 

  18. Norman D. A. “The Psychology of Everyday Things.”Harper and Collins (1988).

    Google Scholar 

  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.

    Google Scholar 

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

    Article  Google Scholar 

  21. Palanque, Philippe, B astide, 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)

    Google Scholar 

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

    Google Scholar 

  23. Shneiderman, Ben. “Direct Manipulations: a Step Beyond Prgramming Languages.”IEEE Computer (1983) 27–69.

    Google Scholar 

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

    Article  Google Scholar 

  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)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LIHS, UniversitéToulouse I, Place Anatole France, F-31042, Toulouse Cedex, France

    David Navarre, Philippe Palanque, Rémi Bastide & Ousmane Sy

Authors
  1. David Navarre
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Philippe Palanque
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Rémi Bastide
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Ousmane Sy
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. LIHS University Toulouse 1, Place Anatole France, 31042, Toulouse Cedex, France

    Philippe Palanque

  2. Istituto CNUCE, Consiglio Nazionale delle Ricerche, Via V. Alfieri 1, 56010, Ghezzano-Pisa, Italia

    Fabio Paternò

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Navarre, D., Palanque, P., Bastide, R., Sy, O. (2001). Structuring Interactive Systems Specifications for Executability and Prototypability. In: Palanque, P., Paternò, F. (eds) Interactive Systems Design, Specification, and Verification. DSV-IS 2000. Lecture Notes in Computer Science, vol 1946. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44675-3_7

Download citation

  • DOI: https://doi.org/10.1007/3-540-44675-3_7

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-41663-0

  • Online ISBN: 978-3-540-44675-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation