iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://doi.org/10.1007/978-3-540-39929-2_25
ISML: An Interface Specification Meta-language | SpringerLink
Skip to main content

ISML: An Interface Specification Meta-language

  • Conference paper
Interactive Systems. Design, Specification, and Verification (DSV-IS 2003)

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

Abstract

In this paper we present an abstract metaphor model situated within a model-based user interface framework. The inclusion of metaphors in graphical user interfaces is a well established, but mostly craft-based strategy to design. A substantial body of notations and tools can be found within the model-based user interface design literature, however an explicit treatment of metaphor and its mappings to other design views has yet to be addressed. We introduce the Interface Specification Meta-Language (ISML) framework and demonstrate its use in comparing the semantic and syntactic features of an interactive system. Challenges facing this research are outlined and further work proposed.

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

Access this chapter

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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.

Similar content being viewed by others

References

  1. Accot, J., Chatty, S., et al.: A Formal Description of Low Level Interaction and its Application to Multimodal Interactive Systems. In: 3rd International Eurographics Workshop on Design, Specification, and Verification of Interactive Systems, Namur, Belgium. Springer, Heidelberg (1996)

    Google Scholar 

  2. XML Spy, Altova (2003), http://www.altova.com/

  3. Alty, J.L., Knott, R.P.: Metaphor and human computer interaction: a model based approach. In: Proceedings of Computation for Metaphors, Analogy and Agents: An International Workshop (1998)

    Google Scholar 

  4. Alty, J.L., Knott, R.P., et al.: A framework for engineering metaphor at the user interface. Interacting with Computers 13(2), 301–322 (2000)

    Article  Google Scholar 

  5. Ark, W., Dryer, D.C., et al.: Representation Matters: the Effect of 3D Objects and a Spatial Metaphor in a Graphical User Interface. In: Proceedings of HCI 1998, the Conference on Human-Computer Interaction. Springer, Heidelberg (1998)

    Google Scholar 

  6. Bastide, R., Palanque, P.: A visual and formal glue between application and interaction. Journal of Visual Languages and Computing 10(5), 481–507 (1999)

    Article  Google Scholar 

  7. Braubach, L., Pokahr, A., et al.: Using a Model-based Interface Construction Mechanism for Adaptable Agent User Interfaces. In: Proceedings of AAMAS Workshop 16 - Ubiquitous Agents on Embedded, Wearable, and Mobile Devices (2002)

    Google Scholar 

  8. Card, S.K., Mackinlay, J.D., et al.: Readings in Information Visualization: Using Vision to Think. Morgan Kaufmann Publishers, San Francisco (1999)

    Google Scholar 

  9. Carr, D.: Interaction Object Graphs: An Executable Graphical Notation for Specifying User Interfaces. In: Palanque, P., Paterno, F. (eds.) Formal Methods for Computer-Human Interaction, pp. 141–156. Springer, Heidelberg (1997)

    Google Scholar 

  10. da Silva, P.P.: User interface declarative models and development environments: A survey. In: Interactive Systems. Design, Specification, and Verification, 8th International Workshop, DSV-IS 2001, Glasgow, Scotland. Springer, Berlin (2001)

    Google Scholar 

  11. Eisenstein, J., Vanderdonckt, J., et al.: Applying model-based techniques to the development of UIs for mobile computers. In: International Conference on Intelligent User Interfaces archive Proceedings of the 6th international conference on Intelligent user interfaces, Santa Fe, New Mexico, United States. ACM Press, New York (2001)

    Google Scholar 

  12. Gentner, D., Bowdle, B., et al.: Metaphor is like analogy. In: Gentner, D., Holyoak, K.J., Kokinov, B.N. (eds.) The analogical mind: Perspectives from cognitive science, pp. 199–253. MIT Press, Cambridge (2001)

    Google Scholar 

  13. Gillan, D.J., Bias, R.G.: Use and Abuse of Metaphor in Human-Computer Interaction. In: Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, San Antonio (1994)

    Google Scholar 

  14. Golovchinsky, G., Chignell, M.H.: The newspaper as an information exploration metaphor. Information Processing and Management 33(5), 663–683 (1997)

    Article  Google Scholar 

  15. Griffiths, T., Barclay, P.J., et al.: Teallach: a model-based user interface development environment for object databases. Interacting with Computers 14(1), 31–68 (2001)

    Article  Google Scholar 

  16. Hartson, H.R., Siochi, A.C., et al.: The Uan - a User-Oriented Representation for Direct Manipulation Interface Designs. Acm Transactions on Information Systems 8(3), 181–203 (1990)

    Article  Google Scholar 

  17. Hussey, A., Carrington, D.: Comparing the MVC and PAC Architectures: a Formal Perspective. IEE Proceedings of Software Engineering 144(4), 224–236 (1997)

    Article  Google Scholar 

  18. Indurkhya, B.: Constrained Semantic Transference - a Formal Theory of Metaphors. Synthese 68(3), 515–551 (1986)

    Article  MathSciNet  Google Scholar 

  19. Jacob, R.J.K., Deligiannidis, L., et al.: A Software Model and Specification Language for Non-WIMP User Interfaces. ACM Transactions on Computer-Human Interaction 6(1), 1–46 (1999)

    Article  Google Scholar 

  20. Kuhn, W., Frank, A.U.: A Formalization Of Metaphors And Image-Schemas In User Interfaces. In: Mark, D., Frank, A.U. (eds.) Cognitive and Linguistic Aspects of Geographic Space, Technical University Vienna, Austria, pp. 419–434. Kluwer, Dordrecht (1991)

    Google Scholar 

  21. Lakoff, G.: The Contemporary Theory of Metaphor. In: Ortony, A. (ed.) Metaphor and Thought. Cambridge University Press, Cambridge (1992)

    Google Scholar 

  22. Lakoff, G., Johnson, M.: Metaphors We Live By. University of Chicago Press, Chicago (1980)

    Google Scholar 

  23. Lovgren, J.: How to Choose Good Metaphors. Ieee Software 11(3), 86–88 (1994)

    Article  Google Scholar 

  24. Luyten, K., Coninx, K.: An XML-Based Runtime User Interface Description Language for Mobile Computing Devices. In: Johnson, C. (ed.) DSV-IS 2001. LNCS, vol. 2220, pp. 1–15. Springer, Heidelberg (2001)

    Google Scholar 

  25. Maglio, P., Matlock, T.: Metaphors we surf the web by. In: Workshop on Personalized and Social Navigation in Information Space, Stockholm, Sweden (1998)

    Google Scholar 

  26. Massink, M., Duke, D., et al.: Towards Hybrid Interface Specification for Virtual Environments. In: Interactive Systems. Design, Specification, and Verification, 6th International Workshop, DSV-IS 1999, Braga, Portugal. Springer, Heidelberg (1999)

    Google Scholar 

  27. Navarre, D., Palanque, P., et al.: A Tool Suite for Integrating Task and System Models through Scenarios. In: Johnson, C. (ed.) DSV-IS 2001. LNCS, vol. 2220, p. 88. Springer, Heidelberg (2001)

    Google Scholar 

  28. Nilsson, E.G.: Combining Compound Conceptual User Interface Components with Modelling Patterns - a Promising Direction for Model-based Cross-platform Interface Development. In: Forbrig, P., Limbourg, Q., Urban, B., Vanderdonckt, J. (eds.) DSV-IS 2002. LNCS, vol. 2545, pp. 104–117. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  29. Norman, D.A., Draper, S.W.: Cognitive Engineering. In: Norman, D.A., Draper, S.W. (eds.) User Centred System Design, pp. 31–61. Lawrence Erlbaum Associates, Mahwah (1986)

    Google Scholar 

  30. Paterno’, F., Mancini, C.: Developing Task Models from Informal Scenarios. In: Proceedings ACM CHI 1999, Pittsburgh. ACM Press, New York (1999)

    Google Scholar 

  31. Preece, J., Rogers, Y., et al.: Human-Computer Interaction. Addison-Wesley, Reading (1994)

    Google Scholar 

  32. Pribeanu, C., Limbourg, Q., et al.: Task Modelling for Context-Sensitive User Interface. In: Johnson, C. (ed.) DSV-IS 2001. LNCS, vol. 2220, p. 49. Springer, Heidelberg (2001)

    Google Scholar 

  33. Smith, D.C., Irby, C., et al.: Designing the Star User Interface. Byte 7(4), 242–282 (1982)

    Google Scholar 

  34. van der Veer, G.C., van Welie, M.: Groupware Task Analysis. Tutorial Notes for the CHI 1999 workshop Task Analysis Meets Prototyping: Towards seamless UI Development (1999)

    Google Scholar 

  35. Zajicek, M.P., Windsor, R.: Using Mixed Metaphors to Enhance the usability of an electronic multimedia document. IEE Colloquium Human-Computer Interface Design for Multimedia Electronic Books, Washington (1995)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Crowle, S., Hole, L. (2003). ISML: An Interface Specification Meta-language. In: Jorge, J.A., Jardim Nunes, N., Falcão e Cunha, J. (eds) Interactive Systems. Design, Specification, and Verification. DSV-IS 2003. Lecture Notes in Computer Science, vol 2844. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39929-2_25

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-39929-2_25

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-20159-5

  • Online ISBN: 978-3-540-39929-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics