论文部分内容阅读
基于RGPS服务层元模型的特征,本文提出了一种形式化方法来验证元模型的活性.首先,用BPEL语言描述RGPS服务层元模型.接着,实现BPEL语言与Promela语言的转换.最后,用Spin工具验证RGPS服务层元模型的活性.
RGPS服务层元模型活性验证
【摘 要】
：
基于RGPS服务层元模型的特征,本文提出了一种形式化方法来验证元模型的活性.首先,用BPEL语言描述RGPS服务层元模型.接着,实现BPEL语言与Promela语言的转换.最后,用Spin工具验
【机 构】
：
310018,浙江传媒学院新媒体学院 浙江 杭州
【出 处】
：
数字化用户
【发表日期】
：
2017年36期
其他文献
本文针对群众文化在新农村建设中的作用进行了深入的研究分析,结合本次研究,发表了一些自己的建议看法,希望可以将群众文化的作用发挥出来,更好的促进新农村的建设.
随着现代电子信息技术的不断发展,数字出版业获得了高速的发展,人们越来越习惯于使用数字出版的产物进行阅读,但是观察传统出版与数字出版的关系可以发现,二者并不是处于绝对
压力表是以弹性元件为敏感元件,测量并指示被测量对象压力的仪表,主要应用于液体、气体、蒸汽压力和真空的测量,广泛用于工业流程和科研领域.压力表的检定是指根据国家计量检
新形势下和谐社会建设步伐的加快,为广场舞发展注入了活力,丰富了群众的业余活动内容.实践过程中为了提高对广场舞的正确认识,需要了解其在群众文化发展中的地位和作用,并从
随着水资源压力日益增长,太阳能节水灌溉技术在农业灌溉中的应用得到了广泛重视.本文将对太阳能自动灌溉系统的设计和实现进行研究,主要分析了太阳能自动灌溉系统的整体构成
在新时期,人们要求电视新闻栏目的质量必须提高,为了达到人们的需求,新闻编辑也必须具备更高的工作素养与能力.现结合新时期电视新闻的特点分析新闻编辑必须具备的四项工作素
党的十八大以来,习近平总书记紧紧围绕坚持和发展中国特色社会主义,站在党和国家全局高度,对意识形态工作作出一系列重要论述,提出一系列新思想、新观点、新论断,深刻阐明意
期刊
为了能够有效的优化线性代数迁移系统,本文提出了线性代数迁移系统的迹等价.首先,把线性代数程序引入到迁移系统中得到线性代数迁移系统.接着,给出了线性代数迁移系统的等价
针对高职在校生和老师在学习和教学等方面的需求,根据移动终端的设计思想,对慕课平台进行了研究与设计.本文首先介绍了慕课平台的应用前景,接着从三个方面介绍了移动终端的慕