基于CORBA的智能网业务逻辑设计和业务验证的研究
该文研究了基于CORBA的智能网业务生成技术,提出了基于CORBA的分布式智能网体系结构.同时该文给出了CORBA平台上智能网业务的系统设计,既提出利用GSL(全局业务逻辑)表、SIB(业务独立构件)表和EDP(事件检测点)表等来实现业务逻辑.相关CORBA对象(如SIB对象、SSD(业务支持数据)对象、FSM(有限状态机)对象和业务逻辑对象等)的设计和AAB(自动更换帐单)等业务的设计也被给出.该文还研究了智能网业务的验证技术,提出了一种描述智能网业务的规范,并将规范中涉及并发、同步等的描述转化成Petri网模型,探讨了在该模型上的验证方法.
智能网;CORBA;Petri网
西安电子科技大学
硕士
计算机系统结构
马玉祥
2001
中文
TP393
54
2004-04-08（万方平台首次上网日期，不代表论文的发表时间）