【摘 要】
：
为对电信服务系统的特征交互问题进行精确、简洁的形式化描述,提出将Z语言应用于该问题的研究。对3种主要特征交互类型进行形式化描述,包括完整性破坏、相同触发条件和坏循环
【机 构】
：
广东石油化工学院实验教学部,广东石油化工学院理学院,华为技术有限公司
【基金项目】
：
广东石油化工学院青年自然科学基金资助项目(513023)
论文部分内容阅读
为对电信服务系统的特征交互问题进行精确、简洁的形式化描述,提出将Z语言应用于该问题的研究。对3种主要特征交互类型进行形式化描述,包括完整性破坏、相同触发条件和坏循环类型。针对特征交互的具体案例,通过Z语言得到精确、无歧义的形式化规格,分别描述各业务之间的交互过程,并在Z规格的基础上对其进行分析及形式化验证。研究人员可根据特征交互的形式化规格及验证结果掌握系统内部的冲突和缺陷,从而有效预防和解决电信系统特征交互问题,保障基础系统和新增功能模块的稳定性。
其他文献
建立同时测定蒙药草乌叶中4种双酯型二萜生物碱北草乌碱、新乌头碱、次乌头碱和乌头碱含量的色谱方法,用于指导草乌叶的质量控制。以北草乌碱、新乌头碱、次乌头碱和乌头碱为
以抗白叶枯病的华恢20(携带Xa7和Xa21基因)和抗螟虫的T1c-19(携带cry1C*基因)为供体,分别与先恢207进行杂交、回交和复交,运用分子标记辅助选择技术,将白叶枯病抗性基因Xa7、
"书读百遍其义自见。"阅读教学的重要性毋庸置疑,教师对阅读资源进行优化,对阅读教学方法进行科学地筛选,为学生创造更好的阅读条件,可以从不同视角出发,激发学生阅读兴趣。
本文简要介绍了高炉修补压入料的特性 ,采用特级矾土、棕刚玉、致密电熔刚玉和磷酸二氢铝为主要原料 ,加入适当的辅助原料及添加剂 ,研制出了性能指标优良的压入料。
为解决悬索桥有限元模拟与施工控制相结合的难题,介绍一种鞍座顶推单元的模拟方法,将对施工控制的顶推力及顶推位移提供便利性;考虑倒拆与正装分析存在的不闭合现象,提供一种
正值春节，精美饮食为中国人过节的第一要义。李渔《闲情偶寄》关于饮食的体悟可供我们借鉴：他的饮食美学不是形式主义的外在追求，不是技术主义的烹饪指南，不是厚味奇滋的奢侈美食
<正>中南林业科技大学产品设计专业简介:产品设计专业依托湖南省重点学科——设计学,坚持绿色教育理念,注价值塑造、知识传授和能力提升,培养身心康、勇于担当、知识专博得兼
近几年,随着非物质文化遗产的保护与开发不断受到重视,非物质文化遗产旅游在全国不断兴起和壮大。本文在国内外现有研究基础上,结合山东省莱芜市的实际情况,对该区域非物质文
目的观察强肝胶囊治疗非酒精性脂肪肝湿热蕴结证的有效性。方法60例患者服用强肝胶囊3个月后,观察治疗前后脂肪肝的改善情况。结果临床治愈率为26.67%,有效率为75.00%。强肝
在2017年,我国证监会对保本基金的指导意见进行调整,更名为避险策略基金。文章就保本基金的产品特点、运作特点进行分析,论述保本基金改名的原因及未来发展前景。