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

fYear

2006

fDate

10-12 April 2006

Firstpage

658

Lastpage

664

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Information Technology: New Generations, 2006. ITNG 2006. Third International Conference on

Conference_Location

Las Vegas, NV

Print_ISBN

0-7695-2497-4

Type

conf

DOI

10.1109/ITNG.2006.8

Filename

1611679