A Formal Specification of Interaction Widgets Hierarchy Framework

Lijian Wang; Abudulkadir Sajeev; Lachana Inchaiwong

A Formal Specification of Interaction Widgets Hierarchy Framework

Lijian Wang
, Abudulkadir Sajeev
, Lachana Inchaiwong

School of Science & Technology

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

3 Citations (Scopus)

Abstract

In this paper we provide a behavioural 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.

Original language	English
Title of host publication	Proceedings of the Third International Conference on Information Technology: New Generations
Editors	Latiff, S
Place of Publication	California, United States of America
Publisher	Institute of Electrical and Electronics Engineers (IEEE)
Pages	658-663
ISBN (Print)	0769524974
Publication status	Published - 2006
Event	ITNG 2006: Third International Conference on Information Technology: New Generations - Las Vegas, United States of America Duration: 10 Apr 2006 → 12 Apr 2006

Conference

Conference	ITNG 2006: Third International Conference on Information Technology: New Generations
City	Las Vegas, United States of America
Period	10/04/06 → 12/04/06

Keywords

Software Engineering

Access to Document

https://hdl.handle.net/1959.11/4716

Handle.net

Persistent link

Cite this

@inproceedings{3f7ad2fd2c854adda494a794d1be0979,

title = "A Formal Specification of Interaction Widgets Hierarchy Framework",

abstract = "In this paper we provide a behavioural 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 = "Software Engineering",

author = "Lijian Wang and Abudulkadir Sajeev and Lachana Inchaiwong",

year = "2006",

language = "English",

isbn = "0769524974",

pages = "658--663",

editor = "Latiff and S",

booktitle = "Proceedings of the Third International Conference on Information Technology: New Generations",

publisher = "Institute of Electrical and Electronics Engineers (IEEE)",

note = "ITNG 2006: Third International Conference on Information Technology: New Generations ; Conference date: 10-04-2006 Through 12-04-2006",

}

Wang, L, Sajeev, A & Inchaiwong, L 2006, A Formal Specification of Interaction Widgets Hierarchy Framework. in Latiff & S (eds), Proceedings of the Third International Conference on Information Technology: New Generations. Institute of Electrical and Electronics Engineers (IEEE), California, United States of America, pp. 658-663, ITNG 2006: Third International Conference on Information Technology: New Generations, Las Vegas, United States of America, 10/04/06. <https://hdl.handle.net/1959.11/4716>

A Formal Specification of Interaction Widgets Hierarchy Framework. / Wang, Lijian; Sajeev, Abudulkadir; Inchaiwong, Lachana.
Proceedings of the Third International Conference on Information Technology: New Generations. ed. / Latiff; S. California, United States of America: Institute of Electrical and Electronics Engineers (IEEE), 2006. p. 658-663.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - A Formal Specification of Interaction Widgets Hierarchy Framework

AU - Wang, Lijian

AU - Sajeev, Abudulkadir

AU - Inchaiwong, Lachana

PY - 2006

Y1 - 2006

N2 - In this paper we provide a behavioural 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.

AB - In this paper we provide a behavioural 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.

KW - Software Engineering

UR - http://www.itng.info/OLD/2006Web/

UR - http://trove.nla.gov.au/work/20944477

M3 - Conference contribution

SN - 0769524974

SP - 658

EP - 663

BT - Proceedings of the Third International Conference on Information Technology: New Generations

A2 - Latiff, null

A2 - S, null

PB - Institute of Electrical and Electronics Engineers (IEEE)

CY - California, United States of America

T2 - ITNG 2006: Third International Conference on Information Technology: New Generations

Y2 - 10 April 2006 through 12 April 2006

ER -

A Formal Specification of Interaction Widgets Hierarchy Framework

Abstract

Conference

Keywords

Access to Document

Handle.net

Fingerprint

Cite this