您的位置： 专家智库
>
资助详情>
福建省科技厅自然科学基金(2007J0187)
福建省科技厅自然科学基金(2007J0187)
- 作品数：2 被引量：5H指数：2
- 相关作者：邹金安谭庆平更多>>
- 相关机构：莆田学院国防科学技术大学更多>>
- 发文基金：福建省科技厅自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 工作流事务的形式化描述和实现被引量：3
- 2009年
- 工作流事务是工作流技术本身亟待解决的难题之一,现有的众多工作流事务模型大多使用操作性的非形式化方式描述工作流的复杂语义,极大地限制了它们在复杂场景中的可用性,为此将事务的形式化描述和工作流的实际应用联系起来,提出了一种在工作流环境下管理长事务的方法.这种方法建立在事务补偿的基础上,通过允许过程出现环结构来处理任意过程结构,并通过引入一致点实现过程的部分补偿.形式化的事务模型描述以及基于集合论和图论表示的事务管理算法为工作流系统提供了清晰无歧义的事务语义.
- 邹金安谭庆平
- 关键词：长事务事务补偿
- 语义Web服务发现研究与实现被引量：2
- 2009年
- 语义Web服务是在Web服务中加入语义元素,利用语义相关的技术给Web服务指定一个语义.语义Web服务可以实现Web服务的自动发现、执行和组合.阐述了语义Web服务和语义Web服务发现以及相关的技术,提出了一种语义Web服务发现框架,并利用标签语言描述本体和Web服务,设计了语义匹配算法,并在应用中实现了这种语义Web服务发现框架.
- 邹金安
- 关键词：WEB服务语义WEB服务
