loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Third International Conference on Information Technology: New Generations (ITNG'06)
A Formal Specification of Interaction Widgets Hierarchy Framework
Las Vegas, Nevada
April 10-April 12
ISBN: 0-7695-2497-4
ASCII Text
x 
 
L.J. Wang, A.S.M. Sajeev, L. Inchaiwong, "A Formal Specification of Interaction Widgets Hierarchy Framework," Information Technology: New Generations, Third International Conference on, pp. 658-664, Third International Conference on Information Technology: New Generations (ITNG'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/ITNG.2006.8,
author = {L.J. Wang and A.S.M. Sajeev and L. Inchaiwong},
title = {A Formal Specification of Interaction Widgets Hierarchy Framework},
journal ={Information Technology: New Generations, Third International Conference on},
volume = {0},
year = {2006},
isbn = {0-7695-2497-4},
pages = {658-664},
doi = {http://doi.ieeecomputersociety.org/10.1109/ITNG.2006.8},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Information Technology: New Generations, Third International Conference on
TI - A Formal Specification of Interaction Widgets Hierarchy Framework
SN - 0-7695-2497-4
SP658
EP664
A1 - L.J. Wang,
A1 - A.S.M. Sajeev,
A1 - L. Inchaiwong,
PY - 2006
KW - device independent interface
KW - abstract interactor
KW - object constraint language (OCL)
KW - design by contract
KW - widget
VL - 0
JA - Information Technology: New Generations, Third International Conference on
ER -
 
L.J. Wang, University of New England, Australia
A.S.M. Sajeev, University of New England, Australia
L. Inchaiwong, University of New England, Australia
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.
Index Terms:
device independent interface, abstract interactor, object constraint language (OCL), design by contract, widget
Citation:
L.J. Wang, A.S.M. Sajeev, L. Inchaiwong, "A Formal Specification of Interaction Widgets Hierarchy Framework," itng, pp.658-664, Third International Conference on Information Technology: New Generations (ITNG'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.