A controller synthesis framework for automated service composition

DOI10.1007/S10626-019-00282-0MaRDI QIDQ2177764zbMATH OpenOpenAlexFDO

Authors Francis Atampore, Juergen Dingel, Karen Rudie

Publication date 6 May 2020

Published in Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10626-019-00282-0

zbMATH Keywords

automatic service compositioncontroller synthesisdiscrete event systemslabelled transition systemssupervisory control theoryweb services

Mathematics Subject Classification ID

Computational methods for problems pertaining to systems and control theory (93-08) Controllability (93B05) Synthesis problems (93B50) Discrete event control/observation systems (93C65)

Recommendations

• AutoSyn: A new approach to automated synthesis of composite web services with correctness guarantee
• Complexity of synthesis of composite service with correctness guarantee
• Algorithms and Complexity of Automata Synthesis by Asynhcronous Orchestration With Applications to Web Services Composition
• A Petri net-based semantic Web service automatic composition method
• Reliability-aware automatic composition approach for web services

Cites work

• A controller synthesis framework for automated service composition
• AUTOMATIC SERVICE COMPOSITION VIA SIMULATION
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 2038904 (Why is no real title available?)
• Introduction to Discrete Event Systems
• Message-based web service composition, integrity constraints, and planning under uncertainty: a new connection
• On Communicating Finite-State Machines
• Predicates and predicate transformers for supervisory control of discrete event dynamical systems
• Supervisory Control of a Class of Discrete Event Processes
• Supervisory Control of DES With Extended Finite-State Machines and Variable Abstraction
• Supervisory control of discrete-event systems
• The theory of deadlock avoidance via discrete control

Cited in

(9)

• A controller synthesis framework for automated service composition
• Modeling for supervisor synthesis -- a lock-bridge combination case study
• A compositional framework to the specification of service protocols controllability and substitutability
• Complexity of synthesis of composite service with correctness guarantee
• Reliability-aware automatic composition approach for web services
• Monitoring and recovery for web service applications
• Synthesis of orchestrations and choreographies: bridging the gap between supervisory control and coordination of services
• Offline supervisory control synthesis: taxonomy and recent developments
• AutoSyn: A new approach to automated synthesis of composite web services with correctness guarantee

Describes a project that uses

Uses Software

• SHOP2
• WSAT
• UMDES

This page was built for publication: A controller synthesis framework for automated service composition

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