基于扩展投影时序逻辑的组合Web服务描述与验证

雷丽晖; 段振华

您当前的位置：

首页 >

文章列表页 >

基于扩展投影时序逻辑的组合Web服务描述与验证

专题研究 | 更新时间：2025-12-08

- 基于扩展投影时序逻辑的组合Web服务描述与验证
- Specification and Verification of Composite Web Services Based on Extended Projection Temporal Logic
- 西安交通大学学报 2007年41卷第10期页码：1155-1159
- 作者机构：
  
  西安电子科技大学计算理论与技术研究所,西安,710071
- 作者简介：
- 基金信息：
  
  : 2007-01-30. 作者简介: 雷丽晖(1976～),女, 博士生;段振华(联系人),男,教授,博士生导师. 基金项目: 国家自然科学基金资助项目(60373103);国家自然科学基金重点资助项目(60433010)
- DOI：
  中图分类号： TP393
- 网络首发：2007-10-10，
  
  纸质出版：2007
- 稿件说明：
移动端阅览
雷丽晖, 段振华. 基于扩展投影时序逻辑的组合Web服务描述与验证[J]. 西安交通大学学报, 2007,41(10):1155-1159.

雷丽晖, 段振华. Specification and Verification of Composite Web Services Based on Extended Projection Temporal Logic[J]. 2007, 41(10): 1155-1159.
雷丽晖, 段振华. 基于扩展投影时序逻辑的组合Web服务描述与验证[J]. 西安交通大学学报, 2007,41(10):1155-1159. DOI：

雷丽晖, 段振华. Specification and Verification of Composite Web Services Based on Extended Projection Temporal Logic[J]. 2007, 41(10): 1155-1159. DOI：

摘要

针对编制方式生成的组合Web服务需要用一个工作流引擎执行这个特征

对投影时序逻辑进行了扩展

并用扩展投影时序逻辑描述和验证组合Web服务. 将组合Web服务视为一个基于过程的工作流

将工作流引擎与组合Web服务组成部分的一次不可分割的消息交互抽象为一个原子过程. 用扩展投影时序逻辑公式描述原子过程

用扩展投影时序逻辑操作符定义过程组合规则、连接过程描述公式

得到组合Web服务描述公式. 通过模拟组合Web执行

可验证组合Web服务满足系统的需求和性质

为提高组合Web服务设计的可靠性提供了依据.

Abstract

According to the feature that the execution of web services composed by orchestration is completed by a workflow execution engine

the projection temporal logic is extended. An approach based on this extended projection temporal logic(EPTL)for the specification and verification of composite web services is proposed. A composite web service is regarded as a process-based workflow. An indivisible message exchange between the workflow execution engine and a component of the composite web service is extracted as an atomic process represented by an EPTL formula.The connection rules of the processes are defined by the EPTL operators which connect the formulae representing processes to obtain new formulae representing composite web services. With simulating the execution of composite web services

whether services satisfy system requirements and properties can be verified. Therefore

this approach provides the basis for improving the reliability of the design of composite web services.

关键词

Keywords

references

Zedan H,Cau A,Moszkowski B C. Compositional modeling: the formal perspective [C]∥The Proceedings of Workshop on Systems Modeling for Business Process Improvement. Norwood, USA: Artech House, 2000:333-354.

Solanki M, Cau A, Zedan H. Augmenting semantic web service description with compositional specification [C]∥The Proceedings of WWW. New York: ACM, 2004:544-552.

Peltz C. Web services orchestration and choreography [J]. Computer, 2003,36(10):46-52.

Lei Lihui, Duan Zhenhua. Automating Web service composition for collaborative business processes [C]∥The Proceedings of Computer Supported Cooperative Work Design. Piscataway, USA: IEEE, 2007: 151-156.

Duan Zhenhua. An extended interval temporal logic and a framing technique for temporal logic programming [D]. Newcastle, UK: Department of Computing Science, University of Newcastle upon Tyne, 1996.

Lei Lihui, Duan Zhenhua. Transforming OWL-S process model into EDFA for service discovery [C]∥The Proceedings of International Conference Web Service. Piscataway, USA: IEEE, 2006:108-116.

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

广义随机Petri网下的组合Web服务建模与评价

面向投影时序逻辑的Web服务模型检测

利用投影时序逻辑的多内核进程调度建模与验证

结构-语义-残差协同的图像压缩框架：面向隐私保护与高保真重建

电子级超纯氮深冷空分流程节能优化研究