Abstract
A methodology to detect feature interactions in the design of telephone systems is presented. First, the system with its features is specified in language of temporal ordering specification (LOTOS). With the use of tools, the specification is then expanded into a state transition model, representing either the entire global state space or significant portions of it. Properties describe proper system and feature behavior; violations to these properties are symptoms of feature interaction. Observers, watchdogs, and trace analysis tools are constructed to check for deviations from these properties. These processes are used to search the state transitions, both during and after the construction of the state transition model. Traces presenting violation of properties are printed as message sequence charts (MSCs).
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
