Validating interactive system design through the verification of formal task and system models

Palanque, Philippe; Bastide, Rémi; Sengès, Valérie

doi:10.1007/978-0-387-34907-7_11

Cited by 45 publications

(43 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…[18]). Some of them (sequence and choice) have been already defined through Petri Nets in [107]. We provide here a complete definition of all operators.…”

Section: Composition Operatorsmentioning

confidence: 99%

A model-based approach for gesture interfaces

Spano

2011

Proceedings of the 3rd ACM SIGCHI Symposium on Engineering Interactive Computing Systems

View full text Add to dashboard Cite

This one goes out to the one I love "People shouldn't have to read a manual to open a door, even if it is only one word long (push/pull AbstractThe description of a gesture requires temporal analysis of values generated by input sensors, and it does not fit well the observer pattern traditionally used by frameworks to handle the user's input. The current solution is to embed particular gesture-based interactions into frameworks by notifying when a gesture is detected completely. This approach suffers from a lack of flexibility, unless the programmer performs explicit temporal analysis of raw sensors data. This thesis proposes a compositional, declarative meta-model for gestures definition based on Petri Nets. Basic traits are used as building blocks for defining gestures; each one notifies the change of a feature value. A complex gesture is defined by the composition of other sub-gestures using a set of operators. The user interface behaviour can be associated to the recognition of the whole gesture or to any other sub-component, addressing the problem of granularity for the notification of events.The meta-model can be instantiated for different gesture recognition supports and its definition has been validated through a proof of concept library. Sample applications have been developed for supporting multi-touch gestures in iOS and full body gestures with Microsoft Kinect.In addition to the solution for the event granularity problem, this thesis discusses how to separate the definition of the gesture from the user interface behaviour using the proposed compositional approach.The gesture description meta-model has been integrated into MARIA, a model-based user interface description language, extending it with the description of full-body gesture interfaces.

show abstract

“…[18]). Some of them (sequence and choice) have been already defined through Petri Nets in [107]. We provide here a complete definition of all operators.…”

Section: Composition Operatorsmentioning

confidence: 99%

A model-based approach for gesture interfaces

Spano

2011

Proceedings of the 3rd ACM SIGCHI Symposium on Engineering Interactive Computing Systems

View full text Add to dashboard Cite

show abstract

“…For instance in [10] we proposed a transformation mechanism for translating UAN tasks descriptions into Petri nets and then checking whether this Petri net description was compatible with system modelling also done using Petri nets. In [9] we presented the use of CTT for abstract task modelling and high level Petri nets for low-level task modelling.…”

Section: Integration Frameworkmentioning

confidence: 99%

A Tool Suite for Integrating Task and System Models through Scenarios

Navarre

Palanque

Paternò

et al. 2001

Interactive Systems: Design, Specification, and Verification

View full text Add to dashboard Cite

Abstract. This paper presents a set of tools supporting the development of interactive systems using two different notations. One of these notations, called ConcurTaskTrees (CTT), is used for task modelling. The other notation, called Interactive Cooperative Objects (ICO), is used for system modelling. Even though these two kinds of models represent two different views of the same world (users interacting with interactive systems), they are built by different people and used independently. The aim of this paper is to propose the use of scenarios as a bridge between these two views. On the task modelling side, scenarios are seen as possible traces of activities, while on the system side, they are viewed as traces of actions. This generic approach is presented in a case study in the domain of Air Traffic Control.

show abstract

“…In [13] and [14] the concept of interactive system design verification and validation has been discussed. For system designers to check that interactive system being designed is actually corresponding to requirement elicited during initial phase can be decided using a formal model of the user task.…”

Section: Introductionmentioning

confidence: 99%

“…For system designers to check that interactive system being designed is actually corresponding to requirement elicited during initial phase can be decided using a formal model of the user task. Most of the times, formal modelling of user action notation is done using Petri net model [14]. The work presented in the paper hints that the secrecy of the interactive system design can also be checked using colour Petri net [6] at this stage, which can add more value to the verification and validation process of the design of the interactive system.…”

Section: Introductionmentioning

confidence: 99%

Relating Interactive System Design and Information Theory from Information Leakage Perspective

Anjaria¹,

Mishra²

2017

IJEM

View full text Add to dashboard Cite

In contemporary interactive software system design, to maintain equilibrium between usability and security is a challenging task because strictly enforced security policies directly affect the usability of the software. As a solution to this problem, information theoretic measure of information leakage in interactive system design has been proposed in the present work. The present paper first models the software system as a coloured Petri net model and after that using information theory and Petri net algebra; it defines the leakage in the interacting system. Based on the leakage definition, the present paper further quantifies information leakage and tries to establish a relation between information leakage and interactive system design principles. The paper also hints to decide consensus on the equilibrium of security and usability.

show abstract

Validating interactive system design through the verification of formal task and system models

Cited by 45 publications

References 3 publications

A model-based approach for gesture interfaces

A model-based approach for gesture interfaces

A Tool Suite for Integrating Task and System Models through Scenarios

Relating Interactive System Design and Information Theory from Information Leakage Perspective

Contact Info

Product

Resources

About