OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Checking System Substitutability: An Application to Interactive Systems

Aït-Ameur, Yamine and Chebieb, Abdelkrim Checking System Substitutability: An Application to Interactive Systems. (2013) In: 4th International Conference on Computer Science and Its Applications (CIIA 2013), 4 May 2013 - 5 May 2013 (Saida, Algeria).

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: https://doi.org/10.1007/978-3-319-00560-7_2


The capability to substitute a given system by another one is a property useful for dealing with adaptation, maintenance, interoperability, reliability, etc. This talk proposes a formally based approach for checking the substitutability of a system by another one. It exploits the weak bi-simulation relationship. In this talk a system is seen as a state-transition system. Two systems are observed to check if one may be substituted by the other preserving their behaviour. The weak bi-simulation relationship is revisited to handle systems that have different sets of labels by defining a relation on labels. A transformation of the systems to be compared is defined according to the relation defined on labels. Classical weak bi-simulation is then used to model check the substitutability property. The approach is illustrated on the case of plastic interactive systems. We show how an interactive system supporting a set of interactive tasks can be replaced by another interactive system that performs the same tasks with different interaction devices. Relations on labels are borrowed from an ontology of interaction and of interaction devices. A case study will be used along the talk to illustrate how the proposed approach practically works.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to Springer editor. This papers appears in volume 488 of Studies in Computational Intelligence ISSN: 1860-949X ISBN: 978-3-319-00560-7 The original PDF is available at: https://link.springer.com/chapter/10.1007/978-3-319-00560-7_2
HAL Id:hal-02450843
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Other partners > Ecole nationale supérieure d'informatique - ESI (ALGERIA)
Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Deposited On:14 Jan 2020 10:19

Repository Staff Only: item control page