Grammar-based Formal Specification for the Object-Oriented User Interface Development

  • Aleš Limpouch
Conference paper
Part of the Focus on Computer Graphics book series (FOCUS COMPUTER)


Object-oriented programming techniques are considered appropriate for the development of event-driven interactive systems with an object-oriented user interface. Due to the lack of any formalism in object-oriented user interface design and implementation, we utilize our experience in the use of grammar-based notations for the formal specification of user interfaces. This paper proposes a model which combines the Arch and the PAC models with the Bypass mechanism and shows their proper application and interpretation in the decomposition of an interactive system during its development. The adoption of attributed layered translation grammars is proposed for the formal description of the agents in this model. The prototype of the OOGC UIMS system supporting the grammar-based specification of user interfaces is presented in this paper.


Input Symbol Semantic Rule Arch Model Point Sequence Output Symbol 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    A Metamodel for the Runtime Architecture of an Interactive System. The UIMS Tool Developers Workshop. SIGCHI Bulletin, 24(l):32–37, 1992.Google Scholar
  2. [2]
    J. Coutaz. PAC, an implementation model for dialog design. In Proceedings of the INTERACT’ 87, pages 431–436. Elsevier, 1987.Google Scholar
  3. [3]
    D.A. Duce, M.R. Gomes, ERA. Hopgood, and J.R. Lee, editors. User Interface Management and Design. Proceedings of the Workshop on UIMS and Environments, Lisbon, June 4–6, 1990. Springer, Berlin, 1991.Google Scholar
  4. [4]
    A. Goldberg. Smalltalk-80 Interactive Programming Environment. Addison-Wesley, Reading, MA, 1983.Google Scholar
  5. [5]
    M. Green. A Survey of Three Dialogue Models. ACM Transactions on Graphics, 5(3):244–275, 1986.CrossRefGoogle Scholar
  6. [6]
    J. Mullin. Dialogue Specification, Analysis and Implementation in a User Interface Managementsystem. PhD thesis, University of Strathclyde, 1991.Google Scholar
  7. [7]
    G.E. Pfaff, editor. User Interface Management Systems. Proceedings of the Workshop on UIMS, Seeheim, Nov. 1–3, 1983. Springer, Berlin, 1985.Google Scholar
  8. [8]
    P. Slavik and A. Limpouch. User Interface Design Based on the Theory of Formal Languages. Research Report DC-91–02, Czech Technical University, Prague, 1991.Google Scholar
  9. [9]
    P. Slavik and A. Limpouch. User Interface Design Based on the Theory of Formal Languages. Research Report DC-93–03 (revised version of the report DC-91–02), Czech Technical University, Prague, 1993.Google Scholar
  10. [10]
    TopoL 3.0. Reference guide, Help Service — Mapping, Prague, 1994.Google Scholar
  11. [11]
    A. Weinand, E. Gamma, and R. Marty. ET++ — An Object-Oriented Application Framework in C++. Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages and Applications. SIGPLAN Notices, 23(11):46–57, 1988.CrossRefGoogle Scholar
  12. [12]
    R.J. Wirfs-Brock and R.E. Johnson. Surveying Current Research in Object-Oriented Design. Communications of the ACM, 33(9), 1990.Google Scholar

Copyright information

© EUROGRAPHICS The European Association for Computer Graphics 1995

Authors and Affiliations

  • Aleš Limpouch

There are no affiliations available

Personalised recommendations