Paper Info
Title
Petri net based Design of User-driven Interfaces Using the Interactive Cooperative Objects Formalism
Abstract
The research work presented here belongs in the domain of formal specification of human-software interaction. More precisely, we are concerned by the applying a formal specification technique in the various stages of the construction of an user-driven application, the kind supported by most of the current UIMS. We use the Interactive Cooperative Objects (ICO) formalism, in which structural (or static) aspects are described in an object-oriented framework and dynamic (or behavioral) aspects are described with high-level Petri-nets. The formalism, a case study and some of its expected benefits are presented here.
Year
DOI
Venue
1994
10.1007/978-3-642-87115-3_23
DSV-IS
Keywords
Field
DocType
formal specification,petri net
Petri net,Computer science,Theoretical computer science,Finite-state machine,Formal specification,Data integrity,Formalism (philosophy)
Conference
Citations 
PageRank 
References 
43
3.08
14
Authors
2
Name
Order
Citations
PageRank
Philippe A. Palanque189399.90
Rémi Bastide257951.35