Official URL
DOI : https://doi.org/10.1007/978-3-319-00560-7_2
Any correspondence concerning this service should be sent to the repository administrator: [email protected]
This is an author’s version published in: http://oatao.univ-toulouse.fr/24908 Open Archive Toulouse Archive Ouverte
OATAO is an open access repository that collects the work of Toulouse researchers and makes it freely available over the web where possible
To cite this version: Ait 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).
DOI: 10.1007/978-3-319-00560-7_2
Checking System Substitutability: An Application
to Interactive Systems
Yamine Ait Ameur1 and Abdelkrim Chebieb2
1
IRIT/ENSEEIHT 2 Rue Charles Camichel 31071 Toulouse Cedex 7 [email protected] 2 ESI BP 68M OUED SMAR, 16270, EL HARRACH ALGER [email protected]
Abstract. 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.