Synthesis of underspecified composite e-services based on automated reasoning

  title={Synthesis of underspecified composite e-services based on automated reasoning},
  author={Daniela Berardi and Giuseppe De Giacomo and Maurizio Lenzerini and Massimo Mecella and Diego Calvanese},
In this paper we study automatic composition synthesis of <i>e</i>-Services, based on automated reasoning. We represent the behavior of an <i>e</i>-Service in terms of a deterministic transition syst (or a finite state machine), in which for each action the role of the <i>e</i>-Service, either as initiator or as servant, is highlighted. In this setting we present an algorithm based on satisfiability in a variant of Propositional Dynamic Logic that solves the automatic composition probl… CONTINUE READING
Highly Cited
This paper has 106 citations. REVIEW CITATIONS
64 Citations
3 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 64 extracted citations

107 Citations

Citations per Year
Semantic Scholar estimates that this publication has 107 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-3 of 3 references

Similar Papers

Loading similar papers…