CPNs-based Validation Framework for Automatic Composition of Semantic Web Services
Min Liu · Jisuanji fangzhen · 2008
Web services composition is a promising way to build an application in service-oriented computing (SOC) environments. Current approaches for service composition may return back lots of invalid results due to lacking effective verification mechanism. To address this issue, an automatic composition framework for semantic Web services with correctness guarantees was proposed. The framework exploits Colored Petri Nets (CPNs) to formally model achieved composition and then to verify its correctness based on simulation and analysis of the constructed model. By means of the proposed validation approach, certain composition errors can be detected in advance and dynamic properties of a composite service can be predicted, thus preventing it from runtime failure. Moreover, software agents are developed together with OWL-S specification in the framework to effectively enable automation in the process of composing Web services.