AUTOMATIC SERVICE COMPOSITION VIA SIMULATION

DOI10.1142/S0129054108005759zbMath1155.68014MaRDI QIDQ3526983

Giuseppe De Giacomo, Fahima Cheikh, Daniela Berardi, Fabio Patrizi

Publication date: 25 September 2008

Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)

zbMATH Keywords

finite deterministic transition

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14)

Related Items (5)

Domain-independent planning for services in uncertain and dynamic environments ⋮ Qualitative Approximate Behavior Composition ⋮ A controller synthesis framework for automated service composition ⋮ Parametrized automata simulation and application to service composition ⋮ Algorithms and Complexity of Automata Synthesis by Asynhcronous Orchestration With Applications to Web Services Composition

Cites Work

• From bisimulation to simulation: Coarsest partition problems
• Information integration using logical views
• Answering queries using views: A survey

This page was built for publication: AUTOMATIC SERVICE COMPOSITION VIA SIMULATION