欢迎来到优发表,发表咨询:400-888-9411 订阅咨询:400-888-1571股权代码(211862)

SCI投稿辅导 SCI发表咨询

电信服务系统特征交互的Z规格及验证

作者:彭展; 梁根; 周炳 广东石油化工学院实验教学部; 广东茂名525000; 广东石油化工学院理学院; 广东茂名525000; 华为技术有限公司; 广东深圳518129

摘要:为对电信服务系统的特征交互问题进行精确、简洁的形式化描述,提出将Z语言应用于该问题的研究。对3种主要特征交互类型进行形式化描述,包括完整性破坏、相同触发条件和坏循环类型。针对特征交互的具体案例,通过Z语言得到精确、无歧义的形式化规格,分别描述各业务之间的交互过程,并在Z规格的基础上对其进行分析及形式化验证。研究人员可根据特征交互的形式化规格及验证结果掌握系统内部的冲突和缺陷,从而有效预防和解决电信系统特征交互问题,保障基础系统和新增功能模块的稳定性。

注:因版权方要求,不能公开全文,如需全文,请咨询杂志社

计算机工程

北大期刊 下单

国际刊号:1000-3428

国内刊号:31-1289/TP

杂志详情
相关热门期刊
  • 电信快报
    北大期刊 下单

    国际刊号:1006-1339

    国内刊号:31-1273/TN

  • 电信科学
    北大期刊 下单

    国际刊号:1000-0801

    国内刊号:11-2103/TN

  • 电信建设
    北大期刊 下单

    国际刊号:1009-9336

    国内刊号:11-4603/TN

  • 电信技术研究
    北大期刊 下单

服务介绍LITERATURE

正规发表流程 加急见刊

多年专注期刊服务,熟悉发表政策,投稿全程指导。因为专注所以专业。

保障正刊 双刊号

推荐期刊保障正刊,评职认可,企业资质合规可查。

用户信息严格保密

诚信服务,签订协议,严格保密用户信息,提供正规票据。

不成功可退款

如果发表不成功可退款或转刊。资金受第三方支付宝监管,安全放心。