Specifying features and analysing their interactions in a LOTOS environment.
Mohammed Faci, Luigi Logrippo · 1994
. This paper presents an approach for specifying telephone features and analysing their interactions in a LOTOS environment. The approach is characterized by a flexible specification structure and an analysis method based on knowledge goals. Structurally, the specifications allow the integration of new features into existing ones by specifying each feature independently and composing its behaviour with the existing system. Analytically, the reasoning mechanism allows the specifier to analyse features, for the purpose of detecting their interactions, by defining knowledge goals and simulating the system to verify if they are reachable. A non reachable knowledge goal reveals the existence of a feature interaction, or a design error. We explain this approach by the use of two, now classical, examples of feature interactions, namely Call Waiting & Three Way Calling and Call Waiting & Call Forward on Busy. - 2 - objective of a detection approach is to analyse a set of independently speci...