Stubborn sets for model checking the EF/AG fragment of CTL
Fundamenta Informaticae - Special issue on Concurrency specification and programming (CS&P)
Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
A Petri net-based model for web service composition
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
Web Service Composition Languages: Old Wine in New Bottles?
EUROMICRO '03 Proceedings of the 29th Conference on EUROMICRO
Service components for managing the life-cycle of service compositions
Information Systems - Special issue: The 14th international conference on advanced information systems engineering (CAiSE*02)
Current Solutions for Web Service Composition
IEEE Internet Computing
Testing BPEL-based Web Service Composition Using High-level Petri Nets
EDOC '06 Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference
A Component-Based Approach to Automated Web Service Composition
WI '06 Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence
Expert Systems with Applications: An International Journal
A novel prediction approach for trustworthy QoS of web services
Expert Systems with Applications: An International Journal
Symbolic model checking composite Web services using operational and control behaviors
Expert Systems with Applications: An International Journal
Hi-index | 12.06 |
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.