anthony@uunet.uu.net (Anthony Lee) (07/13/89)
Hi there, This is the first time I am reading this newsgroup so the topic might have been mentioned before. I am currently doing a PhD in the "Formal Specifications of Intelligent Network Services". The main area I am interested in is the use of formal specifications of IN services in clarifying and possibly solving the problem of service interactions. One of the major problem in my research is finding examples of service interactions for supplementary services. The examples I have so far all include Call Forwarding e.g. Call Forwarding and Closed User Group, Call Forwarding and Completion of Call to Busy Subscriber (CCBS). If anyone out there knows of more examples of service interactions please let me know. I am particularly interested in hearing from people in BNR (Bell Northern Research) because they seems to be the leaders in service creation. Please reply to me by email -- not via this journal -- since I will be out of town for a couple weeks. Thanks in advance. Anthony Lee (Humble PhD student) (alias Doctor(Time Lord)) ACSnet: anthony@batserver.cs.uq.oz TEL:(+617) 3712651 Internet: anthony@batserver.cs.uq.oz.au (+617) 3774139 (w) SNAIL: 243 Carmody Rd, St Lucia, 4067 Australia