Title :
A Formal Specification of Interaction Widgets Hierarchy Framework
Author :
Wang, L.J. ; Sajeev, A.S.M. ; Inchaiwong, L.
Author_Institution :
Sch. of Math. & Comput. Sci., New England Univ., Armidale, NSW
Abstract :
In this paper we provide a behavioral classification of user interaction widgets. We use object constraint language (OCL) to specify widget constraints in a formal manner. The benefits of such a behavioral classification are that application interface can be described in a device and technology independent way, and that design by contract principle can be applied to reason about the conformance of widgets at various level of abstraction. In addition, such classification can be considered as a guideline for mapping between abstract widgets and concrete widgets
Keywords :
formal specification; object-oriented languages; user interfaces; abstract widget; application interface; behavioral classification; design by contract principle; formal specification; object constraint language; user interaction widget hierarchy framework; widget conformance; widget constraint specification; Australia; Concrete; Contracts; Formal specifications; Guidelines; Mobile handsets; Page description languages; Rendering (computer graphics); Unified modeling language; User interfaces; abstract; contract; design by; device independent interface; interactor; object constraint language (OCL); widget;
Conference_Titel :
Information Technology: New Generations, 2006. ITNG 2006. Third International Conference on
Conference_Location :
Las Vegas, NV
Print_ISBN :
0-7695-2497-4
DOI :
10.1109/ITNG.2006.8
