普适服务冲突识别方法研究

项目名称： 普适服务冲突识别方法研究

项目编号： No.71271038

项目类型： 面上项目

立项/批准年度： 2013

项目学科： 管理科学

项目作者： 卢涛

作者单位： 大连理工大学

项目金额： 54万元

中文摘要： 随着移动电话、PDA、传感器等各种设备通过不同的平台和网络实现互联，普适的数字化环境中的服务日益丰富，避免服务之间的冲突和干扰已成为服务系统需要解决的问题。本课题主要研究普适服务的冲突问题。普适服务具有主动性和情境驱动的特点，服务之间的很多冲突表现出隐式特征和异步特征。为此，我们提出建立仿真平台，逻辑上模拟普适服务的运行环境，从中识别冲突，为服务开发者设计、改进和验证服务逻辑提供一种有效的方法和工具。课题的研究主要包括两部分内容：建立普适服务的模拟系统，通过服务行为模型和事件环境模型等模拟多普适服务环境；分析冲突的产生原因和表现特征，通过语义推理、服务行为追踪、系统状态回溯等方法识别不同类型的冲突。

中文关键词： 普适服务；离散事件系统仿真；petri网；时间自动机；冲突识别

英文摘要： With the widespread of mobile phone, PDA and sensors interconnected across different platforms and networks, ubiquitous digital environment has become service-rich domain, where conflicts between services should be avoided and resolved for service system. This research work focuses on the conflicts between ubiquitous services. Ubiquitous services are proactive and context-driven. Many conflicts are implicit and asynchronous. Therefore, we propose to establish simulation platform, simulating ubiquitous service environment, and identifying potential conflicts in the process. This work can provide an effective method and tool for service developer to design, improve or verify service logic. There are two parts in our work. One is establishing simulation system for ubiquitous service in order that multi-ubiquitous service environment is simulated by modeling service behaviors and modeling the relations between events and contexts. The other part is analyzing the reason of conflicts and their external behavior, identifying different types of conflicts by semantic inference, tracking service and backtracking from system state.

英文关键词： ubiquitous service；discrete event system simulation；petri net；timed automata；conflict detection