Web service composition using fluent calculus

摘要: This paper presents a new approach for automatic web service composition based on the formalism of fluent calculus. In our approach, process is viewed as an AI planning problem in To semantically describe services, we have used domain ontology, which then translated into calculus knowledge base, necessary composition-planning phase. For verifying composed Label Transition System Analyser used. The also experimental prototype fluent-calculus-based and demonstrates its effectiveness with help application scenario from social-event domain.