TY - GEN
T1 - Formal modelling of services for getting a better understanding of the feature interaction problem
T2 - 3rd International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 1999
AU - Gibson, Paul
AU - Méry, Dominique
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 2000.
PY - 2000/1/1
Y1 - 2000/1/1
N2 - 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.
AB - 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.
UR - https://www.scopus.com/pages/publications/84943256243
U2 - 10.1007/3-540-46562-6_14
DO - 10.1007/3-540-46562-6_14
M3 - Conference contribution
AN - SCOPUS:84943256243
SN - 9783540671022
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 155
EP - 179
BT - Perspectives of System Informatics - 3rd International Andrei Ershov Memorial Conference, PSI 1999, Proceedings
A2 - Bjorner, Dines
A2 - Broy, Manfred
A2 - Zamulin, Alexandre V.
PB - Springer Verlag
Y2 - 6 July 1999 through 9 July 1999
ER -