下一代网络业务控制能力的研究
|
摘要
下一代网络代表了电信网络未来的发展趋势，而目前对于NGN的业务控制能力以及限制等问题尚缺乏深入的认识。业务控制能力体现了NGN的优势，而限制则表明了NGN需要演进的方向，因此对NGN业务控制能力的研究具有重大意义。软交换是NGN控制层的核心实体，软交换的业务控制能力决定了NGN对所提供业务的控制能力。在这种背景下，本文对下一代网络中的业务控制能力进行了系统的分析，取得了一系列有价值的研究成果，概括起来主要包括以下几个方面：
1．在分析NGN业务特点的基础上，提出一个新的业务分类标准：信令／媒体链接的对应关系。此分类标准以面向业务开发者的角度对业务进行分类并向业务开发者提供有价值的开发信息。通过此新的业务分类标准可以看到NGN所支持的业务种类比传统电信网络大为丰富。
2．将NGN的业务控制能力根据其操作的信息对象不同定义为四个类别：呼叫类，承载类，用户属性信息类与消息类，提出了NGN中新增的业务控制能力，在此基础上指出NGN的业务控制能力相对于传统电信网络得到了较大的增强。
3．从网络实现的细节中抽象出一个通用的业务描述模型，分析了构成业务的四个基本元素：端点，通信链接，端点与通信链接的关联，通信链接之间的关联。并以对象图的形式分析了业务的静态属性，以有向图的形式描述了业务可能的动态行为。
4．针对NGN业务提供体系结构下目前已存在多种标准业务接口的现状，提出了基于软交换的一个呼叫关系模型与以之为基础的通用业务视图。不同的标准业务接口通过各自的视图转换层即可以接入采用该模型的业务提供平台。
5．针对下一代网络中多媒体业务／移动业务对于呼叫控制能力的功能需求，提出了一种基于分层结构、信令—承载控制相分离的通用呼叫状态模型。此模型不仅能够完成灵活的多媒体／移动呼叫控制功能，而且能够以统一的方式处理多种信令协议，特别适用于要求在下一代网络中支持多媒体业务／移动业务的软交换实体。
6．选择TLA(Temporal Logic of Actions)作为形式化描述的工具，基于通用的业务描述模型与呼叫控制模型的状态迁移规则，给出了业务动
The Next Generation Network (NGN) is the evolving goal of telecommunication networks. But the knowledge about the extent and limitation of NGN service control capabilities remains absent. The extent of NGN service control capabilities exhibits the advantage of NGN while the limitation illuminates the evolving path of NGN. Softswitch is the core entity of NGN control layer which determines the extent and manner of NGN service control capabilities that the services can utilize. Within this background, this dissertation makes an in-depth and systematic research on NGN service control capabilities. And the main contributions are as follows:
1. Based on contrast analysis of the legacy telecom network and NGN, this dissertation proposes that the numerical relationship of signalling link and media channel will be a new criterion on the service classification in NGN from service developer view. This new criterion is helpful for the creation of new service and can be well understood by service users and service providers.
2. Based on the information operated, this dissertation divides NGN service control capabilities into four classes: call, bear, profile and message and puts forward the corpora of NGN service control capabilities. Each element of the corpora is prescribed in detail and the newly added service control capabilities in NGN are pointed out. Therefore comes to the conclusion that the service control capabilities of NGN are enlarged.
3. An implementation and network platform independent model for service description is propoesed. It consists of four elements: EP (endpoint), LI (communication link), ELR (relations between endpoints and communication links) and LR (relations between communication links). EP and LI represent the static parts of a service which are described using object model. ELR and LR are presented through directed graphs which describe all possible behaviors of the service.
4. In order to provide services to multiple standard interfaces, a novel Signalling and Bearer Separated Call Relation Model (SBS-CRM) of Softswitch and a General Service View (GSV) which based on SBS-CRM is proposed. Different interfaces can be adapted to GSV by adding a view translation layer between them.
1．在分析NGN业务特点的基础上，提出一个新的业务分类标准：信令／媒体链接的对应关系。此分类标准以面向业务开发者的角度对业务进行分类并向业务开发者提供有价值的开发信息。通过此新的业务分类标准可以看到NGN所支持的业务种类比传统电信网络大为丰富。
2．将NGN的业务控制能力根据其操作的信息对象不同定义为四个类别：呼叫类，承载类，用户属性信息类与消息类，提出了NGN中新增的业务控制能力，在此基础上指出NGN的业务控制能力相对于传统电信网络得到了较大的增强。
3．从网络实现的细节中抽象出一个通用的业务描述模型，分析了构成业务的四个基本元素：端点，通信链接，端点与通信链接的关联，通信链接之间的关联。并以对象图的形式分析了业务的静态属性，以有向图的形式描述了业务可能的动态行为。
4．针对NGN业务提供体系结构下目前已存在多种标准业务接口的现状，提出了基于软交换的一个呼叫关系模型与以之为基础的通用业务视图。不同的标准业务接口通过各自的视图转换层即可以接入采用该模型的业务提供平台。
5．针对下一代网络中多媒体业务／移动业务对于呼叫控制能力的功能需求，提出了一种基于分层结构、信令—承载控制相分离的通用呼叫状态模型。此模型不仅能够完成灵活的多媒体／移动呼叫控制功能，而且能够以统一的方式处理多种信令协议，特别适用于要求在下一代网络中支持多媒体业务／移动业务的软交换实体。
6．选择TLA(Temporal Logic of Actions)作为形式化描述的工具，基于通用的业务描述模型与呼叫控制模型的状态迁移规则，给出了业务动
The Next Generation Network (NGN) is the evolving goal of telecommunication networks. But the knowledge about the extent and limitation of NGN service control capabilities remains absent. The extent of NGN service control capabilities exhibits the advantage of NGN while the limitation illuminates the evolving path of NGN. Softswitch is the core entity of NGN control layer which determines the extent and manner of NGN service control capabilities that the services can utilize. Within this background, this dissertation makes an in-depth and systematic research on NGN service control capabilities. And the main contributions are as follows:
1. Based on contrast analysis of the legacy telecom network and NGN, this dissertation proposes that the numerical relationship of signalling link and media channel will be a new criterion on the service classification in NGN from service developer view. This new criterion is helpful for the creation of new service and can be well understood by service users and service providers.
2. Based on the information operated, this dissertation divides NGN service control capabilities into four classes: call, bear, profile and message and puts forward the corpora of NGN service control capabilities. Each element of the corpora is prescribed in detail and the newly added service control capabilities in NGN are pointed out. Therefore comes to the conclusion that the service control capabilities of NGN are enlarged.
3. An implementation and network platform independent model for service description is propoesed. It consists of four elements: EP (endpoint), LI (communication link), ELR (relations between endpoints and communication links) and LR (relations between communication links). EP and LI represent the static parts of a service which are described using object model. ELR and LR are presented through directed graphs which describe all possible behaviors of the service.
4. In order to provide services to multiple standard interfaces, a novel Signalling and Bearer Separated Call Relation Model (SBS-CRM) of Softswitch and a General Service View (GSV) which based on SBS-CRM is proposed. Different interfaces can be adapted to GSV by adding a view translation layer between them.
引文
[1] Laksmi-Ratan, The Lucent technologies soflswitch: realizing the promise of convergence[J]. Bell Labs Technical Journal, Jun. 1999. 4(2): pp. 174-195.
[2] Grant Lenahan, Next Generation Networks: A Practical View of Network Evolution[DB/OL]. Beilcore Technical Report, http://www.telcordia.com/newsroom/knowledgebase/, 1999.
[3] ITU-T SG13. Next Generation Networks (NGN) 2004 Project[DB/OL]. http://www.itu.int/lTU-T/studvgroup/com13/ngn2004/, 2004.
[4] Eurescom Project P1109, Next Generation Networks: the service offering standpoint[DB/OL]. http://www.eurescom.de, Nov. 2001.
[5] ITU-T. Draft Recommendation Y.NGN-overview, General Overview of NGN Functions and Characteristics[S]. 2004.
[6] ITU-T Recommendation, Q.122* Series of recommendation related to IN[S]. Sep. 1997.
[7] 龚双谨，智能网技术，北京：人民邮电出版社．1999．
[8] 廖建新，龙元香，王晶，杨放春．宽带智能网[M]，北京：人民邮电出版社．2001．
[9] 中华人民共和国信息产业部，中华人民共和国通信行业标准软交换设备总体技术要求(修订版)[S]．2002．
[10] 杨放春，下一代网络中的关键技术[J]．北京邮电大学学报，2003．26(3)：pp．1-8．
[11] ITU-T Recommendation Q.1901, Bearer Independent Call Control Protocol[S]. Dec. 1999.
[12] IETF RFC 3372, Session Initiation Protocol for Telephones (SIP-T): Context and Architectures[S]. Sep. 2002.
[13] The Parlay Group, Parlay API 4.0 Specification[DB/OL]. http://www.parlay.org/speces/, Jul. 2002.
[14] IETF RFC 3550, RTP: A Transport Protocol for Real-Time Applications[S]. Jul. 2003.
[15] Draft FGNGN-FRA. OD-00192rl Version 5.1[S]. 2005.6. Jun. 2005.
[16] Draft FGNGN-IFN. OD-00193 IMS for Next Generation Networks[S]. Jun. 2005.
[17] ETSI 282001 TISPAN; NGN Functional Architecture Release I [S]. 2005.6. Jun. 2005.
[18] ETSI 102227 TIPHON; Functional Entities Information Flow and Reference Point Definitions; Lawful Interception [S]. 2004.
[19] ETSI TR 180001 V1.1.1 Telecommunications and Internet converged Services and Protocols for Advanced Networking (TISPAN); NGN Release 1 [S]. Mar. 2006.
[20] ETSI TR 181004 V1.1.1 Telecommunications and Internet converged Services and Protocols for Advanced Networking (TISPAN) NGN Generic capabilities and their use to develop services[S]. Mar. 2006.
[21] ETS120198803 Open Service Access for API requirements Part 3 Version 3[S]. Jul. 2005.
[22] IETF, http://www.ietf.org.
[23] Wei Qiang, Su Sen, Chen Junliang. Study on Application of Soflswitch in Wireless Networks[A]. In International Conference on Communication Technology (ICCT'2003). Apr. 2003. Beijing. Vol.1: pp. 127-130.[24] 3GPP, http://www.3gpp.org.
[25] 3GPP 3G TS 29.198 v4.0.0. Open Service Access (OSA) API[S]. Sep. 2003.
[26] 双锴，杨放春．支持固定移动融合的增强型核心网络研究[J]．电信科学，2005．21(12A)：pp．24-27．
[27] ETSI. TS 101 878 V4.1.1, Telecommunications and Internet Protocol Harmonization Over Networks (TIPHON) Release 4; Service Capability Definition; Service Capabilities for TIPHON Release 4[S]. Nov. 2003.
[28] ETSI 101301 TIPHON - Release 4 Definition[S]. Apr. 2004.
[29] 魏强，苏森，陈俊亮．下一代网络中业务的提供[J]．数据通信，2004(5)：pp．15-20．
[30] EURESCOM, Project 916, Supporting of H.323 by IN[DB/OL]. http://www.eurescom.de/, 2001.
[31] T.Hariu, J.Akiba, et.al. Study on Call Model of Advanced Intelligent Network for Controlling B-ISDN[A]. In Intelligent Network Workshop. Apr. 1996. Melbourne. Vol.2: pp. 196-204.
[32] 刘玲，缪淮扣．对逻辑覆盖软件测试准则的公理化评估[J]．软件学报，2004．15(9)：pp．1301-1310．
[33] 贲可荣．陈火旺．王兵山．命题时态逻辑矢列式演算系统[J]．中国科学A辑，1994．24(10)：pp．1092-1098．
[34] 张广泉．孙敏．时态逻辑的比较与分析[J]．渝州大学学报，1999．16(2)：pp．15-18．
[35] Luigi Logrippo. Immaturity and potential of formal methods: A personal view[A]. In Feature Interactions in Telecommunications and Software Systems Ⅵ(FIW 2000). May. 2000. Glasgow, Scotland, UK: IOS Press. pp. 9-13.
[36] Pamela Zave, Michael Jackson. Requirements for telecommunications services - an attack on complexity[A]. In Proceedings of the Third IEEE International Symposium on Requirements Engineering. Jan. 1997. Annapolis. pp. 106-117.
[37] Gregory W, Bond. ECLIPSE Feature Logic Analysis[A]. In Proceedings of the Second IP Telephony Workshop. Apr. 2001. New York. pp. 49-56.
[38] Pamela Zave, Michael Jackson. A Call Abstraction for Component Coordination[A]. In Proceedings of the 29th International Colloquium on Automat. Languages, and Programming: Workshop on Formal Methods and Component Interaction. Jun. 2002. Malaga. pp. 1-12.
[39] Emden R, Gansner. Visualizing Software for Telecommunication Services[A]. In Proceedings of the 2003 ACM symposium on Software visualization. Jun. 2003. San Diego. pp. 151-158.
[40] Pamela Zave, Healfdene H. Component Coordination: A Telecommunication Case Study[J]. Computer Networks, Aug. 2004. 45(5): pp. 645-664.
[41] Pamela Zave. A Formal Model of Addressing for interoprating Network[A]. In Thirteenth International Symposium of Formal Methods Europe. 2005. Europe. pp. 127-142.
[42] Kenneth J. Turner. An Architectural Description of Intelligent Network Features and Their Interactions[J]. Computer Networks and ISDN Systems: Special Issue on Feature Interaction, Sep. 1998.30(15): pp.1389-1419.
[43] Kenneth J. Turner. Formalising the Chisel Feature Notation[A]. In Proceeding of 6th. Feature Interactions in Telecommunications and Software Systems. May. 2000. Amsterdam: IOS Press. pp.241-256.[44] Kenneth J. Turner. Formalising Graphical Behaviour Descriptions[A]. In Proceeding of 10th. International Conference on Algebraic Methodology and Software Technology. Mar. 2004. Amsterdam. pp. 537-552.
[45] Kenneth J. Turner, Stephan Reiff-Marganiec, Lynne Blair. Policy Support for Call Control[J](pre-publication version). Policy Support for Call Control, Computer Standards and Interfaces, May. 2005.
[46] L Fuentes, J M Troya. Designing Multimedia Telecommunication Services with an Extensible Component-Oriented Framework[A]. In Proceeding of the International Conference on Telecommunications. Jun. 1997. zagreb, pp. 1012-1021.
[47] L Fuentes, J M Troya. Component oriented service architecture as a flexible service creation framework[A]. In Proceeding of Communication Networks and Distributed Systems Modeling. 1997. Pheenix. pp. 68-73.
[48] L Fuentes, J M Troya. How MDA Can Help Designing Component- and Aspect-based Applications[A]. In 7th International Enterprise Distributed Object Computing Conference(EDOC 2003). Sep. 2003. Brisbane. pp. 124-135.
[49] Amyotl L, Charf N. Feature Description and Feature Interaction Analysis with Use Case Maps and LOTOS[A]. In Sixth International Workshop on Feature Interactions in Telecommunications and Software Systems(FIW'00). 2000. Glasgow, Scotland, UK. pp. 274-289.
[50] H. Korver. Detecting Feature Interactions with Cacsar/Aldebarn. Technical Report., 1993.
[51] M. Faci, L. Logrippo and B. Stepien, "Formal Specification of Telephone Systems in LOTOS: The Constraint-Oriented Style Approach[J]. Computer Networks and ISDN Systems, 1991.21(3): pp. 53-67.
[52] R. Boumezbeur and L. Logrippo, "Specifying Telephone Systems in LOTOS[J]. IEEE Communication Networks, 1993.31(8): pp. 38-45.
[53] O.C. Dahi and E. Najm, Specification & Detection of IN Service Interference using LOTOS[J]. Formal Description Techniques, 1993.600): pp. 53-69.
[54] Medina V, Gomez I, Luque J, Martin S. ESTELLE: a method to analyze automatically the performance oftelecontrol protocols in SCADA systems[J]. IEEE Transactions on Power Delivery, Jul. 2002. 17(3): pp. 712-717.
[55] K C Tai, Y C Young. Synchronizable Test Sequences of Finite State Machines. Technical Report: North Carolina State University at Raleigh, Aug. 1995.
[56] Yiqin L, Gang Wei. Managing feature interactions in telecommunications systems by temporal colored Petri nets[A]. In Proceedings of Seventh IEEE International Conference on Engineering of Complex Computer Systems. Jun. 2001. Sweden. pp. 260-269.
[57] K. Kimbler, C. Capcllmann, H. Velthuijsen, Comprehensive Apprnach to Service Interaction Handling. Computer Networks and ISDN Systems:Special issue on feature interactions in telecommunications software, Sup. 1998. 38(5): pp. 591-602.
[58] Jeanne Reed. Formalising Graphical Service Descriptions using SDL editors[A]. In Proceeding of SDL. Jul. 2003. Berlin, Germany. pp. 324-325.[59] Richard Sinnott. Creating Telecommunication Services based on Object-Oriented Frameworks and SDL. In Proceedings of International Symposium on Object-oriented Real-Time Distributed Computing. 2000. France: IEEE Press. pp. 93-102.
[60] David Lee, Yow-Jian Lin. Protocol feature interactions, in Formal Description Techniques(FORTE-PSTV). 1998. Paris, France. pp. 59-74.
[61] Lewi J, Vergauwen B. Formal verifications: an industrial case study. In Proceedings of Computer Systems and Software Engineering. May. 1992. Hague. pp. 208-213.
[62] Lars Kempe. A Modular Specification of a Telephone System. Master of Science Thesis of Department of Computer Science, Uppsala University, Oct. 1994.
[63] Amir Pnueli. System Specification and Refinement in Temporal Logic. In Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science. 1995. London, UK: Springer-Verlag Press. Vol.652: pp. 1-38.
[64] J Nystrom, B Jonsson. A Formalization of Service Independent Building Blocks[A]. In Proceedings of Workshop Advanced Intelligent Networks (AIN '96). Mar. 1996. Passau, Universitat Passau. pp. 1-14.
[65] Kapus T, Brezocnik Z. TLA-style specification of a mobile network[A]. In Proceedings of the 23rd EUROMICRO(EUROMICRO 97). Sep. 1997. Budapest. pp, 440-447.
[66] Stephan Merz, Martin Wirsing, Jǘlia Zappe. A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems. In Fundamental Approaches to Software Engineering (FASE 2003). Apr. 2003. Warsaw, Poland: Springer-Verlag Press. Vol.2621: pp. 87-101.
[67] Johan Blom, Bouma. Using Temporal Logic for Modular Specification of Telephone Services. In Feature Interactions in Telecommunications Systems. 1994. Amsterdam, Netherlands: IOS Press. pp. 197-216.[1] Keck D O, Kuehn P J. The feature and service interaction problem in telecommunications systems: a survey[J]. IEEE Transactions on Software Engineering, Oct. 1998.24(10): pp. 779-796.
[2] ITU-T Recommendation 1.210. Principles of Telecommunication Services Supported by an ISDN and the Means to Describe Them. Geneva. 1989.
[3] Draft FGNGN-FRA. OD-00192rl Version 5.1[S]. Jun. 200:5.
[4] Draft FGNGN-IFN. OD-00193 IMS for Next Generation Networks[S].Jun. 2005.
[5] Glitho R H, Khendek F, DeMarco A. Creating value added services in Internet telephony: an overview and a case study on a high-level service creation environment [J]. IEEE Transactions on Systems, Man and Cybernetics, 2003.33(4): pp. 446-457.
[6] Tachimoto S, Hiramatsu A, Murakami T. Roles of the network in next generation IP services[A]. In IEEE The 9th Asia-Pacific Conference on Communications. 2003. Dallas: IEEE Press. pp. 792-796.
[7] ITU-T Recommendation, Q.122* Series of recommendation related to IN[S]. Sep. 1997.
[8] 廖建新，龙元香，王晶，杨放春．宽带智能网[M]，北京：人民邮电出版社．2001．[9] Mampaey M. TINA for services and advanced signaling and control in next generation networks[J]. Communications Magazine, IEEE, 2000. 38(10): pp. 104-110.
[10] Sties P, Keilerer W. A generic and implementation independent service description model[A]. In International Conference on Distributed Computing Systems Workshop. 2001. Phoenix:IEEE Press. pp. 163-168.
[11] ITU-T Recommendation Q. 1201. Principles of Intelligent Network Architecture. Geneva. 1992.
[12] Aljaz T, Brodnik A. Supplementary services in telecommunication next generation networks [A]. In IEEE Managing Next Generation Convergence Networks and Services. 2004. Seoul: Institute of Electrical and Electronics Engineers Inc. pp. 159-172.
[13] Balaji T S, Brian L, Jesse K. A carrier's perspective on creating a mobile multimedia service [J]. Communications of the ACM, 2005. 48(7): pp. 49-53.
[14] Choukair Z. Correctness Proof Obligation for CoCTeIS Telecom Services Composition Model [A]. In Proceedings of the 19th International Conference on Advanced Information Networking and Applications. 2005. Taipei: IEEE Press. pp. 893-900.
[15] Arbanowski S, Baiion P, David K. I-centric communications: personalization, ambient awareness, and adaptability for future mobile services [J]. Communications Magazine, IEEE,2004. 42(9): pp. 63-69.
[16] Modarressi A R, Mohan S. Control and management in next-generation networks: challenges and opportunities[J]. Communications Magazine, IEEE, 2000.38(10): pp. 94-102.
[17] Zarri M. Future service capabilities offered by the 3GPP system [A]. In IEE Proceedings of 4th International Conference on 3G Mobile Communication Technologies. Jun. 2003. London, UK. pp. 354-358.
[18] The Parlay Group, Parlay API 4.0 Specification[DB/OL]. http://www.parlay.org/specs/, Jul. 2002.
[19] ETSI TR 101882 v5.1.1 TIPHON - Protocol Framework Definition and Interface Requirement Definition[S]. May. 2004.
[20] 3GPP 3G TS 29.198 v4.0.0. Open Service Access (OSA) API[S]. Sep. 2003.
[21] 李静林，业务驱动的复合视点NGN体系结构模型的研究．博士学位论文．计算机应用技术．北京邮电大学．2004．
[22] Stathopoulos V, Polykalas S, Venieris I. Algorithm for the efficient utilization of service control capabilities in intelligent networks [A]. In 10th Mediterranean Electrotechnical Conference. 2000. Institute of Electrical and Electronics Engineers Inc. pp. 102-106.
[23] Jackson M, Pamela Z. Distributed feature composition: a virtual architecture for telecommunications services [J]. IEEE Transactions on Software Engineering, 1998.24(10): pp. 831-847.
[24] Kellerer W. Intelligence on top of the networks: SIP based service control layer signaling [A]. In IEEE Intelligent Network Workshop. 2001. Boston: IEEE Press, pp. 237-244.[25] Faglia L, Lombari M. Basic call state model in an integrated IN/B-ISDN architecture [A]. in Proceedings of 7th IEEE Intelligent Network Workshop. 1998. Bordeaux France: IEEE Press. pp. 444-462.
[26] Gregory W, Eric C, Hal P, etc. An open architecture for next-generation telecommunication services [J]. ACM Transactions on lnternet Technology, 2004.4(1): pp. 83-123.[1] Harrick M, Rangan P. System support for computer mediated multimedia collaborations [A]. In Proceedings of the 1992 ACM conference on Computer-supported cooperative work. 1992. Toronto: ACM Press. pp. 203-209.[2] Rajah S, Rangan P. A formal basis for structured multimedia collaborations[A], in Proceedings of the International Conference on Multimedia Computing and Systems. 1995. Washington: IEEE Press. pp. 194-201.
[3] Sties P, Kellerer W. A generic and implementation independent service description model[A]. In International Conference on Distributed Computing Systems Workshop. 2001. Phoenix: IEEE Press. pp. 163-168.
[4] Hutchinson J, Kotonya G A service model for component-based development[A]. In The 30th Proceedings of Euromicro Conference. 2004. Porto: IEEE press, pp. 162-169.
[5] Turletti, Thierry, Huitema. Video conferencing on the lnternet[J]. IEEE/ACM Transactions on Networking, 1996.4(3): pp. 340-351.
[6] La Porta, Thomas F. Direct signaling system for flexible access and deployment of telecommunication services. IEEE/ACM Transactions on Networking, 1997. 5(4): pp. 1063-6692.
[7] Sakai, Norio, Endo. Development of new service in telecommunication and ISDN for a new era[J]. NTT Review, 1998.10(2): pp. 10-13.
[8] Schoen U, Hamann J, Jugel A. Convergence between public switching and the Internet[J]. IEEE Communications Magazine, 1998.36(1): pp. 50-65.
[9] Garschhammer M, Hauck R. Towards generic service management concepts a service model based approach[A]. In Proceedings of Integrated Network Management. 2001. Seattle, pp.719-732.
[10] Garschhammer M, Hauck R. A case-driven methodology for applying the MNM service model[A], In IEEE Symposium on Network Operations and Management Symposium. 2002. Florence: IEEE Press. pp. 697-710.
[11] Rajeev C. Unifying network configuration and service assurance with a service modeling language[A]. In IEEE Symposium on Network Operations and Management Symposium. 2002. Florence: IEEE Press. pp. 711-725.
[12] 全炳哲，金淳兆．面向对象软件规格语言的设计．软件学报，1995．6(12)：pp．705-711．
[13] Sman Si Alhir.UML高级应用[M]，北京：清华大学出版社．2004．
[14] Caswell D, Ramanathan S. Using service models for management of Internet services[J]. IEEE Journal on Selected Areas in Communications, 2000. 18(5): pp. 686-701.
[15] Kellerer W. Intelligence on top of the networks: SIP based service control layer signaling[A]. In IEEE Intelligent Network Workshop. 2001. Boston: IEEE Press. pp. 237-244.
[16] Wongrujira K, Tim H. Incentive service model for P2P[A]. In The 3rd ACS/1EEE Conference on Computer Systems and Applications. 2005. Cairo: IEEE press, pp. 81-87.
[17] Fugui W, Mohapatra P. An application based differentiated service model[A]. In IEEE International Conference on Networks. 2000. Singapore: IEEE press, pp. 424-430.
[18] Jie Y, Jian Y. A flexible and distributed architecture for adaptive end-to-end QoS provisioning in NGN[J]. IEEE Journal on Selected Areas in Communications, 2005.23(2): pp. 321-333.[19] Shuang Kai, Yang Fang-chun. Study on a Generic Service Description Model[A]. In The 6th International Conference on ITS Telecommunications. Jun. 2006. Chengdu. China. Accept.[1] 魏强，苏森，陈俊亮．下一代网络中业务的提供[J]．数据通信，2004．5(5)：pp．15-20．
[2] ITU-T Recommendation, Q.122* Series of recommendation related to IN[S]. Sep. 1997.
[3] IETF RFC 3261. SIP:Session Initiation Protocol[S]. Jun. 2002.
[4] Rosenberg X, Lennox H, Schulzrinne. Programming Internet telephony services[J]. IEEE Network, 1999.13(3): pp. 42-29.
[5] L Jonathan, H Schuizrinne. Implementing intelligent Network Services with the Session Initiation Protocol. Technology Report. Number CUCS-002-99, 1999.
[6] IETF Working Group: Centralized Conferencing (xcon). http://www.ietf.org/html.charters/xcon-charter.htm.
[7] Ard-Jan Moerdijk, Lucas Kiostermann. Opening The Networks With Parlay/OSA: Standards And Aspects Behind The APIs. IEEE Network, 2003.17(3): pp. 58-64.
[8] The Parlay Group, Parlay API 4.0 Specification[DB/OL]. http://www.parlay.org/specs/, Jul. 2002.
[9] JAIN, http://java.sun.com/products/jain.
[10] John de Keijzer, Douglas Tait, Rob Goedman. A New Approach to Services in Communication Networks[J]. IEEE Communications Magazine, 2000. 38(1): pp. 94-99.
[11] OSA Specification. http://www.3gpp.org.
[12] Joint Working Group. http://www.parlay.org.
[13] Simon Beddns, Gary Bruce, Steve Davis. Opening Up Networks with JAIN Parlay[J]. IEEE Communications Magazine, 2000. 38(4): pp. 136-143.
[14] W3C, Extensible Markup Language XML 1.0 (Third Edition).http://www.w3.org/TR/REC-xml/.
[15] IETF RFC 2824: Call Processing Language Framework and Requirements[S]. May. 2000.
[16] W3C, Voice Extensible Markup Language (VoiceXML) Version 2.0. http://www.w3.org/TR/voicexm120/.
[17] W3C, Voice Browser Call Control: CCXML Version 1.0. http://www.w3.org/TR/ccxm1/.
[18] XTML: extensible telephony markup language - a unified framework for delivering next generation enhanced telecommunications services, http://www.pactolus.com.
[19] 李亚波，陈俊亮．基于通用呼叫控制模型的软交换体系设计[J]．通信学报，2003．24(3)：??pp. 78-85.
[20] Tsuchida H, Fujimoto K. A new service provisioning method in the multimedia/B-ISDN era[J]. IEEE Communications Magazine, 1996. 34(12): pp. 102-107.
[21] Tsuchida H, Fujimoto K. Intelligent dynamic service provisioning architecture in the multimedia era[A]. In IEEE International Conference on Conference Record, Converging Technologies for Tomorrow's Applications. Jun. 1996: IEEE Press. Vol.2: pp. 1117-1122.
[22] 廖建新，龙元香，王晶，杨放春．宽带智能网[M]，北京：人民邮电出版社．2001．
[23] 魏强，下一代网络中多媒体会议关键技术的研究．博士学位论文．通信与信息系统．北京邮电大学．Dec．2004．
[24] 董斌，下一代网络中软交换关键技术的研究．博士学位论文．通信与信息系统．北京邮电大学．Jan．2004．
[25] 双锴，杨放春．基于软交换的呼叫关系模型与业务视图的研究[J]．电子学报(已投稿)，2006
[26] Kellerer W. Intelligence on top of the networks." SIP based service control layer signaling [A]. In IEEE Intelligent Network Workshop. 2001. Boston: IEEE Press. pp. 237-244.
[27] Grech M L F, Torabi M, Unmehopa M R. Service control architecture in the UMTS IP multimedia core network subsystem[A], in Third International Conference on 3G Mobile Communication Technologies. May. 2002. London, United Kingdom: Institution of Electrical Engineers. pp. 22-26.
[28] Keith K, Naotaka M, Thomas T. NGN architecture: Generic principles, functional architecture, and implementation [J]. IEEE Communications Magazine, 2005. 43(10): pp. 49-56.
[29] 龚双瑾，智能网技术[M]，北京：人民邮电出版社．Nov．1999．
[30] 王柏，智能网教程[M]，北京：北京邮电大学出版社．Jul．2000．
[31] Reilly O, Maureen P. Connection view state approach to IN CS-2 call party handling: Flexible control of multi-party calls [A]. In Proceedings of IEEE Intelligent Network Workshop. 1997. Colorado: IEEE Press. pp. 20-34.
[32] Faglia L, Lombari M. Basic call state model in an integrated IN/B-ISDN architecture [A]. In Proceedings of 7th IEEE Intelligent Network Workshop. 1998. Bordeaux France: IEEE Press. pp. 444-462.
[33] Reilly-Roche M. Call party handling using the connection view state approach: a foundation for intelligent control of multiparty calls[J]. Communications Magazine, IEEE, Jun. 1998. 36(6): pp. 60-66.
[34] ETSI, ES 202 915-4, Application Programming Interface; Part 4: Call Control[S].
[35] Liil K. Service session control for multimedia services - informational and computational views [A]. In Proceedings of the 1997 Conference on Telecommunications Information Networking Architecture, TINA. 1997. Santiago: IEEE Comp Soc. pp. 288-296.
[36] Jeffrey S S, Tuan P, Jeremy C. Modeling call control for distributed applications in telephony[J]. IEEE Network, 1990. 4(6): pp. 16-22.[37] TINA, Telecommunications Information Networking Architecture. http://www.tinac.com.
[38] TINA-IN Work Group RFP. IN access to TINA services & Connection management. Dec.1999.
[39] 孙其博，开放式综合智能网系统的研究．博士学位论文．通信与信息系统．北京邮电大学．Sep．2002．
[40] Eric C, Michael J, Pamela Z. Distributed media control for multimedia communications services, In IEEE International Conference on Communications. 2002. New York:Institute of Electrical and Electronics Engineers Inc. pp. 2454-2458.
[41] Gregory W, Eric C, Hal P, etc. An open architecture for next-generation telecommunication services [J]. ACM Transactions on lnternet Technology, 2004.4(1): pp. 83-123.[1] Jeffrey S S, Tuan P, Jeremy C. Modeling call control for distributed applications in telephony[J]. IEEE Network, 1990. 4(6): pp. 16-22.
[2] IETF RFC 3332. Signaling System 7(SS7) Message Transfer Part3(MTP3)-User Adaptation Layer(M3UA)[S]. Sep. 2002.
[3] IETF, Signaling Transport (sigtran) Working Group, http://www1.ietf.org/html.charters/sigtran-charter.htmi. 2004.
[4] ITU-T Recommendation H.323. Packet based multimedia communications systems[S]. Feb.1998.
[5] IETF RFC 3261. SIP:Session Initiation Protocol[S]. Jun. 2002.
[6] IETF RFC 3015. Megaco Protocol Ver1.0[S]. Nov. 2000.
[7] ETSI GSM 04.08 version 5.10.0 Digital cellular telecommunications system (Phase 2+);Mobile radio interface layer 3 specification[S]. Aug. 1998.
[8] 3GPP TS 25.413 V4.6.0 3rd Generation Partnership Project; Technical Specification Group Radio Access Network; UTRAN Iu interface RANAP signalling(Release 4). Sep. 2002.
[9] ETSI ES 202 915-4-4, Application Programming Interface; Pan 4: Call Control, Subpart 4: Multimedia Call Control SCF[S].
[10] Ghitho R H, Sylla K. Developing applications for Internet telephony: a case study on the use of parlay call control APls in SIP networks [J]. IEEE Network, 2004. 18(3): pp. 48-55.
[11] Gopalakrishnan G T, Leffew J, Shreinivasan S. Standardizing call control in Voice over Internet applications: a MGCP approach[A]. In Proceedings of the Fourth IEEE International Caracas Conference on Devices, Circuits and Systems. Apr. 2002. pp. T025-1-T025-5.
[12] Jain R, Anjum F M, Missier P. Java call control, coordination, and transactions[J]. Communications Magazine, IEEE, 2000. 38(i): pp. 108-114.
[13] Plasse D. Call control scenarios in the "all-IP" UMTS core network[A]. In The 1 lth IEEE International Symposium on Personal, Indoor and Mobile Radio Communications. Sep. 2000. London UK. Vol.1: pp. 322-326.
[14] Gurbani V K, Sun X H. Accessing telephony services from the Internet [A]. In Proceedings of the 12th International Conference on Computer Communications and Networks. 2003. Dallas: IEEE Press. pp. 517-523.
[15] Sun Qibo, Yang Fangchun, Su Sen. A study on IN call model for the support of multimedia services in IP network[A]. In International Conferences on Info-tech & lnfo-net. 2001. Beijing: Posts & Telecom Press. pp. 766-771.[16] Modarressi A R, Mohan S. Control and management in next-generation networks: challenges and opportanities[J]. Communications Magazine, IEEE, 2000. 38(10): pp. 94-102.
[17] Mampaey M. TINA for services and advanced signaling and control in next generation networks[J]. Communications Magazine, IEEE, 2000.38(10): pp.104-110.
[18] Goulart, Ana Elisa P, Abler. On overlapping resource management and call setup signaling: A new signaling approach for internet multimedia applications[J]. Computer Communications, May. 2005.28(8): pp. 851-863.
[19] 魏强，苏森，陈俊亮．支持多媒体业务的呼叫模型研究[J]．高技术通讯，2004．14(4)：pp．1-6．
[20] ITU-T Recommendation, Q. 122* Series of recommendation related to IN [S]. Sep. 1997.
[21] 龚双瑾，智能网技术[M]，北京：人民邮电出版社．Nov．1999．
[22] 3GPP TS 23.078 Customized Applications for Mobile network EnhancedLogic[S]. 2002.
[23] 廖建新，龙元香，王晶，杨放春．宽带智能网[M]，北京：人民邮电出版社．2001．
[24] Valerio C, Francesca C. A layered approach for IN call modeling for the support of multimedia services in a B-ISDN environment[A]. In IEEE International Conference on Communications. 1996. Dallas, USA. pp. 952-956.
[25] Hee J L, Min S C. A study on call modeling for AIN/B-ISDN integration[A]. In International Conference on Parallel and Distributed Systems. 1996. Tokyo. pp. 149-154.
[26] Blefari-Melazzi N, Cuomo F, Listanti M. IN call modelling for the support of multimedia and multipoint services in a B-ISDN[A]. In 5th IEEE International Conference on Universal Personal Communications. Sep. 1996. Vol.1: pp. 418-422.
[27] Carmagnola V, Ferretti M, Ferrabone P. Basic Call State Model and 1N Switching State Model for an integrated IN/B-ISDN architecture[A]. In IEEE Intelligent Network Workshop. May. 1997. Vol.2: pp. 17-24.
[28] Abe T, Akiba J, Kishida T. Enhanced IN call model and protocol for multipointmulticonnection calls in B-ISDN[A]. In IEEE International Conference on Communications. Jun. 1998. Vol.3: pp. 1515-1519.
[29] Hee Jin Lim, Min Su Cho, Go Bong Choi. A study on call modelling for AIN/B-ISDN integration[A]. In Proceedings of International Conference on Parallel and Distributed Systems. Jun. 1996. pp. 149-154.
[30] Seungchul Park, Yanghee Choi. A call model for multimedia multiuser communication platform[A]. In Proceedings of International Conference on Network Protocols. Nov. 1995. pp. 305-312.
[31] Yamada M, Esaki S, Omiya T. A study on IN basic call state model for packet switched network[A], In IEEE Intelligent Network Workshop. Apr. 1996. Melbourne, Vic. Australia. Vol.2: pp. 196-258.
[32] El Ouahidi B, Bouhdadi M, Bourget D. Extending the Internet with the intelligent network capabilities[A]. In European Conference on Universal Multiservice Networks. Oct. 2000.??Colmar France. pp. 80-86.
[33] 孙其博，开放式综合智能网系统的研究．博士学位论文．通信与信息系统．北京邮电大学．Sep．2002．
[34] 孙其博，杨放春，苏森．支持IP电话信令的增强型智能网呼叫模型的研究[J]．北京邮电大学学报，2002．25(2)：pp．63-67．
[35] 李亚波，陈俊亮．基于通用呼叫控制模型的软交换体系设计[J]．通信学报，2003．24(3)：pp．78-85．
[36] EURESCOM, Project 916, Supporting of H.323 by IN[DB/OL].http://www.eurescom.de/,2001,
[37] ITU-TRecommendation H.245, Control Protocol for Multimedia Communication[S].Feb. 1998.
[38] 双锴，杨放春．基于软交换的一种通用呼叫控制模型的研究[J]．电子学报，2005．33(10)：pp．1757-1760．
[39] IETF RFC 2327. SDP: Session Description Protocol[S]. Mar. 1998.
[40] 3GPP TS 23.228 V5.10.0 IP Multimedia Subsystem[S]. 2003.[1] Luigi Logrippo. Immaturity and potential of formal methods: A personal view[A]. In Feature Interactions in Telecommunications and Software Systems Ⅵ(FIW 2000). May. 2000. Glasgow, Scotland, UK: IOS Press. pp. 9-13.
[2] Keck D O, Kuehn P J. The feature and service interaction problem in telecommunications systems: a survey[J]. IEEE Transactions on Software Engineering, 1998.24(10): pp. 779-796.
[3] Harrison M D, Duke D J. Review of formalisms for describing interactive behaviour[A], In Proceedings of the ICSE'94 Workshop on SE-HCL: Joint Research Issues. Lecture Notes in Computer Science. 1995. Sorrento: Springer-Verlag GmbH & Company KG. pp. 49.
[4] Yao Jianping. An introduction to three perspectives on formal specification review[A], In Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems. Jun. 2005. Shanghai: Institute of Electrical and Electronics Engineers Inc. pp. 8-9.
[5] Dietrich F, Hubaux J P. Formal methods for communication services: Meeting the industry expectations[J]. Computer Networks, Oct. 2002.38(1): pp. 99-120.
[6] 董护斌，面向实时系统的实时区域时态逻辑：RRTL．硕士学位论文．计算机软件与理论．西北大学．May．2002．
[7] Stoffel Dominik, Wedler Markus, Warkentin Peter. Structural FSM traversal[J]. IEEE Transactions on Computer-Aided Design oflntegrated Circuits and Systems, 2004. 23(5): pp. 598-619.
[8] K H Braithwaite, J M Atlee. Towards Automated Detection of Feature Interactions[A]. In Feature Interactions in Telecommunications Systems. May. 1994. Amsterdam: IOS Press. pp. 36-59.
[9] Sukhvinder Aujla, Tony Bryant, and Lesley Semmens. Applying Formal Methods Within Structured Development [J]. IEEE journal on selected areas in communications, Feb. 1994. 12(2): pp. 258-264.
[10] Wang Y, Pang J, Zha M.A Formal Software Development Approach[J]. Journal of Computer Science and Technology, May. 2001.16(3): pp. 251-262.
[11] Charatan Q. MOOr++: Modular object-oriented VDM[J]. Information and Software Technology, 2000. 42(4): pp. 275-280.
[12] Johan Blom, Bouma. Using Temporal Logic for Modular Specification of Telephone Services. In Feature Interactions in Telecommunications Systems. 1994. Amsterdam, Netherlands: IOS Press. pp. 197-216.
[13] 贲可荣．陈火旺．王兵山．命题时态逻辑矢列式演算系统[J]．中国科学A辑，1994．24(10)：pp．1092-1098．
[14] 张广泉．孙敏．时态逻辑的比较与分析[J]．渝州大学学报，1999．16(2)：pp．15-18．
[15] Kapus T, Brezocnik Z. TLA-style specification of a mobile network[A]. In Proceedings of the 23rd EUROMICRO(EUROMICRO 97). SCp. 1997. Budapest. pp. 440-447.[16] Lars Kempe. A Modular Specification of a Telephone System. Master of Science Thesis of Department of Computer Science, Uppsala University, Oct.1994.
[17] Lewi J, Vergauwen B. Formal verifications: an industrial case study. In Proceedings of Computer Systems and Software Engineering. May. 1992. Hague. pp. 208-213.
[18] J Nystrom, B Jonsson. A Formalization of Service Independent Building Blocks[A]. In Proceedings of Workshop Advanced Intelligent Networks (AIN '96). Mar. 1996. Passau, Universitat Passau. pp. 1-14.
[19] Stephan Merz, Martin Wirsing, Jǘlia Zappe. A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems. In Fundamental Approaches to Software Engineering (FASE 2003). Apr. 2003. Warsaw, Poland: Springer-Verlag Press. Voi.2621: pp. 87-101.
[20] Amir Pnueli. System Specification and Refinement in Temporal Logic[A]. In Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science. Lecture Notes in Computer Science. 1995: Spdnger-Verlag Press. Vol.652: pp. 1-38.
[21] Amy P Felty, Kedar S Namjoshi. Feature specification and automated conflict detection[J]. ACM Transactions on Software Engineering and Methodology (TOSEM), Jan. 2003.12(1): pp. 3-27.
[22] Yiqin L, Gang Wei. Managing feature interactions in telecommunications systems by temporal colored Petri nets[A]. In Proceedings of Seventh IEEE International Conference on Engineering of Complex Computer Systems. Jan. 2001. Sweden. pp. 260-269.
[23] 罗军舟，沈俊，顾冠群．从Petri网到形式描述技术和协议工程[J]．软件学报，2000．11(5)：pp．606-615．
[24] JIANG Chang-jun, LU Wei-ming. On Properties of Concurrent System Based on Petri Net Language[J]. 2001.12(4): pp. 512-520.
[25] 袁崇义，Petri网原理与应用[M]，北京：电子工业出版社．2005．
[26] Ma J, Knight B. Reified temporal logics: An overview[J]. Artificial Intelligence Review, 2001. 15(3): pp.189-217.
[27] Augusto J C. The logical approach to temporal reasoning[J]. Artificial Intelligence Review, Dec. 2001.16(4): pp. 301-333.
[28] Farn Wang. Formal verification of timed systems: a survey and perspective[J]. Proceedings of the IEEE, Aug. 2004. 92(8): pp. 1283-1305.
[29] 张广泉．计算机网络通信协议的一种形式化描述技术[J]．重庆师范学院学报(自然科学版)，Mar．1999．16(1)：pp．27-30．
[30] Salamah, Gates Ann, Roach Steve. Verifying pattem-generated LTL formulas: A case study[A]. In 12th International SPIN Workshop on Model Checking Software. Lecture Notes in Computer Science. Aug. 2005. San Francisco, CA:Springer Verlag Press. Vol.3639: pp. 200-220.
[31] Ding Yulin, Zhang Yah. A logic approach for LTL system modification[A]. In 15th International Symposium on Methodologies for Intelligent Systems. Lecture Notes in??Artificial Intelligence (Subseries of Lecture Notes in Computer Science). May. 2005. Saratoga Springs, NY: Springer Verlag Press. Vol.488: pp. 435-444.
[32] Bolotov, Alexander, Fisher. Resolution method for CTL branching-time temporal logic[A]. In Proceedings of the International Workshop on Temporal Representation and Reasoning. May. 1997. Daytona Beach. pp. 20-27.
[33] Bourahla Mustapha, Benmohamed Mohamed. Distributing state space for parallel computation of CTL model checking[J]. Theoretical Computer Science, Nov. 2004.28(3): pp. 297-305.
[34] Allen J F, Ferguson G. Actions and Events in Interval Temporal Logic[J]. Journal of Logic and ComputationJournal of Logic and Computation, Oct. 1994.4(5): pp. 531.
[35] Leslie Lamport. Introduction to TLA. Dec. 1994.
[36] Ernie Cohen, Leslie Lamport. Reduction in TLA[A]. In CONCUR'98 Concurrency Theory. Lecture Notes in Computer Science. May. 1998. Vol.1466: pp. 317-331.
[37] Stephan Merz. A More Complete TLA[A]. In Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume Ⅱ. Lecture Notes In Computer Science. 1999: Springer-Verlag Press. Vo!.1709: pp. 1226-1244.
[38] Manna Zohar, Pnueli, Amir. Completing the Temporal Picture[J]. Theoretical Computer Science, Part B: Logic, Semantics and Theory of Programming, Jun. i 991.83(1): pp. 97-130.
[39] Leslie Lamport. The temporal logic ofactions[J]. ACM Transactions on Programming Languages and Systems (TOPLAS), May. 1994. 16(3): pp. 872-923.
[40] Martin Abadi, Stephan Merz. On TLA as a logic[A]. In Proceedings of the NATO Advanced Study Institute on Deductive program design. 1996: Springer-Verlag Press. pp. 235-271.
[41] Johan Blom, Roland N, Lars Kempe. Automatic Detection of Feature Interactions in Temporal Logic [A]. In Feature Interactions in Telecommunications III. 1995. Kyoto, Japan: IOS Press. pp. 1-19.
[2] Grant Lenahan, Next Generation Networks: A Practical View of Network Evolution[DB/OL]. Beilcore Technical Report, http://www.telcordia.com/newsroom/knowledgebase/, 1999.
[3] ITU-T SG13. Next Generation Networks (NGN) 2004 Project[DB/OL]. http://www.itu.int/lTU-T/studvgroup/com13/ngn2004/, 2004.
[4] Eurescom Project P1109, Next Generation Networks: the service offering standpoint[DB/OL]. http://www.eurescom.de, Nov. 2001.
[5] ITU-T. Draft Recommendation Y.NGN-overview, General Overview of NGN Functions and Characteristics[S]. 2004.
[6] ITU-T Recommendation, Q.122* Series of recommendation related to IN[S]. Sep. 1997.
[7] 龚双谨，智能网技术，北京：人民邮电出版社．1999．
[8] 廖建新，龙元香，王晶，杨放春．宽带智能网[M]，北京：人民邮电出版社．2001．
[9] 中华人民共和国信息产业部，中华人民共和国通信行业标准软交换设备总体技术要求(修订版)[S]．2002．
[10] 杨放春，下一代网络中的关键技术[J]．北京邮电大学学报，2003．26(3)：pp．1-8．
[11] ITU-T Recommendation Q.1901, Bearer Independent Call Control Protocol[S]. Dec. 1999.
[12] IETF RFC 3372, Session Initiation Protocol for Telephones (SIP-T): Context and Architectures[S]. Sep. 2002.
[13] The Parlay Group, Parlay API 4.0 Specification[DB/OL]. http://www.parlay.org/speces/, Jul. 2002.
[14] IETF RFC 3550, RTP: A Transport Protocol for Real-Time Applications[S]. Jul. 2003.
[15] Draft FGNGN-FRA. OD-00192rl Version 5.1[S]. 2005.6. Jun. 2005.
[16] Draft FGNGN-IFN. OD-00193 IMS for Next Generation Networks[S]. Jun. 2005.
[17] ETSI 282001 TISPAN; NGN Functional Architecture Release I [S]. 2005.6. Jun. 2005.
[18] ETSI 102227 TIPHON; Functional Entities Information Flow and Reference Point Definitions; Lawful Interception [S]. 2004.
[19] ETSI TR 180001 V1.1.1 Telecommunications and Internet converged Services and Protocols for Advanced Networking (TISPAN); NGN Release 1 [S]. Mar. 2006.
[20] ETSI TR 181004 V1.1.1 Telecommunications and Internet converged Services and Protocols for Advanced Networking (TISPAN) NGN Generic capabilities and their use to develop services[S]. Mar. 2006.
[21] ETS120198803 Open Service Access for API requirements Part 3 Version 3[S]. Jul. 2005.
[22] IETF, http://www.ietf.org.
[23] Wei Qiang, Su Sen, Chen Junliang. Study on Application of Soflswitch in Wireless Networks[A]. In International Conference on Communication Technology (ICCT'2003). Apr. 2003. Beijing. Vol.1: pp. 127-130.[24] 3GPP, http://www.3gpp.org.
[25] 3GPP 3G TS 29.198 v4.0.0. Open Service Access (OSA) API[S]. Sep. 2003.
[26] 双锴，杨放春．支持固定移动融合的增强型核心网络研究[J]．电信科学，2005．21(12A)：pp．24-27．
[27] ETSI. TS 101 878 V4.1.1, Telecommunications and Internet Protocol Harmonization Over Networks (TIPHON) Release 4; Service Capability Definition; Service Capabilities for TIPHON Release 4[S]. Nov. 2003.
[28] ETSI 101301 TIPHON - Release 4 Definition[S]. Apr. 2004.
[29] 魏强，苏森，陈俊亮．下一代网络中业务的提供[J]．数据通信，2004(5)：pp．15-20．
[30] EURESCOM, Project 916, Supporting of H.323 by IN[DB/OL]. http://www.eurescom.de/, 2001.
[31] T.Hariu, J.Akiba, et.al. Study on Call Model of Advanced Intelligent Network for Controlling B-ISDN[A]. In Intelligent Network Workshop. Apr. 1996. Melbourne. Vol.2: pp. 196-204.
[32] 刘玲，缪淮扣．对逻辑覆盖软件测试准则的公理化评估[J]．软件学报，2004．15(9)：pp．1301-1310．
[33] 贲可荣．陈火旺．王兵山．命题时态逻辑矢列式演算系统[J]．中国科学A辑，1994．24(10)：pp．1092-1098．
[34] 张广泉．孙敏．时态逻辑的比较与分析[J]．渝州大学学报，1999．16(2)：pp．15-18．
[35] Luigi Logrippo. Immaturity and potential of formal methods: A personal view[A]. In Feature Interactions in Telecommunications and Software Systems Ⅵ(FIW 2000). May. 2000. Glasgow, Scotland, UK: IOS Press. pp. 9-13.
[36] Pamela Zave, Michael Jackson. Requirements for telecommunications services - an attack on complexity[A]. In Proceedings of the Third IEEE International Symposium on Requirements Engineering. Jan. 1997. Annapolis. pp. 106-117.
[37] Gregory W, Bond. ECLIPSE Feature Logic Analysis[A]. In Proceedings of the Second IP Telephony Workshop. Apr. 2001. New York. pp. 49-56.
[38] Pamela Zave, Michael Jackson. A Call Abstraction for Component Coordination[A]. In Proceedings of the 29th International Colloquium on Automat. Languages, and Programming: Workshop on Formal Methods and Component Interaction. Jun. 2002. Malaga. pp. 1-12.
[39] Emden R, Gansner. Visualizing Software for Telecommunication Services[A]. In Proceedings of the 2003 ACM symposium on Software visualization. Jun. 2003. San Diego. pp. 151-158.
[40] Pamela Zave, Healfdene H. Component Coordination: A Telecommunication Case Study[J]. Computer Networks, Aug. 2004. 45(5): pp. 645-664.
[41] Pamela Zave. A Formal Model of Addressing for interoprating Network[A]. In Thirteenth International Symposium of Formal Methods Europe. 2005. Europe. pp. 127-142.
[42] Kenneth J. Turner. An Architectural Description of Intelligent Network Features and Their Interactions[J]. Computer Networks and ISDN Systems: Special Issue on Feature Interaction, Sep. 1998.30(15): pp.1389-1419.
[43] Kenneth J. Turner. Formalising the Chisel Feature Notation[A]. In Proceeding of 6th. Feature Interactions in Telecommunications and Software Systems. May. 2000. Amsterdam: IOS Press. pp.241-256.[44] Kenneth J. Turner. Formalising Graphical Behaviour Descriptions[A]. In Proceeding of 10th. International Conference on Algebraic Methodology and Software Technology. Mar. 2004. Amsterdam. pp. 537-552.
[45] Kenneth J. Turner, Stephan Reiff-Marganiec, Lynne Blair. Policy Support for Call Control[J](pre-publication version). Policy Support for Call Control, Computer Standards and Interfaces, May. 2005.
[46] L Fuentes, J M Troya. Designing Multimedia Telecommunication Services with an Extensible Component-Oriented Framework[A]. In Proceeding of the International Conference on Telecommunications. Jun. 1997. zagreb, pp. 1012-1021.
[47] L Fuentes, J M Troya. Component oriented service architecture as a flexible service creation framework[A]. In Proceeding of Communication Networks and Distributed Systems Modeling. 1997. Pheenix. pp. 68-73.
[48] L Fuentes, J M Troya. How MDA Can Help Designing Component- and Aspect-based Applications[A]. In 7th International Enterprise Distributed Object Computing Conference(EDOC 2003). Sep. 2003. Brisbane. pp. 124-135.
[49] Amyotl L, Charf N. Feature Description and Feature Interaction Analysis with Use Case Maps and LOTOS[A]. In Sixth International Workshop on Feature Interactions in Telecommunications and Software Systems(FIW'00). 2000. Glasgow, Scotland, UK. pp. 274-289.
[50] H. Korver. Detecting Feature Interactions with Cacsar/Aldebarn. Technical Report., 1993.
[51] M. Faci, L. Logrippo and B. Stepien, "Formal Specification of Telephone Systems in LOTOS: The Constraint-Oriented Style Approach[J]. Computer Networks and ISDN Systems, 1991.21(3): pp. 53-67.
[52] R. Boumezbeur and L. Logrippo, "Specifying Telephone Systems in LOTOS[J]. IEEE Communication Networks, 1993.31(8): pp. 38-45.
[53] O.C. Dahi and E. Najm, Specification & Detection of IN Service Interference using LOTOS[J]. Formal Description Techniques, 1993.600): pp. 53-69.
[54] Medina V, Gomez I, Luque J, Martin S. ESTELLE: a method to analyze automatically the performance oftelecontrol protocols in SCADA systems[J]. IEEE Transactions on Power Delivery, Jul. 2002. 17(3): pp. 712-717.
[55] K C Tai, Y C Young. Synchronizable Test Sequences of Finite State Machines. Technical Report: North Carolina State University at Raleigh, Aug. 1995.
[56] Yiqin L, Gang Wei. Managing feature interactions in telecommunications systems by temporal colored Petri nets[A]. In Proceedings of Seventh IEEE International Conference on Engineering of Complex Computer Systems. Jun. 2001. Sweden. pp. 260-269.
[57] K. Kimbler, C. Capcllmann, H. Velthuijsen, Comprehensive Apprnach to Service Interaction Handling. Computer Networks and ISDN Systems:Special issue on feature interactions in telecommunications software, Sup. 1998. 38(5): pp. 591-602.
[58] Jeanne Reed. Formalising Graphical Service Descriptions using SDL editors[A]. In Proceeding of SDL. Jul. 2003. Berlin, Germany. pp. 324-325.[59] Richard Sinnott. Creating Telecommunication Services based on Object-Oriented Frameworks and SDL. In Proceedings of International Symposium on Object-oriented Real-Time Distributed Computing. 2000. France: IEEE Press. pp. 93-102.
[60] David Lee, Yow-Jian Lin. Protocol feature interactions, in Formal Description Techniques(FORTE-PSTV). 1998. Paris, France. pp. 59-74.
[61] Lewi J, Vergauwen B. Formal verifications: an industrial case study. In Proceedings of Computer Systems and Software Engineering. May. 1992. Hague. pp. 208-213.
[62] Lars Kempe. A Modular Specification of a Telephone System. Master of Science Thesis of Department of Computer Science, Uppsala University, Oct. 1994.
[63] Amir Pnueli. System Specification and Refinement in Temporal Logic. In Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science. 1995. London, UK: Springer-Verlag Press. Vol.652: pp. 1-38.
[64] J Nystrom, B Jonsson. A Formalization of Service Independent Building Blocks[A]. In Proceedings of Workshop Advanced Intelligent Networks (AIN '96). Mar. 1996. Passau, Universitat Passau. pp. 1-14.
[65] Kapus T, Brezocnik Z. TLA-style specification of a mobile network[A]. In Proceedings of the 23rd EUROMICRO(EUROMICRO 97). Sep. 1997. Budapest. pp, 440-447.
[66] Stephan Merz, Martin Wirsing, Jǘlia Zappe. A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems. In Fundamental Approaches to Software Engineering (FASE 2003). Apr. 2003. Warsaw, Poland: Springer-Verlag Press. Vol.2621: pp. 87-101.
[67] Johan Blom, Bouma. Using Temporal Logic for Modular Specification of Telephone Services. In Feature Interactions in Telecommunications Systems. 1994. Amsterdam, Netherlands: IOS Press. pp. 197-216.[1] Keck D O, Kuehn P J. The feature and service interaction problem in telecommunications systems: a survey[J]. IEEE Transactions on Software Engineering, Oct. 1998.24(10): pp. 779-796.
[2] ITU-T Recommendation 1.210. Principles of Telecommunication Services Supported by an ISDN and the Means to Describe Them. Geneva. 1989.
[3] Draft FGNGN-FRA. OD-00192rl Version 5.1[S]. Jun. 200:5.
[4] Draft FGNGN-IFN. OD-00193 IMS for Next Generation Networks[S].Jun. 2005.
[5] Glitho R H, Khendek F, DeMarco A. Creating value added services in Internet telephony: an overview and a case study on a high-level service creation environment [J]. IEEE Transactions on Systems, Man and Cybernetics, 2003.33(4): pp. 446-457.
[6] Tachimoto S, Hiramatsu A, Murakami T. Roles of the network in next generation IP services[A]. In IEEE The 9th Asia-Pacific Conference on Communications. 2003. Dallas: IEEE Press. pp. 792-796.
[7] ITU-T Recommendation, Q.122* Series of recommendation related to IN[S]. Sep. 1997.
[8] 廖建新，龙元香，王晶，杨放春．宽带智能网[M]，北京：人民邮电出版社．2001．[9] Mampaey M. TINA for services and advanced signaling and control in next generation networks[J]. Communications Magazine, IEEE, 2000. 38(10): pp. 104-110.
[10] Sties P, Keilerer W. A generic and implementation independent service description model[A]. In International Conference on Distributed Computing Systems Workshop. 2001. Phoenix:IEEE Press. pp. 163-168.
[11] ITU-T Recommendation Q. 1201. Principles of Intelligent Network Architecture. Geneva. 1992.
[12] Aljaz T, Brodnik A. Supplementary services in telecommunication next generation networks [A]. In IEEE Managing Next Generation Convergence Networks and Services. 2004. Seoul: Institute of Electrical and Electronics Engineers Inc. pp. 159-172.
[13] Balaji T S, Brian L, Jesse K. A carrier's perspective on creating a mobile multimedia service [J]. Communications of the ACM, 2005. 48(7): pp. 49-53.
[14] Choukair Z. Correctness Proof Obligation for CoCTeIS Telecom Services Composition Model [A]. In Proceedings of the 19th International Conference on Advanced Information Networking and Applications. 2005. Taipei: IEEE Press. pp. 893-900.
[15] Arbanowski S, Baiion P, David K. I-centric communications: personalization, ambient awareness, and adaptability for future mobile services [J]. Communications Magazine, IEEE,2004. 42(9): pp. 63-69.
[16] Modarressi A R, Mohan S. Control and management in next-generation networks: challenges and opportunities[J]. Communications Magazine, IEEE, 2000.38(10): pp. 94-102.
[17] Zarri M. Future service capabilities offered by the 3GPP system [A]. In IEE Proceedings of 4th International Conference on 3G Mobile Communication Technologies. Jun. 2003. London, UK. pp. 354-358.
[18] The Parlay Group, Parlay API 4.0 Specification[DB/OL]. http://www.parlay.org/specs/, Jul. 2002.
[19] ETSI TR 101882 v5.1.1 TIPHON - Protocol Framework Definition and Interface Requirement Definition[S]. May. 2004.
[20] 3GPP 3G TS 29.198 v4.0.0. Open Service Access (OSA) API[S]. Sep. 2003.
[21] 李静林，业务驱动的复合视点NGN体系结构模型的研究．博士学位论文．计算机应用技术．北京邮电大学．2004．
[22] Stathopoulos V, Polykalas S, Venieris I. Algorithm for the efficient utilization of service control capabilities in intelligent networks [A]. In 10th Mediterranean Electrotechnical Conference. 2000. Institute of Electrical and Electronics Engineers Inc. pp. 102-106.
[23] Jackson M, Pamela Z. Distributed feature composition: a virtual architecture for telecommunications services [J]. IEEE Transactions on Software Engineering, 1998.24(10): pp. 831-847.
[24] Kellerer W. Intelligence on top of the networks: SIP based service control layer signaling [A]. In IEEE Intelligent Network Workshop. 2001. Boston: IEEE Press, pp. 237-244.[25] Faglia L, Lombari M. Basic call state model in an integrated IN/B-ISDN architecture [A]. in Proceedings of 7th IEEE Intelligent Network Workshop. 1998. Bordeaux France: IEEE Press. pp. 444-462.
[26] Gregory W, Eric C, Hal P, etc. An open architecture for next-generation telecommunication services [J]. ACM Transactions on lnternet Technology, 2004.4(1): pp. 83-123.[1] Harrick M, Rangan P. System support for computer mediated multimedia collaborations [A]. In Proceedings of the 1992 ACM conference on Computer-supported cooperative work. 1992. Toronto: ACM Press. pp. 203-209.[2] Rajah S, Rangan P. A formal basis for structured multimedia collaborations[A], in Proceedings of the International Conference on Multimedia Computing and Systems. 1995. Washington: IEEE Press. pp. 194-201.
[3] Sties P, Kellerer W. A generic and implementation independent service description model[A]. In International Conference on Distributed Computing Systems Workshop. 2001. Phoenix: IEEE Press. pp. 163-168.
[4] Hutchinson J, Kotonya G A service model for component-based development[A]. In The 30th Proceedings of Euromicro Conference. 2004. Porto: IEEE press, pp. 162-169.
[5] Turletti, Thierry, Huitema. Video conferencing on the lnternet[J]. IEEE/ACM Transactions on Networking, 1996.4(3): pp. 340-351.
[6] La Porta, Thomas F. Direct signaling system for flexible access and deployment of telecommunication services. IEEE/ACM Transactions on Networking, 1997. 5(4): pp. 1063-6692.
[7] Sakai, Norio, Endo. Development of new service in telecommunication and ISDN for a new era[J]. NTT Review, 1998.10(2): pp. 10-13.
[8] Schoen U, Hamann J, Jugel A. Convergence between public switching and the Internet[J]. IEEE Communications Magazine, 1998.36(1): pp. 50-65.
[9] Garschhammer M, Hauck R. Towards generic service management concepts a service model based approach[A]. In Proceedings of Integrated Network Management. 2001. Seattle, pp.719-732.
[10] Garschhammer M, Hauck R. A case-driven methodology for applying the MNM service model[A], In IEEE Symposium on Network Operations and Management Symposium. 2002. Florence: IEEE Press. pp. 697-710.
[11] Rajeev C. Unifying network configuration and service assurance with a service modeling language[A]. In IEEE Symposium on Network Operations and Management Symposium. 2002. Florence: IEEE Press. pp. 711-725.
[12] 全炳哲，金淳兆．面向对象软件规格语言的设计．软件学报，1995．6(12)：pp．705-711．
[13] Sman Si Alhir.UML高级应用[M]，北京：清华大学出版社．2004．
[14] Caswell D, Ramanathan S. Using service models for management of Internet services[J]. IEEE Journal on Selected Areas in Communications, 2000. 18(5): pp. 686-701.
[15] Kellerer W. Intelligence on top of the networks: SIP based service control layer signaling[A]. In IEEE Intelligent Network Workshop. 2001. Boston: IEEE Press. pp. 237-244.
[16] Wongrujira K, Tim H. Incentive service model for P2P[A]. In The 3rd ACS/1EEE Conference on Computer Systems and Applications. 2005. Cairo: IEEE press, pp. 81-87.
[17] Fugui W, Mohapatra P. An application based differentiated service model[A]. In IEEE International Conference on Networks. 2000. Singapore: IEEE press, pp. 424-430.
[18] Jie Y, Jian Y. A flexible and distributed architecture for adaptive end-to-end QoS provisioning in NGN[J]. IEEE Journal on Selected Areas in Communications, 2005.23(2): pp. 321-333.[19] Shuang Kai, Yang Fang-chun. Study on a Generic Service Description Model[A]. In The 6th International Conference on ITS Telecommunications. Jun. 2006. Chengdu. China. Accept.[1] 魏强，苏森，陈俊亮．下一代网络中业务的提供[J]．数据通信，2004．5(5)：pp．15-20．
[2] ITU-T Recommendation, Q.122* Series of recommendation related to IN[S]. Sep. 1997.
[3] IETF RFC 3261. SIP:Session Initiation Protocol[S]. Jun. 2002.
[4] Rosenberg X, Lennox H, Schulzrinne. Programming Internet telephony services[J]. IEEE Network, 1999.13(3): pp. 42-29.
[5] L Jonathan, H Schuizrinne. Implementing intelligent Network Services with the Session Initiation Protocol. Technology Report. Number CUCS-002-99, 1999.
[6] IETF Working Group: Centralized Conferencing (xcon). http://www.ietf.org/html.charters/xcon-charter.htm.
[7] Ard-Jan Moerdijk, Lucas Kiostermann. Opening The Networks With Parlay/OSA: Standards And Aspects Behind The APIs. IEEE Network, 2003.17(3): pp. 58-64.
[8] The Parlay Group, Parlay API 4.0 Specification[DB/OL]. http://www.parlay.org/specs/, Jul. 2002.
[9] JAIN, http://java.sun.com/products/jain.
[10] John de Keijzer, Douglas Tait, Rob Goedman. A New Approach to Services in Communication Networks[J]. IEEE Communications Magazine, 2000. 38(1): pp. 94-99.
[11] OSA Specification. http://www.3gpp.org.
[12] Joint Working Group. http://www.parlay.org.
[13] Simon Beddns, Gary Bruce, Steve Davis. Opening Up Networks with JAIN Parlay[J]. IEEE Communications Magazine, 2000. 38(4): pp. 136-143.
[14] W3C, Extensible Markup Language XML 1.0 (Third Edition).http://www.w3.org/TR/REC-xml/.
[15] IETF RFC 2824: Call Processing Language Framework and Requirements[S]. May. 2000.
[16] W3C, Voice Extensible Markup Language (VoiceXML) Version 2.0. http://www.w3.org/TR/voicexm120/.
[17] W3C, Voice Browser Call Control: CCXML Version 1.0. http://www.w3.org/TR/ccxm1/.
[18] XTML: extensible telephony markup language - a unified framework for delivering next generation enhanced telecommunications services, http://www.pactolus.com.
[19] 李亚波，陈俊亮．基于通用呼叫控制模型的软交换体系设计[J]．通信学报，2003．24(3)：??pp. 78-85.
[20] Tsuchida H, Fujimoto K. A new service provisioning method in the multimedia/B-ISDN era[J]. IEEE Communications Magazine, 1996. 34(12): pp. 102-107.
[21] Tsuchida H, Fujimoto K. Intelligent dynamic service provisioning architecture in the multimedia era[A]. In IEEE International Conference on Conference Record, Converging Technologies for Tomorrow's Applications. Jun. 1996: IEEE Press. Vol.2: pp. 1117-1122.
[22] 廖建新，龙元香，王晶，杨放春．宽带智能网[M]，北京：人民邮电出版社．2001．
[23] 魏强，下一代网络中多媒体会议关键技术的研究．博士学位论文．通信与信息系统．北京邮电大学．Dec．2004．
[24] 董斌，下一代网络中软交换关键技术的研究．博士学位论文．通信与信息系统．北京邮电大学．Jan．2004．
[25] 双锴，杨放春．基于软交换的呼叫关系模型与业务视图的研究[J]．电子学报(已投稿)，2006
[26] Kellerer W. Intelligence on top of the networks." SIP based service control layer signaling [A]. In IEEE Intelligent Network Workshop. 2001. Boston: IEEE Press. pp. 237-244.
[27] Grech M L F, Torabi M, Unmehopa M R. Service control architecture in the UMTS IP multimedia core network subsystem[A], in Third International Conference on 3G Mobile Communication Technologies. May. 2002. London, United Kingdom: Institution of Electrical Engineers. pp. 22-26.
[28] Keith K, Naotaka M, Thomas T. NGN architecture: Generic principles, functional architecture, and implementation [J]. IEEE Communications Magazine, 2005. 43(10): pp. 49-56.
[29] 龚双瑾，智能网技术[M]，北京：人民邮电出版社．Nov．1999．
[30] 王柏，智能网教程[M]，北京：北京邮电大学出版社．Jul．2000．
[31] Reilly O, Maureen P. Connection view state approach to IN CS-2 call party handling: Flexible control of multi-party calls [A]. In Proceedings of IEEE Intelligent Network Workshop. 1997. Colorado: IEEE Press. pp. 20-34.
[32] Faglia L, Lombari M. Basic call state model in an integrated IN/B-ISDN architecture [A]. In Proceedings of 7th IEEE Intelligent Network Workshop. 1998. Bordeaux France: IEEE Press. pp. 444-462.
[33] Reilly-Roche M. Call party handling using the connection view state approach: a foundation for intelligent control of multiparty calls[J]. Communications Magazine, IEEE, Jun. 1998. 36(6): pp. 60-66.
[34] ETSI, ES 202 915-4, Application Programming Interface; Part 4: Call Control[S].
[35] Liil K. Service session control for multimedia services - informational and computational views [A]. In Proceedings of the 1997 Conference on Telecommunications Information Networking Architecture, TINA. 1997. Santiago: IEEE Comp Soc. pp. 288-296.
[36] Jeffrey S S, Tuan P, Jeremy C. Modeling call control for distributed applications in telephony[J]. IEEE Network, 1990. 4(6): pp. 16-22.[37] TINA, Telecommunications Information Networking Architecture. http://www.tinac.com.
[38] TINA-IN Work Group RFP. IN access to TINA services & Connection management. Dec.1999.
[39] 孙其博，开放式综合智能网系统的研究．博士学位论文．通信与信息系统．北京邮电大学．Sep．2002．
[40] Eric C, Michael J, Pamela Z. Distributed media control for multimedia communications services, In IEEE International Conference on Communications. 2002. New York:Institute of Electrical and Electronics Engineers Inc. pp. 2454-2458.
[41] Gregory W, Eric C, Hal P, etc. An open architecture for next-generation telecommunication services [J]. ACM Transactions on lnternet Technology, 2004.4(1): pp. 83-123.[1] Jeffrey S S, Tuan P, Jeremy C. Modeling call control for distributed applications in telephony[J]. IEEE Network, 1990. 4(6): pp. 16-22.
[2] IETF RFC 3332. Signaling System 7(SS7) Message Transfer Part3(MTP3)-User Adaptation Layer(M3UA)[S]. Sep. 2002.
[3] IETF, Signaling Transport (sigtran) Working Group, http://www1.ietf.org/html.charters/sigtran-charter.htmi. 2004.
[4] ITU-T Recommendation H.323. Packet based multimedia communications systems[S]. Feb.1998.
[5] IETF RFC 3261. SIP:Session Initiation Protocol[S]. Jun. 2002.
[6] IETF RFC 3015. Megaco Protocol Ver1.0[S]. Nov. 2000.
[7] ETSI GSM 04.08 version 5.10.0 Digital cellular telecommunications system (Phase 2+);Mobile radio interface layer 3 specification[S]. Aug. 1998.
[8] 3GPP TS 25.413 V4.6.0 3rd Generation Partnership Project; Technical Specification Group Radio Access Network; UTRAN Iu interface RANAP signalling(Release 4). Sep. 2002.
[9] ETSI ES 202 915-4-4, Application Programming Interface; Pan 4: Call Control, Subpart 4: Multimedia Call Control SCF[S].
[10] Ghitho R H, Sylla K. Developing applications for Internet telephony: a case study on the use of parlay call control APls in SIP networks [J]. IEEE Network, 2004. 18(3): pp. 48-55.
[11] Gopalakrishnan G T, Leffew J, Shreinivasan S. Standardizing call control in Voice over Internet applications: a MGCP approach[A]. In Proceedings of the Fourth IEEE International Caracas Conference on Devices, Circuits and Systems. Apr. 2002. pp. T025-1-T025-5.
[12] Jain R, Anjum F M, Missier P. Java call control, coordination, and transactions[J]. Communications Magazine, IEEE, 2000. 38(i): pp. 108-114.
[13] Plasse D. Call control scenarios in the "all-IP" UMTS core network[A]. In The 1 lth IEEE International Symposium on Personal, Indoor and Mobile Radio Communications. Sep. 2000. London UK. Vol.1: pp. 322-326.
[14] Gurbani V K, Sun X H. Accessing telephony services from the Internet [A]. In Proceedings of the 12th International Conference on Computer Communications and Networks. 2003. Dallas: IEEE Press. pp. 517-523.
[15] Sun Qibo, Yang Fangchun, Su Sen. A study on IN call model for the support of multimedia services in IP network[A]. In International Conferences on Info-tech & lnfo-net. 2001. Beijing: Posts & Telecom Press. pp. 766-771.[16] Modarressi A R, Mohan S. Control and management in next-generation networks: challenges and opportanities[J]. Communications Magazine, IEEE, 2000. 38(10): pp. 94-102.
[17] Mampaey M. TINA for services and advanced signaling and control in next generation networks[J]. Communications Magazine, IEEE, 2000.38(10): pp.104-110.
[18] Goulart, Ana Elisa P, Abler. On overlapping resource management and call setup signaling: A new signaling approach for internet multimedia applications[J]. Computer Communications, May. 2005.28(8): pp. 851-863.
[19] 魏强，苏森，陈俊亮．支持多媒体业务的呼叫模型研究[J]．高技术通讯，2004．14(4)：pp．1-6．
[20] ITU-T Recommendation, Q. 122* Series of recommendation related to IN [S]. Sep. 1997.
[21] 龚双瑾，智能网技术[M]，北京：人民邮电出版社．Nov．1999．
[22] 3GPP TS 23.078 Customized Applications for Mobile network EnhancedLogic[S]. 2002.
[23] 廖建新，龙元香，王晶，杨放春．宽带智能网[M]，北京：人民邮电出版社．2001．
[24] Valerio C, Francesca C. A layered approach for IN call modeling for the support of multimedia services in a B-ISDN environment[A]. In IEEE International Conference on Communications. 1996. Dallas, USA. pp. 952-956.
[25] Hee J L, Min S C. A study on call modeling for AIN/B-ISDN integration[A]. In International Conference on Parallel and Distributed Systems. 1996. Tokyo. pp. 149-154.
[26] Blefari-Melazzi N, Cuomo F, Listanti M. IN call modelling for the support of multimedia and multipoint services in a B-ISDN[A]. In 5th IEEE International Conference on Universal Personal Communications. Sep. 1996. Vol.1: pp. 418-422.
[27] Carmagnola V, Ferretti M, Ferrabone P. Basic Call State Model and 1N Switching State Model for an integrated IN/B-ISDN architecture[A]. In IEEE Intelligent Network Workshop. May. 1997. Vol.2: pp. 17-24.
[28] Abe T, Akiba J, Kishida T. Enhanced IN call model and protocol for multipointmulticonnection calls in B-ISDN[A]. In IEEE International Conference on Communications. Jun. 1998. Vol.3: pp. 1515-1519.
[29] Hee Jin Lim, Min Su Cho, Go Bong Choi. A study on call modelling for AIN/B-ISDN integration[A]. In Proceedings of International Conference on Parallel and Distributed Systems. Jun. 1996. pp. 149-154.
[30] Seungchul Park, Yanghee Choi. A call model for multimedia multiuser communication platform[A]. In Proceedings of International Conference on Network Protocols. Nov. 1995. pp. 305-312.
[31] Yamada M, Esaki S, Omiya T. A study on IN basic call state model for packet switched network[A], In IEEE Intelligent Network Workshop. Apr. 1996. Melbourne, Vic. Australia. Vol.2: pp. 196-258.
[32] El Ouahidi B, Bouhdadi M, Bourget D. Extending the Internet with the intelligent network capabilities[A]. In European Conference on Universal Multiservice Networks. Oct. 2000.??Colmar France. pp. 80-86.
[33] 孙其博，开放式综合智能网系统的研究．博士学位论文．通信与信息系统．北京邮电大学．Sep．2002．
[34] 孙其博，杨放春，苏森．支持IP电话信令的增强型智能网呼叫模型的研究[J]．北京邮电大学学报，2002．25(2)：pp．63-67．
[35] 李亚波，陈俊亮．基于通用呼叫控制模型的软交换体系设计[J]．通信学报，2003．24(3)：pp．78-85．
[36] EURESCOM, Project 916, Supporting of H.323 by IN[DB/OL].http://www.eurescom.de/,2001,
[37] ITU-TRecommendation H.245, Control Protocol for Multimedia Communication[S].Feb. 1998.
[38] 双锴，杨放春．基于软交换的一种通用呼叫控制模型的研究[J]．电子学报，2005．33(10)：pp．1757-1760．
[39] IETF RFC 2327. SDP: Session Description Protocol[S]. Mar. 1998.
[40] 3GPP TS 23.228 V5.10.0 IP Multimedia Subsystem[S]. 2003.[1] Luigi Logrippo. Immaturity and potential of formal methods: A personal view[A]. In Feature Interactions in Telecommunications and Software Systems Ⅵ(FIW 2000). May. 2000. Glasgow, Scotland, UK: IOS Press. pp. 9-13.
[2] Keck D O, Kuehn P J. The feature and service interaction problem in telecommunications systems: a survey[J]. IEEE Transactions on Software Engineering, 1998.24(10): pp. 779-796.
[3] Harrison M D, Duke D J. Review of formalisms for describing interactive behaviour[A], In Proceedings of the ICSE'94 Workshop on SE-HCL: Joint Research Issues. Lecture Notes in Computer Science. 1995. Sorrento: Springer-Verlag GmbH & Company KG. pp. 49.
[4] Yao Jianping. An introduction to three perspectives on formal specification review[A], In Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems. Jun. 2005. Shanghai: Institute of Electrical and Electronics Engineers Inc. pp. 8-9.
[5] Dietrich F, Hubaux J P. Formal methods for communication services: Meeting the industry expectations[J]. Computer Networks, Oct. 2002.38(1): pp. 99-120.
[6] 董护斌，面向实时系统的实时区域时态逻辑：RRTL．硕士学位论文．计算机软件与理论．西北大学．May．2002．
[7] Stoffel Dominik, Wedler Markus, Warkentin Peter. Structural FSM traversal[J]. IEEE Transactions on Computer-Aided Design oflntegrated Circuits and Systems, 2004. 23(5): pp. 598-619.
[8] K H Braithwaite, J M Atlee. Towards Automated Detection of Feature Interactions[A]. In Feature Interactions in Telecommunications Systems. May. 1994. Amsterdam: IOS Press. pp. 36-59.
[9] Sukhvinder Aujla, Tony Bryant, and Lesley Semmens. Applying Formal Methods Within Structured Development [J]. IEEE journal on selected areas in communications, Feb. 1994. 12(2): pp. 258-264.
[10] Wang Y, Pang J, Zha M.A Formal Software Development Approach[J]. Journal of Computer Science and Technology, May. 2001.16(3): pp. 251-262.
[11] Charatan Q. MOOr++: Modular object-oriented VDM[J]. Information and Software Technology, 2000. 42(4): pp. 275-280.
[12] Johan Blom, Bouma. Using Temporal Logic for Modular Specification of Telephone Services. In Feature Interactions in Telecommunications Systems. 1994. Amsterdam, Netherlands: IOS Press. pp. 197-216.
[13] 贲可荣．陈火旺．王兵山．命题时态逻辑矢列式演算系统[J]．中国科学A辑，1994．24(10)：pp．1092-1098．
[14] 张广泉．孙敏．时态逻辑的比较与分析[J]．渝州大学学报，1999．16(2)：pp．15-18．
[15] Kapus T, Brezocnik Z. TLA-style specification of a mobile network[A]. In Proceedings of the 23rd EUROMICRO(EUROMICRO 97). SCp. 1997. Budapest. pp. 440-447.[16] Lars Kempe. A Modular Specification of a Telephone System. Master of Science Thesis of Department of Computer Science, Uppsala University, Oct.1994.
[17] Lewi J, Vergauwen B. Formal verifications: an industrial case study. In Proceedings of Computer Systems and Software Engineering. May. 1992. Hague. pp. 208-213.
[18] J Nystrom, B Jonsson. A Formalization of Service Independent Building Blocks[A]. In Proceedings of Workshop Advanced Intelligent Networks (AIN '96). Mar. 1996. Passau, Universitat Passau. pp. 1-14.
[19] Stephan Merz, Martin Wirsing, Jǘlia Zappe. A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems. In Fundamental Approaches to Software Engineering (FASE 2003). Apr. 2003. Warsaw, Poland: Springer-Verlag Press. Voi.2621: pp. 87-101.
[20] Amir Pnueli. System Specification and Refinement in Temporal Logic[A]. In Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science. Lecture Notes in Computer Science. 1995: Spdnger-Verlag Press. Vol.652: pp. 1-38.
[21] Amy P Felty, Kedar S Namjoshi. Feature specification and automated conflict detection[J]. ACM Transactions on Software Engineering and Methodology (TOSEM), Jan. 2003.12(1): pp. 3-27.
[22] Yiqin L, Gang Wei. Managing feature interactions in telecommunications systems by temporal colored Petri nets[A]. In Proceedings of Seventh IEEE International Conference on Engineering of Complex Computer Systems. Jan. 2001. Sweden. pp. 260-269.
[23] 罗军舟，沈俊，顾冠群．从Petri网到形式描述技术和协议工程[J]．软件学报，2000．11(5)：pp．606-615．
[24] JIANG Chang-jun, LU Wei-ming. On Properties of Concurrent System Based on Petri Net Language[J]. 2001.12(4): pp. 512-520.
[25] 袁崇义，Petri网原理与应用[M]，北京：电子工业出版社．2005．
[26] Ma J, Knight B. Reified temporal logics: An overview[J]. Artificial Intelligence Review, 2001. 15(3): pp.189-217.
[27] Augusto J C. The logical approach to temporal reasoning[J]. Artificial Intelligence Review, Dec. 2001.16(4): pp. 301-333.
[28] Farn Wang. Formal verification of timed systems: a survey and perspective[J]. Proceedings of the IEEE, Aug. 2004. 92(8): pp. 1283-1305.
[29] 张广泉．计算机网络通信协议的一种形式化描述技术[J]．重庆师范学院学报(自然科学版)，Mar．1999．16(1)：pp．27-30．
[30] Salamah, Gates Ann, Roach Steve. Verifying pattem-generated LTL formulas: A case study[A]. In 12th International SPIN Workshop on Model Checking Software. Lecture Notes in Computer Science. Aug. 2005. San Francisco, CA:Springer Verlag Press. Vol.3639: pp. 200-220.
[31] Ding Yulin, Zhang Yah. A logic approach for LTL system modification[A]. In 15th International Symposium on Methodologies for Intelligent Systems. Lecture Notes in??Artificial Intelligence (Subseries of Lecture Notes in Computer Science). May. 2005. Saratoga Springs, NY: Springer Verlag Press. Vol.488: pp. 435-444.
[32] Bolotov, Alexander, Fisher. Resolution method for CTL branching-time temporal logic[A]. In Proceedings of the International Workshop on Temporal Representation and Reasoning. May. 1997. Daytona Beach. pp. 20-27.
[33] Bourahla Mustapha, Benmohamed Mohamed. Distributing state space for parallel computation of CTL model checking[J]. Theoretical Computer Science, Nov. 2004.28(3): pp. 297-305.
[34] Allen J F, Ferguson G. Actions and Events in Interval Temporal Logic[J]. Journal of Logic and ComputationJournal of Logic and Computation, Oct. 1994.4(5): pp. 531.
[35] Leslie Lamport. Introduction to TLA. Dec. 1994.
[36] Ernie Cohen, Leslie Lamport. Reduction in TLA[A]. In CONCUR'98 Concurrency Theory. Lecture Notes in Computer Science. May. 1998. Vol.1466: pp. 317-331.
[37] Stephan Merz. A More Complete TLA[A]. In Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume Ⅱ. Lecture Notes In Computer Science. 1999: Springer-Verlag Press. Vo!.1709: pp. 1226-1244.
[38] Manna Zohar, Pnueli, Amir. Completing the Temporal Picture[J]. Theoretical Computer Science, Part B: Logic, Semantics and Theory of Programming, Jun. i 991.83(1): pp. 97-130.
[39] Leslie Lamport. The temporal logic ofactions[J]. ACM Transactions on Programming Languages and Systems (TOPLAS), May. 1994. 16(3): pp. 872-923.
[40] Martin Abadi, Stephan Merz. On TLA as a logic[A]. In Proceedings of the NATO Advanced Study Institute on Deductive program design. 1996: Springer-Verlag Press. pp. 235-271.
[41] Johan Blom, Roland N, Lars Kempe. Automatic Detection of Feature Interactions in Temporal Logic [A]. In Feature Interactions in Telecommunications III. 1995. Kyoto, Japan: IOS Press. pp. 1-19.