基于CORBA的智能网业务逻辑设计和业务验证的研究

摘要

该文研究了基于CORBA的智能网业务生成技术,提出了基于CORBA的分布式智能网体系结构.同时该文给出了CORBA平台上智能网业务的系统设计,既提出利用GSL(全局业务逻辑)表、SIB(业务独立构件)表和EDP(事件检测点)表等来实现业务逻辑.相关CORBA对象(如SIB对象、SSD(业务支持数据)对象、FSM(有限状态机)对象和业务逻辑对象等)的设计和AAB(自动更换帐单)等业务的设计也被给出.该文还研究了智能网业务的验证技术,提出了一种描述智能网业务的规范,并将规范中涉及并发、同步等的描述转化成Petri网模型,探讨了在该模型上的验证方法.

目录

文摘

英文文摘

声明

关于论文使用授权说明

第一章绪论

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应用举例

附录

结束语

致谢

参考文献