Extensions to the PUIST User Interface Specification Too

Authors:
Xiaosong Li;Rick Mugridge
Affiliations:
-;-
Venue:
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
Year:
1996

Citing 6
Cited 0

Software engineering concepts

Software engineering concepts
Software Evolution Through Rapid Prototyping

Computer
Petri-net-based hypertext: document structure with browsing semantics

ACM Transactions on Information Systems (TOIS)
Lean cuisine: a low fat notation for menus

Interacting with Computers
An environment for specifying an executing hierarchical Petri nets

ICSE '90 Proceedings of the 12th international conference on Software engineering
Integrating Software Engineering Methods and Petri Nets for the Specification and Prototyping of Complex Information Systems

Proceedings of the 14th International Conference on Application and Theory of Petri Nets

Quantified Score

Hi-index	0.00

Visualization

Abstract

PUIST is a specification tool that is being created for software development. It assists user interface designers to specify the static form and dynamic behaviour of graphical user interfaces (GUI) using a Petri net based model. In this paper, we describe extensions made to increase the modelling power of PUIST and to make it more practical. Hierarchical specifications have been introduced to PUIST which make modular design, specification reuse and top down design possible. Two special types of arc and one special type of transition have also been introduced to PUIST to extend the range of the dynamic behaviours PUIST can specify. In particular the dynamic behaviours of a menu can now be precisely specified.