Specification and Verification of Composite Web Services Based on Extended Projection Temporal Logic

雷丽晖; 段振华

您当前的位置：

首页 >

文章列表页 >

Specification and Verification of Composite Web Services Based on Extended Projection Temporal Logic

更新时间：2025-12-08

- Specification and Verification of Composite Web Services Based on Extended Projection Temporal Logic
- Vol. 41, Issue 10, Pages: 1155-1159(2007)
- 作者机构：
  
  西安电子科技大学计算理论与技术研究所,西安,710071
- 作者简介：
- 基金信息：
- DOI：
  CLC： TP393
- Online First：10 October 2007，
  
  Published：2007
- 稿件说明：
移动端阅览
雷丽晖, 段振华. Specification and Verification of Composite Web Services Based on Extended Projection Temporal Logic[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.

Views

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Modeling and Evaluation of Composite Web Services Based on Generalized Stochastic Petri Net

Projection Temporal Logic Oriented Model Checking for Web Services

Modeling and Verification of Processes Scheduling Based on Projection Temporal Logic for Multi-Core CPU

Numerical Simulation of Heat-Moisture Barrier Performance of a Horizontal Air Curtain in Cold Storage

Effects of Expansion Angle Crater Film Hole on the Film Cooling Characteristics of a Double-Wall Structure

Related Author

门鹏

段振华

王小兵

舒新峰

段振华

Related Institution

School of Computer, Xidian University

⁰