The Experts below are selected from a list of 309 Experts worldwide ranked by ideXlab platform
Philippe Palanque - One of the best experts on this subject based on the ideXlab platform.
-
Formal Description of multi touch interactions
Engineering Interactive Computing System, 2013Co-Authors: Arnaud Hamon, Philippe Palanque, Jose Luis Silva, Yannick Deleris, Eric BarboniAbstract:The widespread use of multi-touch devices and the large amount of research that has been carried out around them has made this technology mature in a very short amount of time. This makes it possible to consider multi-touch interactions in the context of safety critical systems. Indeed, beyond this technical aspect, multi-touch interactions present significant benefits such as input-output integration, reduction of physical space, sophisticated multi-modal interaction? However, interactive cockpits belonging to the class of safety critical systems, development processes and methods used in the mass market industry are not suitable as they usually focus on usability and user experience factors upstaging dependability. This paper presents a tool-supported model-based approach suitable for the development of interactive systems featuring multi-touch interactions techniques. We demonstrate the possibility to describe touch interaction techniques in a complete and unambiguous way and that the Formal Description technique is amenable to verification. The capabilities of the notation is demonstrated over two different interaction techniques (namely Pitch and Tap and Hold) together with a software architecture explaining how these interaction techniques can be embedded in an interactive application.
-
self checking components for dependable interactive cockpits using Formal Description techniques
Pacific Rim International Symposium on Dependable Computing, 2011Co-Authors: A Tankeuchoitat, Philippe Palanque, Yannick Deleris, David Navarre, Jc Fabre, Camille FayollasAbstract:In the last few years, glass cockpits are being replaced by interactive cockpits to provide a higher level of integration of both command and information display. Due to their event driven nature, interactive systems offer more display and control capabilities but they require specific error detection and fault tolerance techniques to reach a high level of dependability. This paper proposes a model-based approach for adding fault tolerance mechanisms to interactive cockpits. While several mechanisms are considered and presented, the contribution is focused on the Formal Description of self-checking widgets, being the basis for interactive cockpits.
-
statewebcharts a Formal Description technique dedicated to navigation modelling of web applications
Lecture Notes in Computer Science, 2003Co-Authors: Marco Winckler, Philippe PalanqueAbstract:This paper presents StateWebCharts (SWC), a Formal Description technique based on statecharts for describing navigation on web applications. This notation extends the classical statecharts notation by adding more necessary concepts such as an appropriate semantics for states and transitions in a Web context, including notions like dialog initiative control and client and server activities. As well as statecharts do, this Formal Description technique features a graphical representation thus making it easier to use for web designers and Formal enough to allow to rigorously reason about properties of navigation models. In order to show the applicability of the notation, we show, in the paper, its use on two real-size web applications.
-
DSV-IS - StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applications
Interactive Systems. Design Specification and Verification, 2003Co-Authors: Marco Winckler, Philippe PalanqueAbstract:This paper presents StateWebCharts (SWC), a Formal Description technique based on statecharts for describing navigation on web applications. This notation extends the classical statecharts notation by adding more necessary concepts such as an appropriate semantics for states and transitions in a Web context, including notions like dialog initiative control and client and server activities. As well as statecharts do, this Formal Description technique features a graphical representation thus making it easier to use for web designers and Formal enough to allow to rigorously reason about properties of navigation models. In order to show the applicability of the notation, we show, in the paper, its use on two real-size web applications.
Marco Winckler - One of the best experts on this subject based on the ideXlab platform.
-
statewebcharts a Formal Description technique dedicated to navigation modelling of web applications
Lecture Notes in Computer Science, 2003Co-Authors: Marco Winckler, Philippe PalanqueAbstract:This paper presents StateWebCharts (SWC), a Formal Description technique based on statecharts for describing navigation on web applications. This notation extends the classical statecharts notation by adding more necessary concepts such as an appropriate semantics for states and transitions in a Web context, including notions like dialog initiative control and client and server activities. As well as statecharts do, this Formal Description technique features a graphical representation thus making it easier to use for web designers and Formal enough to allow to rigorously reason about properties of navigation models. In order to show the applicability of the notation, we show, in the paper, its use on two real-size web applications.
-
DSV-IS - StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applications
Interactive Systems. Design Specification and Verification, 2003Co-Authors: Marco Winckler, Philippe PalanqueAbstract:This paper presents StateWebCharts (SWC), a Formal Description technique based on statecharts for describing navigation on web applications. This notation extends the classical statecharts notation by adding more necessary concepts such as an appropriate semantics for states and transitions in a Web context, including notions like dialog initiative control and client and server activities. As well as statecharts do, this Formal Description technique features a graphical representation thus making it easier to use for web designers and Formal enough to allow to rigorously reason about properties of navigation models. In order to show the applicability of the notation, we show, in the paper, its use on two real-size web applications.
Daniela Giordano - One of the best experts on this subject based on the ideXlab platform.
-
Formal Description techniques and automated protocol synthesis
Information and Software Technology, 1992Co-Authors: Vincenza Carchiolo, Alberto Faro, Daniela GiordanoAbstract:Abstract The paper deals with the problem of communication software design carried out by a synthesis approach. After a discussion of design methodologies, a survey is done of the major approaches to automated protocol design, focusing on their features and on the adequacy of the adopted Formal Description techniques. A new approach, based on a multilanguage framework and leading to easier and more effective automation of protocol design, is presented.
Dou Sun - One of the best experts on this subject based on the ideXlab platform.
-
a Formal Description of web services container architecture
International Conference on Internet and Web Applications and Services, 2009Co-Authors: Jian Liu, Dou SunAbstract:In this paper, we present a Formal Description of web services container architecture based on Z notation. This Description major focuses on internal behavior of a web services container on processing a web services request. First, we present a Formal model of tailored XML which provides a unified data structure for executing web services specifications and data transformation. Then, we present a Formal definition of a web service within web services containers using WebService schema based on WSDL Z notation. Furthermore, we Formally describe internal behaviors such as service identification, operation identification, type mapping and adaptation. By using Formal method, the semantics of web services container architecture is consistent and analyzable. As the key to model dynamic behavior of web services specifications and their interrelationships major lie on the Formal definition of this specification in WebService, this Formal Description can provide an initial step for analyzing the correctness and consistency of web services specifications and their combination through WSDL by using proof provided by Z notation.
-
ICIW - A Formal Description of Web Services Container Architecture
2009 Fourth International Conference on Internet and Web Applications and Services, 2009Co-Authors: Jian Liu, Dou SunAbstract:In this paper, we present a Formal Description of web services container architecture based on Z notation. This Description major focuses on internal behavior of a web services container on processing a web services request. First, we present a Formal model of tailored XML which provides a unified data structure for executing web services specifications and data transformation. Then, we present a Formal definition of a web service within web services containers using WebService schema based on WSDL Z notation. Furthermore, we Formally describe internal behaviors such as service identification, operation identification, type mapping and adaptation. By using Formal method, the semantics of web services container architecture is consistent and analyzable. As the key to model dynamic behavior of web services specifications and their interrelationships major lie on the Formal definition of this specification in WebService, this Formal Description can provide an initial step for analyzing the correctness and consistency of web services specifications and their combination through WSDL by using proof provided by Z notation.
Jia Ruo - One of the best experts on this subject based on the ideXlab platform.
-
Research on Formal Description of Protocols Based on CSP and RSL
Computer Engineering, 2003Co-Authors: Jia RuoAbstract:The paper adopts a new RSL (Formal Description Language) to describe network protocols with CSP(Communication Sequential Processes) model,which is based on process algebra and is able to use strict algebra calculation method to verify the protocol character.In addition,we extend the CSP model and RSL,giving the translation rules and process from CSP model to RSL.In the end,an example of TFTP demonstrates the applicability of RSL.
