ECLIPSE Feature Logic Analysis
Gregory W. Bond, Franjo Ivančić, Nils Klarlund, Richard Trefler · 2001
Abstract—ECLIPSE is a virtual telecommunications net-work based on IP. It is the result of an ongoing research project at AT&T Labs – Research that is investigating next-generation telecom service architectures. The ECLIPSE Statecharts language was developed to simplify feature (ser-vice) development, for example call waiting, by supporting a smooth transition from design to implementation and by supporting automated semantic analysis. The modular na-ture of ECLIPSE features necessitates that they utilize well-defined protocols for communicating with one another. If an individual feature fails to obey the protocol then it is likely that subscribers to the feature will be unable to complete calls. This paper describes a tool that uses the Mocha model checking tool to analyze ECLIPSE feature modules to en-sure that they satisfy the specified protocols.