scientific article; zbMATH DE number 5284505

zbMATH Open1150.68473MaRDI QIDQ3501865FDOQ3501865

Authors: Xueli Yu, Rui Wang, Ying-Jie Li 

Publication date: 3 June 2008

Title of this publication is not available (Why is that?)

Recommendations

• A Context Model for Service Composition Based on Dynamic Description Logic
• Reasoning about interaction protocols for web service composition

zbMATH Keywords

description logicAI planningsemantic webservice composition

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Cited In (8)

• Reasoning about interaction protocols for web service composition
• Domain-independent planning for services in uncertain and dynamic environments
• Reasoning about interaction protocols for customizing web service selection and composition
• A Context Model for Service Composition Based on Dynamic Description Logic
• The pragmatic proof: hypermedia API composition and execution
• Message-based web service composition, integrity constraints, and planning under uncertainty: a new connection
• Reasoning about orchestrations of web services using partial correctness
• Type theory based semantic verification for service composition in cloud computing environments

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3501865)