Using symbolic model checking to detect service interactions in telecommunication services

DOI10.1007/3-540-45803-4_58MaRDI QIDQ3045003zbMATH OpenFDO

Authors Takayuki Hamada, Tatsuhiro Tsuchiya, Masahide Nakamura, Tohru Kikuno

Publication date 12 August 2004

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/2343/23430641.htm

Mathematics Subject Classification ID

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

Recommendations

• On feature interaction in telecommunication systems
• A new algorithm for service interaction detection
• Feature interaction detection by pairwise analysis of LTL properties -- A case study
• scientific article; zbMATH DE number 2100584
• A new approach in feature interaction testing

Cited in

(9)

• Formal modelling of services for getting a better understanding of the feature interaction problem: A multi-view approach
• A new algorithm for service interaction detection
• Using SPIN for feature interaction analysis -- a case study
• scientific article; zbMATH DE number 2100583 (Why is no real title available?)
• scientific article; zbMATH DE number 2100587 (Why is no real title available?)
• Objects, Agents, and Features
• Feature interaction detection by pairwise analysis of LTL properties -- A case study
• Test generation for interaction detection in feature-rich communication systems
• Using semi-formal methods for detecting interactions among smart homes policies

This page was built for publication: Using symbolic model checking to detect service interactions in telecommunication services

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