A new algorithm for service interaction detection

DOI10.1007/3-540-36103-0_38MaRDI QIDQ4412518zbMATH OpenFDO

Authors Ana Cavalli, Stephane Maag

Publication date 15 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2495/24950371.htm

zbMATH Keywords

Feature interactionFinite State MachineIntelligent NetworkTelecommunication service

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Computing methodologies and applications (68U99)

Recommendations

• Using symbolic model checking to detect service interactions in telecommunication services
• On feature interaction in telecommunication systems
• A new approach in feature interaction testing
• Feature interaction detection by pairwise analysis of LTL properties -- A case study
• Feature interaction: a critical review and considered forecast.

Cited in

(2)

• Using symbolic model checking to detect service interactions in telecommunication services
• scientific article; zbMATH DE number 2100583 (Why is no real title available?)

This page was built for publication: A new algorithm for service interaction detection

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4412518)