公共文化服务平台

共 3 条记录，以下是 1-3

全选清除导出

排序方式：

基于时间自动机的物联网服务建模和验证被引量：48: 2011年; 物联网服务的建模和验证是当前物联网服务提供中的一个重要问题.文中将物联网服务的行为建模为其与相关环境实体的交互,并引入环境实体以刻画物理世界各种物体的属性和行为,从而将物联网服务能力建模为它能够导致的环境实体发生的期望变化.文中以时间自动机为建模工具,分别为将要监测和要控制的物理环境实体以及不同种类的物联网服务独立建模,以表现它们的独立性和自主性.这些时间自动机形成一个网络,刻画完整的物联网服务的通信并发过程,物联网服务的实施过程表现为时间自动机网络上的状态变迁通路.最后,文中提出一组物联网服务要满足的性质,并利用模型检测工具UPPAAL验证物联网服务的正确性.; 李力行金芝李戈; 关键词：时间自动机环境实体

基于网络信息搜索的Web Service文本描述信息扩充方法被引量：4: 2012年; 随着Web服务技术的不断成熟和发展,互联网上出现了大量的公共Web服务.在使用Web服务开发软件系统的过程中,其文本描述信息(例如简介和使用说明等)可以帮助服务消费者直观有效地识别和理解Web服务并加以利用.已有的研究工作大多关注于从Web服务的WSDL文件中获取此类信息进行Web服务的发现或检索,调研发现,互联网上大部分Web服务的WSDL文件中普遍缺少甚至没有此类信息.为此,提出一种基于网络信息搜索的从WSDL文件之外的信息源为Web服务扩充文本描述信息的方法.从互联网上收集包含目标Web服务特征标识的相关网页,基于从网页中抽取出的信息片段,利用信息检索技术计算信息片段与目标Web服务的相关度,并选取相关度较高的文本片段为Web服务扩充文本描述信息.基于互联网上的真实数据进行的实验,其结果表明,可为约51%的互联网上的Web服务获取到相关网页,并为这些Web服务中约88%扩充文本描述信息.收集到的Web服务及其文本描述信息数据均已公开发布.; 王立杰李萌蔡斯博李戈谢冰杨芙清; 关键词：WEB服务

一种构件标签自动提取方法及其实现: 2010年; 基于构件的软件复用的前提之一是存在并能够找到大量可复用的构件,软件构件库是对软件构件进行管理的基础设施,其作用是对大量构件进行管理,并辅助软件开发者找到合适的构件.在构件库中,基于构件标签的分类管理是一种新型的构件信息分类管理方法,该方法使用构件标签（Tag）对构件进行管理,并支持用户通过选择标签进行构件检索,该方法能够更直接的反应构件的特性,并能够有效提高检索效率.然而,由于构件库中许多构件没有构件标签,而通过人工的方法为构件库中存在的构件资源添加标签需要耗费大量的时间和人力资源,特别是当构件数量较大时,通过人工方式为构件添加标签是难以实现的.因此本文提出了一种基于分类的构件标签自动提取方法,该方法能够根据构件描述信息自动提取构件标签.本文对基于该方法的构件标签自动提取工具的实现进行了论述,并通过实验验证了该工具的有效性.; 刘飞王立杰李戈赵俊峰谢冰; 关键词：软件复用构件库

全选清除导出

共1页<1>

国家自然科学基金(60803010)