Petri net based graphical user interface specification tool

Author

Li, Xiaosong ; Mugridge, Rick

Author_Institution

Dept. of Comput. Sci., Auckland Univ., New Zealand

fYear

1994

fDate

22-25 Nov 1994

Firstpage

50

Lastpage

57

Abstract

PUIST is a specification tool that is being created for software development and software engineering education. It assists user interface designers in specifying the static form and dynamic behaviour of graphical user interfaces (GUI). It also assists teachers in demonstrating specification principles and provides training opportunities for students in software specification and design. The dynamic behaviour of a user interface is specified by a Petri net. The Petri net is also used as a control engine in PUIST to enable rapid prototyping of the user interface

Keywords

Petri nets; computer science education; formal specification; graphical user interfaces; software prototyping; software tools; user interface management systems; Petri net based graphical user interface specification tool; graphical user interfaces; rapid prototyping; software development; software engineering education; software specification; specification principles; training opportunities; user interface designers; Computer science; Formal specifications; Graphical user interfaces; Petri nets; Programming profession; Prototypes; Software design; Software engineering; Software prototyping; User interfaces;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Education Conference, 1994. Proceedings.

Conference_Location

Dunedin

Print_ISBN

0-8186-5870-3

Type

conf

DOI

10.1109/SEDC.1994.475317

Filename

475317