Towards Automatic Composition of Web Services: SAT-Based Concretisation of Abstract Scenarios

DOI10.3233/FI-2012-756MaRDI QIDQ4902305zbMATH OpenOpenAlexFDO

Authors Artur Niewiadomski, Wojciech Penczek, Agata Półrola, MacIej Szreter, Andrzej Zbrzezny

Publication date 14 January 2013

Full work available at URL https://content.iospress.com/articles/fundamenta-informaticae/fi120-2-04

Mathematics Subject Classification ID

Internet topics (68M11) Specification and verification (program logics, model checking, etc.) (68Q60) Graph theory (including graph drawing) in computer science (68R10) Knowledge representation (68T30)

Recommendations

• A Petri net-based semantic Web service automatic composition method
• Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study

Cited in

(7)

• Automatic semantic web services composition based on complete backward tree
• TOWARDS A SEMANTIC STATE TRANSITION SYSTEM FOR AUTOMATED GENERATION OF DATA FLOW IN WEB SERVICE COMPOSITION
• The pragmatic proof: hypermedia API composition and execution
• Composition of web services using the product of automata
• Providing scalability for an automated web service composition framework
• SMT-based abstract parametric temporal planning
• Web services composition -- from ontology to plan by query

This page was built for publication: Towards Automatic Composition of Web Services: SAT-Based Concretisation of Abstract Scenarios

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