Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Keywords
(5)
high-level petri net
Object-oriented Software
Parallel Systems
User Interface Design
petri net
Related Publications
(4)
The UAN: a user-oriented representation for direct manipulation interface designs
Petri Nets: Properties, Analysis and Applications
On visual formalisms
Direct-manipulat...
Subscribe
Academic
Publications
Petri net objects for the design, validation and prototyping of user-driven interfaces
Petri net objects for the design, validation and prototyping of user-driven interfaces,Rémi Bastide,Philippe A. Palanque
Edit
Petri net objects for the design, validation and prototyping of user-driven interfaces
(
Citations: 25
)
BibTex
|
RIS
|
RefWorks
Download
Rémi Bastide
,
Philippe A. Palanque
Petri Net
Objects (P.N.O.) are a high-level, object-structured dialect of Petri nets, primarily devised for the design of parallel systems. We show how this formalism can be used for the specification and design of event-driven interfaces, through the use of a real-life example. We then discuss the potential for dialogue validation, integration in UIMS and prototyping offered by this model.
Conference:
IFIP Conference on Human-Computer Interaction - INTERACT
, pp. 625-631, 1990
Cumulative
Annual
Citation Context
(11)
...Other authors have considered Statecharts [11] (which provides an exposition of the Citizen Quartz Multi-Alarm III), Petri nets [
1
] (which have also been used for direct manipulation user interfaces [15]) and other sorts of transition networks; these can all be converted to the type of networks needed...
Harold W. Thimbleby
,
et al.
Social network analysis and interactive device design analysis
...The ICO formalism is the continuation of early work on dialogue modeling using high-level Petri nets (
Bastide and Palanque, 1990
)...
David Navarre
,
et al.
Task Models and System Models as A Bridge Between Hci and Software Eng...
...
Bastide & Palanque, 1990
), UAN (Hartson, Siochi & Hix, 1992) or Task-Action Grammar (e.g...
Ann E. Blandford
,
et al.
Scoping Analytical Usability Evaluation Methods: A Case Study
...This formal description technique (based on the Petri nets) has been developed at LIHS in the early nineties [
2
] and refined since then (1)...
Rémi Bastide
,
et al.
A model-based tool for interactive prototyping of highly interactive a...
...Bastide and Palanque [
Bas90
] exploit Petri Nets to derive formal specifications of interactive systems at a very high level of abstraction...
CHRIS JOHNSON
.
Expanding the Role of Formal Methods in CSCW
References
(6)
Object-oriented software coustruciion
(
Citations: 740
)
Bertrand Meyer
Published in 1988.
Object oriented programmin9 - an evolutionary approach
(
Citations: 151
)
B. J. Cox
Published in 1986.
Object-oriented software construction
(
Citations: 2861
)
B. Meyer
Published in 1997.
Object-oriented programming: an evolutionary approach
(
Citations: 406
)
B. J. Cox
Published in 1987.
Petri net theory and the modeling of systems
(
Citations: 2009
)
J. L. Peterson
Published in 1981.
Sort by:
Citations
(25)
A specification paradigm for the design and implementation of tangible user interfaces
(
Citations: 3
)
Orit Shaer
,
Robert J. K. Jacob
Journal:
ACM Transactions on Computer-human Interaction - TOCHI
, vol. 16, no. 4, pp. 1-39, 2009
Social network analysis and interactive device design analysis
(
Citations: 2
)
Harold W. Thimbleby
,
Patrick Oladimeji
Published in 2009.
Task Models and System Models as A Bridge Between Hci and Software Engineering
(
Citations: 1
)
David Navarre
,
Philippe Palanque
,
Marco Winckler
Published in 2009.
Scoping Analytical Usability Evaluation Methods: A Case Study
(
Citations: 10
)
Ann E. Blandford
,
Joanne K. Hyde
,
Thomas R. G. Green
,
Iain Connell
Journal:
Human-computer Interaction
, vol. 23, no. 3, pp. 278-327, 2008
A model-based tool for interactive prototyping of highly interactive applications
(
Citations: 18
)
Rémi Bastide
,
David Navarre
,
Philippe A. Palanque
Conference:
Computer Human Interaction - CHI
, pp. 516-517, 2002