文摘
英文文摘
声明
关于论文使用授权说明
第一章绪论
1.1智能网的发展
1.2 CORBA技术的发展
1.3智能网业务的验证
1.4论文完成的任务
第二章智能网基本原理
第三章CORBA技术在智能网中的应用
3.1应用背景
3.2 CORBA对象环境
3.3基于CORBA的分布式智能网
3.3.1基于CORBA的分布式智能网结构
3.3.2基于CORBA业务对象的智能网业务实现
第四章智能网业务的设计
4.1业务逻辑的系统设计
4.1.1业务逻辑的实现策略
4.1.2 GSL表、EDP表和SIB表的设计
4.1.3业务逻辑的运行机制
4.2相关的CORBA对象设计
4.2.1仿真环境CORBA对象交互的方案设计
4.2.2仿真环境相关CORBA对象和业务逻辑对象细节设计
第五章业务逻辑验证的研究
5.1智能网业务分析
5.2规范
5.3规范的应用实例
5.4 Petri网模型的推导
5.5用有界Petri网的分层可达性图分析上述的Petri网
5.5.1分层可达性图简介
5.5.2定义和记法
5.5.3可达性分析和死锁分析
5.5.4应用举例
附录
结束语
致谢
参考文献