.png){kind=icon}
返回
A Petri Nets based functional validation for services composition
.png){kind=icon}
PRE
AI
DOI：10.1016/j.eswa.2009.11.046.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
The service-oriented architecture (SOA) has been quite prevailing in enterprise applications development, integration, and deployment. In SOA environment, the complex problem can be solved by combining available individual services and ordering them to best suit their problem requirements. Service composition accelerates rapid enterprise application development, service reuse, and complex service consummation. Along with its dissemination, a potential - inevitable but must-be-overcome - problem is lack of interoperability among services as well as poor integrity and quality of individual ones. There are many existing approaches to compose service composition, ranging from abstract methods to those aiming to be industry standards (e.g. BPEL, BPSS, WSFL, etc.). However, they have been biased to define the SOA technology to create service composition. Explicitly, few approaches have concerned to the service composition at design time. Consequently, there is an urgent need for a systematic approach to assure integrity and interoperability, in service composition at design time. In this paper, we utilize a functional validation to check the seamless connectivity between individual services to be composed and to represent services' interdependency (e.g., invocation precedence) in a Petri Nets with reachability analysis and each service's semantic description (e.g., functionality and role, input/output data definition, QoS metrics and values). This approach can be further used as a service composition validation methodology and an input to quality assessment, either as is or with augmentation. (C) 2009 Elsevier Ltd. All rights reserved.
Keyword:
Petri Nets
Functional validation
Reachability analysis
Semantics
Service composition
Interoperability
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
