Formal modelling of services for getting a better understanding of the feature interaction problem - multi-view approach - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 1999

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

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.
No file

Dates and versions

inria-00098998 , version 1 (26-09-2006)

Identifiers

  • HAL Id : inria-00098998 , version 1

Cite

Jean-Paul Gibson, Dominique Méry. Formal modelling of services for getting a better understanding of the feature interaction problem - multi-view approach. Andrei Ershov Third International Conference, Perspectives of system Informatics - PSI'99, 1999, Novosibirsk, Russia, pp.155-179. ⟨inria-00098998⟩
48 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More