【摘 要】
：
物联网是物理世界和信息世界的无缝融合，它将信息世界的快速发展能力带到了物理世界，促使信息与实体服务方式发生深刻的变革。物联网服务的正确建模和验证需要统一描述现实世界中的物理实体和计算机中的软件系统。鉴于这一需求的复杂性，现有的物联网分析模型大都割裂了物理世界与信息世界，因此不能准确反映物联网服务区别于Web服务的重要特征。解决这一问题，是促进物联网服务能够真正向智能、可靠发展的先决条件。本文利用混
【机 构】
：
复旦大学 计算机科学技术学院, 上海 200433
【出 处】
：
2012年第三届中国计算机学会服务计算学术会议
论文部分内容阅读
物联网是物理世界和信息世界的无缝融合，它将信息世界的快速发展能力带到了物理世界，促使信息与实体服务方式发生深刻的变革。物联网服务的正确建模和验证需要统一描述现实世界中的物理实体和计算机中的软件系统。鉴于这一需求的复杂性，现有的物联网分析模型大都割裂了物理世界与信息世界，因此不能准确反映物联网服务区别于Web服务的重要特征。解决这一问题，是促进物联网服务能够真正向智能、可靠发展的先决条件。本文利用混成系统对信息系统的离散指令与物理设备连续行为刻画能力，提出一种基于混成系统理论的物联网服务建模与验证框架，其中原子服务由物理设备与相应的控制系统共同组成的混成系统构成，组合服务再由分布式混成系统组织各原子服务构成。这一物联网服务建模与验证框架有效地统一了物理设备、控制系统与组合服务系统，从而具备了对物联网服务的深度建模与全面验证能力。
其他文献
应用偏好进行服务选择是web领域的重要研究方向。在偏好研究中，偏好信息的获得是一个复杂的过程，特别是获取的过程涉及到普通的非专家用户。获取的偏好经常会遇到偏好不完整，偏好冲突的问题，在实际应用中带来很多的问题。本文以条件偏好表示工具CP-net建模用户的偏好，总结了CP-net中出现的不确定性，定义了偏好不完整，偏好冲突。提出了CP-net对应的结果集合上的最优关系与弱化的最优关系。通过CP-ne
近年来随着电子商务等服务业的迅速发展，服务资源的调度问题已经成为服务计算研究的一个重点。在物流配送服务业中，车辆调度问题日渐呈现任务大规模，车辆多类型、多属性，调度实时性要求越来越高等特点。针对这些问题，文中提出了基于近似动态规划的动态车辆调度算法。根据当前的任务需求与车辆状态以及相应的约束条件做出相应的调度，并且采取一些取样进行训练，得到一个近似价值函数。通过此价值函数，即可对任务做出相应迅速决
近年来，标签和标签系统对于网络服务的分类和查询起到很大的推动作用。同时由于标签使用方式上的随意性，导致标签和服务之间是一种随机的对应方式，这就影响了标签在服务查询和应用方面的性能。提出一种基于随机游走的标签排序的方法，目标是根据标签和对应API服务之间的相关性对标签自动进行排序。这种标签排序的方法被应用于基于标签的服务查询，以及标签推荐。通过公开的数据集对该方法的有效性进行了验证，实验结果表明该方
现如今很多具体的应用场景都需要计算用户偏好的相似度，比如协同推荐、社区构造、社交网的创建等等。本文中，我们基于逻辑偏好定义了计算用户定性偏好相似度问题，并在此基础上对此问题作了进一步分析，提出了偏好相似度的计算方法。其中，用户偏好是以逻辑的形式来表示的，以用户偏好缺失作为一个具体Web服务应用场景。并通过实验验证了相似度计算方法的正确性和有效性。
在互联网环境中如何对分布、自治的服务进行有序化组织是一个挑战性问题。传统服务计算环境对服务的关系缺乏分析和有效管理，用户在构建应用时难以发现满足自己需求的服务。本文基于对服务网络有序化程度的观察，量化地分析和度量服务网络的有序化状态，从而更好地指导服务的有序化组织。本文针对服务资产库中的服务集合，利用服务组合历史数据，建立了多个时间点上服务之间的协作网络，然后借用复杂网络的社团发现算法对服务网络进
服务工作流是实现分布式环境下服务资源协同工作的一种重要手段，在候选服务少的情况下，在候选服务少的情况下，很难依靠目前服务质量的一些软件技术特性提高服务工作流整体效率。把业务频率这一重要的非功能性因素融入到服务工作流中，同时结合服务的使用频度和服务出现的间隔这两个因素，提出服务预取模型，包括相对依赖强度和绝对依赖强度两个计算模型，前者体现了服务使用频度，后者体现了服务出现的间隔。业务频率则通过服务工
在开放多变的互联网环境下,不确定的Web服务QoS属性会影响组合服务的执行成功率,降低组合服务的可信性,甚至丧失用户对于系统的信心。为了解决这一问题,提出了基于鲁棒优化理论的Web服务组合,分别建立Web服务组合Soyster鲁棒模型和Web服务组合Bertsimas & Sim鲁棒模型,并与最短路径Web服务组合模型进行对比验证。验证结果表明,基于鲁棒优化理论的Web服务组合模型考虑到了开放多变
HLA/RTI是目前仿真领域的通用框架,针对其在互操作、可重用、容错性等方面的缺陷,本文提出了基于环境感知的仿真服务调度模型(C3SM)。在结构上,定义了仿真服务动态调度模型的总体结构,规定了各模块的功能与交互接口；在调度策略选择上,采用了修改的蚁群算法；在仿真服务的部署上,提出了三种类型的仿真服务部署策略并分析了各自的特点。实验结果表明,C3SM通过实时获取执行环境的上下文信息,可以获得较优的负
本文从Web服务发现体系结构和Web服务匹配策略两个方面对几种典型的Web服务发现方法进行了分析；然后结合物联网服务提供的特点，从可扩展性、资源有限性、异构性和环境的动态变化性四个方面分析了将Web服务发现方法应用于物联网服务提供中所面临的问题以及可能的解决思路；最后探讨了物联网服务发现的一些需要解决的问题。
随着工业现代化的发展，传统的人工监测已经难以满足工厂中的生产过程管理与控制、设备的安全维护等需要。而现代的远程监控系统大多数采用单一的有线或无线方式进行监控，只能满足有限的场合中的应用。本文提出了一种基于GPRS无线数据传输和以太网有线数据传输相结合的方式实现的远程监控系统，该系统是基于B/S架构设计的，监控人员只需通过浏览器就可在任何时间、任何地点得到实时监控的信息，并能发送简单的远程命令。最后