【摘 要】
：
随着网络式软件复杂程度的日益增加，如何确保网络式软件功能和性能的正确性越发重要。根据网络式软件的特点，在RGPS需求元建模框架的指导下，提出RGPS服务层元模型正确性验证。首
【机 构】
：
浙江长征职业技术学院计算机与信息技术系,浙江传媒学院新媒体学院
【基金项目】
：
浙江省教育厅一般科研项目（2016）}浙江省教育中心2014年研究课题（JA049）
论文部分内容阅读
随着网络式软件复杂程度的日益增加，如何确保网络式软件功能和性能的正确性越发重要。根据网络式软件的特点，在RGPS需求元建模框架的指导下，提出RGPS服务层元模型正确性验证。首先用BPEL语言和WSDL语言把RGPs服务层元模型描述成BPEL模型，再用Promela语言实现BPEL模型的建模，最后输入LTL公式对RGPS服务层元模型进行安全性和活性验证分析。以城市交通出行系统为例，采用RGPS需求元模型为框架，构建城市交通出行系统服务层元模型。
其他文献
<正>随着企业经济活动的日益复杂化、国际化和市场化程度的不断加深,市场竞争更加激烈,企业面临的法律风险也越来越大。在这种大背景下,煤炭企业进一步深化改革,加快发展,提
社区商业作为聚焦"最后一公里经济",应该成为基层民生保障的重要力量。天津社区商业发展在一定程度能满足居民的生活必需,但在疫情防控中却凸显出需进一步改进的问题。为答好
《编译原理》是计算机专业重要的课程之一。该课程内容抽象、题目类型丰富、解题过程复杂、学习难度较大,在线练习是提高教学质量的有效手段,但练习题图多、表多、符号多、产
依据《房产测量规范》（GB/T17986.1-2000）之规定及《房屋登记办法》有关房屋登记面积要求,成套房屋建筑面积由房屋的套内建筑面积和共有建筑面积两部分组成。现执行《房产测量
结合近年来我国住区建设中群众参与的特点,在分析住区建设公众参与的可能性、必要性和可行性的基础上,提出住区建设的公众参与模式.
The dynamic transmission characteristics and the sensitivities of the three stage idler gear system of the new NC power turret are studied in the paper. Conside
当下,语文教学主要涉及'教什么'和'怎么教'两个问题。站在课程高度来教学,语文教师首先要树立语文自觉意识,其次要坚持学生立场,这是当前语文教学必须遵循的
<正> 贵州建省以来的590年历史长河中,曾出现过多次经济发展的机遇。其中以20世纪30～40年代中期的八年抗战时期,出现了一次难得的好机遇,且被当时的政府主持人看到了,抓住了,
梅花鹿是一个天然的“中药材宝库”,其中,鹿血在补虚、补血、益精、健胃等方面具有显著的功效,而血清白蛋白是鹿血浆中含量最多的蛋白质,在鹿血的功效成分中占有重要的地位。
针对NJW算法计算量大和分水岭算法易产生过分割现象且对噪声敏感的问题,提出一种有效且鲁棒的方法,即阈值形态学分水岭结合谱聚类（SC）算法对MRI图像进行分割。使用Frost滤波结