Direct-manipulation user interface modeling with high-level Petri nets

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Direct-manipulation user interface modeling with high-level Petri nets

Full text

Pdf (998 KB)

Source

ACM Annual Computer Science Conference archive
Proceedings of the 19th annual conference on Computer Science table of contents

San Antonio, Texas, United States

Pages: 487 - 495

Year of Publication: 1991

ISBN:0-89791-382-5

Authors

Huan Chao Keh	Department of Computer Science, Oregon State University, Corvallis, OR
T. G. Lewis	Department of Computer Science, Oregon State University, Corvallis, OR

Sponsor

ACM: Association for Computing Machinery

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 9, Citation Count: 2

Additional Information:

references cited by collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/327164.327336 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	G Bruno , G Marchetto, Process-translatable Petri Nets for the rapid prototyping of process control systems, IEEE Transactions on Software Engineering, v.12 n.2, p.346-357, Feb. 1986
	2	Giorgio Bruno , Alessandra Balsamo, Petri net-based object-oriented modelling of distributed systems, Conference proceedings on Object-oriented programming systems, languages and applications, p.284-293, September 29-October 02, 1986, Portland, Oregon, United States
	3	Genrich, H.J. and Lautenbach, K. System modeling with high-level Petri nets. Theoretical Computer Science 13 (1981), 109-136.
	4	Robert J. K. Jacob, Using formal specifications in the design of a human-computer interface, Communications of the ACM, v.26 n.4, p.259-264, April 1983 [doi>10.1145/2163.358093]
	5	Robert J. K. Jacob, A specification language for direct-manipulation user interfaces, ACM Transactions on Graphics (TOG), v.5 n.4, p.283-317, Oct. 1986 [doi>10.1145/27623.27624]
	6	Jensen, K. Coloured Petri nets and the invariantmethod. Theoretical Computer Science 14 (1981), 317-336.
	7	Keh, H.C. HelpDez: Colored-Petri-net-based hypermedia help system designer. Proc. of 2nd Int. Conf. on Software Eng. and Knowledge Eng., Skokie Illinois, June 1990, 254-259.
	8	T. G. Lewis , Fred T. Handloser , Sharada Bose , Sherry Yang, Prototypes from Standard User Interface Management Systems, Computer, v.22 n.5, p.51-60, May 1989 [doi>10.1109/2.27956]
	9	Brad A. Myers, User-Interface Tools: Introduction and Survey, IEEE Software, v.6 n.1, p.15-23, January 1989 [doi>10.1109/52.16898]
	10	Nelson, R.A., Haibt, L.M. and Sheridan, P.B. Casting Petri nets into programs. IEEE Trans. Software Eng. SE-9, 5 (Sept. 1983), 590-602.
	11	James Lyle Peterson, Petri Net Theory and the Modeling of Systems, Prentice Hall PTR, Upper Saddle River, NJ, 1981
	12	Willem R. van Biljon, Extending Petri nets for specifying man-machine dialogues, International Journal of Man-Machine Studies, v.28 n.4, p.437-455, April 1988 [doi>10.1016/S0020-7373(88)80021-X]
	13	Anthony I. Wasserman, Extending state transition diagrams for the specification of human-computer interaction, IEEE Transactions on Software Engineering, v.11 n.8, p.699-713, Aug. 1985 [doi>10.1109/TSE.1985.232519]
	14	Yang, S., Lewis, T.G. and Hsieh, C. Integrating computer-aided software engineering and user interface management systems. Proc. of 22nd Hawaiian Int. Conf. on System Sciences, Vol. II, 1989.

CITED BY 2

	Jianghui Ying, An approach to Petri net based formal modeling of user interactions from X3D content, Proceedings of the eleventh international conference on 3D web technology, April 18-21, 2006, Columbia, Maryland
	Harold Thimbleby , Patrick Oladimeji, Social network analysis and interactive device design analysis, Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems, July 15-17, 2009, Pittsburgh, PA, USA

Collaborative Colleagues:

Huan Chao Keh: colleagues

T. G. Lewis: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player