【摘 要】
：
网络上使用的软硬件可能来自于不同的公司，它们的互操作直接关系到网络是否可以提供期望的服务.由于网络上使用的软硬件大多已经经过一定的一致性测试，因此对于它们的互操作性
【机 构】
：
内蒙古大学 计算机学院，内蒙古呼和浩特市 010021 内蒙古大学 网络信息中心，内蒙古呼和浩特市 010021
论文部分内容阅读
网络上使用的软硬件可能来自于不同的公司，它们的互操作直接关系到网络是否可以提供期望的服务.由于网络上使用的软硬件大多已经经过一定的一致性测试，因此对于它们的互操作性测试应该侧重希望的属性.本文提出从协议的Petri网入手，通过复合Petri网描述互操作的系统模型.在构建复合模型的过程中，提出了一种新的复合方法，借助消息交互序列进行模型的复合，在一定程度上减弱了常规方法可能带来的无用状态及可能的状态爆炸.基于复合模型得到的Petri网模型提出了义务属性、交互属性及可扩展属性的形式化、半形式化定义.基于复合Petri的可达图，给出了覆盖各个属性的可执行测试序列的生成算法.本文使用BRP(Boundcd Retransmition Protocol)协议展示了提出方法的有效性，由示例也可以看出本文的方法较比传统的方法而言侧重点更强，算法的复杂度更低.
其他文献
中东作为世界黄金珠宝集散中心,是中国黄金珠宝业向外开拓的国际市场.西部黄金珠宝文化产业园正是借助宁夏与中东国家政策贸易背景、民族宗教环境优势及银川综合保税区各项优
美国的一个硅谷观察家说了一句话,说如果美国能从中国学到微创新的要领,还能有转机.反之,则会一败涂地.过去几年微创新其实已经变成了互联网的主流词汇,也是大家行动的第一秘
优化公平交换协议是保证互不信任的主体通过开放的Internet进行电子商务活动的有效方法之一.本文基于Waters数字签名方案，提出一个基于身份的可验证加密签名方案，并且在标准模
年轻的立兰只有一款酒,览翠,一出世便艳惊四座,吸引了很多想一探究竟的访客,即使是不懂品鉴葡萄酒的人,也容易发现它的妙处当然也包括我年轻的立兰酒庄只有一款酒,名叫“览翠
随着人们生活水平的提高,一种称之为痛风的疾病开始被人们认识、了解,而且患病的人群在逐步增多,并且痛风疾病逐渐趋于年轻化,已引起社会的广泛关注.中华医学会风湿病学分会
同步机制是片上多核/众核处理器正确执行和协同通信的关键,其效率对处理器的性能非常重要.针对片上众核体系结构,提出并实现了两种粗粒度同步机制和一种细粒度同步机制,即片
从2000年以后,随着宽带数字光传输器件技术以及数字视频技术的飞速发展,数字光端机开始走向市场。将模拟信号先进行数字化处理后再进行传输,不仅能解决模拟光端机的诸多问题,
云计算环境下面向流程的数据密集型应用已被广泛应用于多个领域.面对多数据中心的云计算环境，这类应用在数据布局方面遇到了新的挑战，主要表现在应用执行过程中不可避免的需要
我国已经进入了经济发展新常态.如何保持土地“健康”与生态环境、农产品质量、城镇化、科技治理、国际竞争之间的均衡迫在眉睫土地“健康”是指土地维持自身正常新陈代谢的
面向个人的互联网服务是目前互联网业务的主流应用.当前该类应用存在日益严重的垄断趋势，进一步导致用户数据丢失，且整体互联网服务存在无序失控的风险. 论文在全面归纳内容