收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

智能网业务逻辑的一种验证方法

张国庆  马玉祥  
【摘要】:智能网业务逻辑在不同的平面中有不同的表示.在总功能平面中,有一组总业务逻辑(GSL),它说明了完成各个业务独立模块(SIB)链接在一起的次序;在分布功能平面中,分布业务逻辑(DSL)是实现SIB功能时各个功能实体的动作和各个功能实体间的信息流;在物理平面中,包含业务控制功能(SCF)的物理实体执行业务逻辑程序.通信有限状态机模型是由表示进程的有限状态机和表示进程之间通道的先进先出队列(FIFO)组成.本文利用通信有限状态机(CFSM)模型描述智能网业务逻辑(SL),并给出了通过业务逻辑的CFSM模型验证业务逻辑正确性的一种方法.

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 甄少鹏;;浅析SSH架构[J];湖南农机;2011年05期
2 黎世红;程耕国;;基于XSLT和XML改进的Struts框架研究[J];信息技术;2011年08期
3 王安庆;;Spring应用[J];电脑知识与技术;2011年26期
4 刘丹;;基于Struts,Spring,Ibatis框架的商品进销存管理系统研究[J];软件导刊;2011年06期
5 蔡顶;;郑州电视台全台网互联平台系统分析[J];信息通信;2011年04期
6 冯大辉;;架构师接龙 洪强宁vs.邝宇恒[J];程序员;2010年09期
7 陈蕊;;浅谈企业信息化建设规划[J];内蒙古科技与经济;2011年12期
8 王莉娜;;基于J2EE的三层WEB应用开发[J];江苏教育学院学报(自然科学版);2010年01期
9 张瑞;霍特;;基于SOA的EOS在电信行业中的应用[J];数字技术与应用;2011年08期
10 吴亚军;;试析ASP.NET的MVC开发模式[J];电脑编程技巧与维护;2011年14期
11 许阳寅;;渐进增强的前端优化[J];程序员;2010年11期
12 朱鹏;王涛;黄必清;吴澄;吴芸;;医疗业务系统改造中的逆向工程方法[J];清华大学学报(自然科学版);2011年04期
13 张旸;;C++对象生命周期的维护[J];信息与电脑(理论版);2011年06期
14 张杰;石春玲;周立军;;采用Ajax框架EXTjs整合Struts Web应用[J];自动化技术与应用;2011年06期
15 王小强;;基于jQuery框架的Web2.0前台开发实践[J];福建电脑;2011年06期
16 史先进;;基于网站群或多网站的网站流量统计分析系统的设计[J];郑州轻工业学院学报(自然科学版);2011年03期
17 王美琴;;基于Struts、Spring和Hibernate的J2EE框架整合方法探讨[J];电脑知识与技术;2011年24期
18 吴飞;;反射技术在数据实体和界面布局松耦合设计中的应用[J];地理空间信息;2011年04期
19 魏涛;;共同开创建筑业信息化的新纪元[J];中国建设信息;2011年16期
20 林晓勇;糜正琨;赵康;张奇;;基于ICT中间件的电信级网络传真运营系统[J];电信科学;2011年07期
中国重要会议论文全文数据库 前10条
1 张国庆;马玉祥;;智能网业务逻辑的一种验证方法[A];开创新世纪的通信技术——第七届全国青年通信学术会议论文集[C];2001年
2 徐玮;成伟华;严志民;张亮;;基于ACOM模型的业务逻辑变更研究[A];第26届中国数据库学术会议论文集(B辑)[C];2009年
3 陈典全;;智能网业务创建环境的设计与实现[A];四川省通信学会1997年学术年会论文集[C];1997年
4 赵芸;司华友;莫路锋;;基于用例本体建模的服务自动组合方法研究[A];计算机技术与应用进展·2007——全国第18届计算机技术与应用(CACIS)学术会议论文集[C];2007年
5 胡晓鹏;李晓航;李岗;;一类复杂关联铁路报表软件的设计[A];中国电气化铁路两万公里学术会议论文集[C];2005年
6 易可可;王威;季强;;基于E-MVC模型的企业级Web应用研究[A];自动化技术与冶金流程节能减排——全国冶金自动化信息网2008年会论文集[C];2008年
7 李章漾;杨榆;;使用Hibernate完善的Struts框架的设计与实践[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(下)[C];2006年
8 陈建峡;;Struts框架在Web程序设计中的应用[A];2005年十二省区市机械工程学会学术年会论文集(湖北专集)[C];2005年
9 喻志虎;邹华;杨放春;;Parlay应用服务器的软件容错研究与设计[A];2004年全国通信软件学术会议论文集[C];2004年
10 何象林;陈娇娇;李昆蔓;何婧;;基于DSC的MVC模式描述及应用研究[A];中国电子学会第十六届信息论学术年会论文集[C];2009年
中国博士学位论文全文数据库 前10条
1 满君丰;开放网络环境下软件行为监测与分析研究[D];中南大学;2010年
2 许可;网格服务流的状态π演算形式化验证技术研究与应用[D];清华大学;2007年
3 刘奕明;基于体系结构、特征驱动的软件动态演化方法研究[D];复旦大学;2008年
4 陈华;基于复合代码仓库的多Agent程序理解环境和工具研究[D];浙江大学;2004年
5 张静;支持业务流程变化的软件系统构建方法研究[D];山东大学;2007年
6 宋琦;共享网络条件下移动业务提供的关键问题研究[D];北京邮电大学;2006年
7 包铁;网络数据采集处理方法及形式化研究[D];吉林大学;2007年
8 贾鹏;面向业务的下一代光网络体系研究[D];北京邮电大学;2007年
9 于明远;网格服务应用模型的关键技术研究[D];华中科技大学;2009年
10 双锴;下一代网络业务控制能力的研究[D];北京邮电大学;2006年
中国硕士学位论文全文数据库 前10条
1 吴学磊;业务逻辑重构方法的应用研究[D];大连海事大学;2010年
2 李天午;基于模式的业务逻辑框架研究[D];哈尔滨工程大学;2011年
3 张国庆;智能网业务逻辑验证技术的研究及其仿真实现[D];西安电子科技大学;2002年
4 安慧斌;医疗系统框架的研究与实现[D];大连交通大学;2010年
5 袁虹;医药商业药品物流管理系统分析与设计[D];电子科技大学;2010年
6 刘华利;非急勿扰业务的设计与实现[D];北京邮电大学;2011年
7 陈雪;3G拨测系统的设计与实现[D];电子科技大学;2010年
8 康风景;基于J2EE的用户培训管理系统[D];西安工业大学;2011年
9 刘茜茜;可重构三层结构应用系统的设计与实现[D];西北工业大学;2004年
10 肖寅;可重构应用服务器的脚本语言及其编译器设计与实现[D];西北工业大学;2006年
中国重要报纸全文数据库 前10条
1 苏选良;业务逻辑应与软件逻辑相统一[N];中国计算机报;2007年
2 ;了解SOA架构[N];网络世界;2007年
3 东经集团CIO 王甲佳;流程最终应向业务逻辑妥协[N];中国计算机报;2008年
4 彭谦;“组装”寿险应用[N];计算机世界;2006年
5 神州数码软件有限公司 张坤;SOA有3个不同的成熟级别[N];中国计算机报;2008年
6 王甲佳;从“一刀准”看业务耦合[N];中国计算机报;2008年
7 董乃文;ERP的新技术特点[N];中国计算机报;2002年
8 周军;帮助电信企业留住大客户[N];中国计算机报;2006年
9 博文译;业务规则:为BI添智能[N];计算机世界;2007年
10 孙磊;四川移动健全梦网业务拨测机制[N];人民邮电;2007年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978