Automated Composition of Nondeterministic Stateful Services

  title={Automated Composition of Nondeterministic Stateful Services},
  author={Giuseppe De Giacomo and Fabio Patrizi},
This paper addresses the automated composition of nondeter ministic available services modeled as transition systems. Nondete rminism stems naturally when the results of client-service interactions cann ot be foreseen, and calls for specific orchestration strategies able to deal with part ial controllability. We show how to build a set of orchestrators, by resorting to a var iant of the simulation relation’s formal notion, by exploiting recent res ult on LTL formulas’ synthesis and by reducing… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.


Publications referenced by this paper.
Showing 1-10 of 26 references

The TLV system and its applicatio ns

  • A. Pnueli, E. Shahar
  • Technical report, Weizmann Institute,
  • 1996
Highly Influential
4 Excerpts

Patr izi. Behavior composition in the presence of failure

  • Sebastian Sardiña, Giuseppe De Giacomo, Fabio
  • InProceedings of KR’08
  • 2008
5 Excerpts

Similar Papers

Loading similar papers…