Grammar-based Formal Specification for the Object-Oriented User Interface Development
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.
KeywordsInput Symbol Semantic Rule Arch Model Point Sequence Output Symbol
Unable to display preview. Download preview PDF.
- A Metamodel for the Runtime Architecture of an Interactive System. The UIMS Tool Developers Workshop. SIGCHI Bulletin, 24(l):32–37, 1992.Google Scholar
- J. Coutaz. PAC, an implementation model for dialog design. In Proceedings of the INTERACT’ 87, pages 431–436. Elsevier, 1987.Google Scholar
- 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
- A. Goldberg. Smalltalk-80 Interactive Programming Environment. Addison-Wesley, Reading, MA, 1983.Google Scholar
- J. Mullin. Dialogue Specification, Analysis and Implementation in a User Interface Managementsystem. PhD thesis, University of Strathclyde, 1991.Google Scholar
- G.E. Pfaff, editor. User Interface Management Systems. Proceedings of the Workshop on UIMS, Seeheim, Nov. 1–3, 1983. Springer, Berlin, 1985.Google Scholar
- 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
- 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
- TopoL 3.0. Reference guide, Help Service — Mapping, Prague, 1994.Google Scholar
- R.J. Wirfs-Brock and R.E. Johnson. Surveying Current Research in Object-Oriented Design. Communications of the ACM, 33(9), 1990.Google Scholar