OWL-S到Z规格说明的转换

来源 :应用科学学报 | 被引量 : 0次 | 上传用户:zylalazy
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
OWL-S是重要的Semantic Web Service描述框架,但缺乏有效的形式化验证工具.Z语言是基于集合论和一阶谓词逻辑的形式化规格说明语言,比OWL-S具有更强的表达力.该文研究基于Z的OWL-S形式化方法,提出从OWL-S到Z规格说明的模型转换规则.基于这些规则,用Z定义OWL-S中概念的形式化语义,并开发了从OWL-S描述到Z规格说明的自动转换工具OWLS2Z.
其他文献
丰花玫瑰(牡丹玫瑰)是平阴玫瑰研究所利用杂交手段培育成的玫瑰新品种。该品种1998年通过山东省科技厅组织的专家鉴定。定名为丰花玫瑰。
期刊
通信接收机的前置窄带滤波器波改变了非高斯脉冲噪声的幅度统计特性,B类噪声模型可以很好地描述窄带非高斯噪声幅度概率分布.该文提出一种基于特征函数谱的B类噪声模型参数估计
分布参数系统的状态在空间上连续分布,但因传感器个数有限,难以获取其全部状态.对此,该文针对抛物线型分布参数系统,根据有限个传感器点的测量信息,提出一种重构系统全部状态的方法并证明其可行性.仿真结果表明,该方法在已知系统模型但未知初始状态的情况下可取得很好的状态重构效果,而且与分布参数状态观测器相比,只需要离散的传感器信息就能获得对系统初期状态的更好重构.
风格的传译是文学翻译过程中不可缺少的部分,风格最终要通过语言符号来表现。功能对等理论要求翻译要在意义和风格上寻找“最近似的自然等值”。以功能对等理论作为评价风格传
对植物染色体倍性的间接、直接鉴定方法进行了综述,并对各种方法的优越性和不足之处进行了评述。指出:植物染色体倍性鉴定应因陋就简,多采用早期鉴定和破坏性较小的鉴定方法,
从艺术角度看,竞技篮球运动是一种特殊的艺术形态,它是在有限的时间和空间范围内,以经过组织、美化了的运动员技术动作和战术行为作为艺术表现手段,运用运动员在场上的创造性活动
提出了一种改进的基于图形运算单元(graphic processing unit,GPU)的体绘制方法,可用于影像数据的交互级可视化.利用基于2D轮廓线的面绘制算法,提取包含用户感兴趣数据的闭合曲面,并将它作为基于GPU的光线投射算法的代理几何面,进行快速体绘制.通过代理几何面的绘制可减少光线的数量及采样长度,节省光线投射算法的时间.将该方法应用于医学、工业等领域得到的数据结果表明,该方法在保证有
多年来,农村动物疫病的监控一直处于薄弱环节,村级动物防疫员也面临着人员少、年龄大、素质低、精力差等问题,稍有不慎,就有可能发生口蹄疫、蓝耳病、猪瘟等疫病。为了降低风险,胶
现有动态功耗管理预测性策略基于部件空闲时间前后的关联性进行预测,在系统随机服务请求环境下面临失效.该文从概率统计的角度提出基于空闲时间能耗期望的预测策略,该策略使