Formal modelling of services for getting a better understanding of the feature interaction problem - multi-view approach

Jean-Paul Gibson 1 Dominique Méry 2
2 MODEL - MODEL (Méthodes formelles et applications)
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : We report results of a joint project with France Telecom on the modelling of telephone services (features) using formal methodologies such as OO ACT ONE, B and TLA$^+$. We show how we formalise the feature interaction problem in a multi-view model, and we examine issues such as animation, validation, proof and verification.
Type de document :
Communication dans un congrès
D. Bjorner, M. Broy, A. Zamulin. Andrei Ershov Third International Conference, Perspectives of system Informatics - PSI'99, 1999, Novosibirsk, Russia, Springer-Verlag, 1755, pp.155-179, 1999, Lecture Notes in Computer Science
Liste complète des métadonnées

https://hal.inria.fr/inria-00098998
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 08:41:03
Dernière modification le : jeudi 11 janvier 2018 - 06:21:04

Identifiants

  • HAL Id : inria-00098998, version 1

Collections

Citation

Jean-Paul Gibson, Dominique Méry. Formal modelling of services for getting a better understanding of the feature interaction problem - multi-view approach. D. Bjorner, M. Broy, A. Zamulin. Andrei Ershov Third International Conference, Perspectives of system Informatics - PSI'99, 1999, Novosibirsk, Russia, Springer-Verlag, 1755, pp.155-179, 1999, Lecture Notes in Computer Science. 〈inria-00098998〉

Partager

Métriques

Consultations de la notice

59